Normale endliche Körpererweiterung/Zwischenkörper/Charakterisierung von normal über Grundkörper durch Automorphismen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei eine endliche normale Körpererweiterung und sei , , ein Zwischenkörper.

Dann ist genau dann normal, wenn für jeden -Algebraautomorphismus

die Beziehung gilt.