Kategorie:Theorie der Polynomringe (kommutative Algebra)/Definitionen