Kategorie:Theorie der Polynomringe in endlich vielen Variablen über einem kommutativen Ring/Definitionen