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