Lemma 11.8
Kurs:Invariantentheorie (Osnabrück 2025-2026)/Vorlesung 11 Endliche kommutative Algebra/Endlicher Modul/Fakt