Endliche einfache Körpererweiterung/Beliebiger Zerfällungskörper/Separabel und maximale Einbettungsanzahl/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine endliche einfache Körpererweiterung vom Grad . Es sei eine Körpererweiterung, unter der das Minimalpolynom von in Linearfaktoren zerfällt.

Dann ist genau dann ein separables Polynom, wenn es verschiedene -Einbettungen von in gibt.

Zum Beweis, Alternativen Beweis erstellen