Lemma 7.9
Kurs:Invariantentheorie (Osnabrück 2025-2026)/Vorlesung 7 Graduierte Algebra/Körper/Charakter definiert Automorphismus/Fakt
