Lemma 30.2 Kurs:Kommutative Algebra/Teil I/Vorlesung 30
Kommutativer Ring/Lokal/Projektiver Modul/Frei/Fakt