Kategorie:Idealtheorie (kommutative Algebra)/Fakten