Kurs:Kommutative Algebra/Z ist Hauptidealbereich/Fakt/Faktreferenznummer