Kategorie:Theorie der Produktringe (kommutative Algebra)/Definitionen