Kategorie:Idealoperationen (kommutative Algebra)/Fakten