Lemma 9.11
Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Vorlesung 9 Graduierte Algebra/Körper/Charakter definiert Automorphismus/Fakt