Kategorie:Theorie der Nenneraufnahme für Moduln (kommutative Algebra)/Definitionen