Kurs:Kommutative Algebra/Hauptidealbereich/Restklassencharakterisierung von prim/Fakt/Faktreferenznummer