Körpererweiterung/Algebraisches Element/Erzeugt Körper/Fakt/Beweis2
Beweis
Nach Fakt liegt eine -Algebraisomorphie vor, wobei das Minimalpolynom zu ist. Nach Fakt (2) ist irreduzibel, so dass wegen Fakt der Restklassenring ein Körper ist.
Nach
Fakt
liegt eine
-Algebraisomorphie
vor, wobei
das
Minimalpolynom
zu
ist. Nach
Fakt (2)
ist
irreduzibel,
so dass wegen
Fakt
der Restklassenring
ein Körper ist.