Körpererweiterung/Automorphismus/Algebraische Bedingung/Fakt

Es sei eine Körpererweiterung, , ein Polynom mit und sei .

Dann ist auch .