Kategorie:Theorie der Hauptidealringe/Fakten