Kategorie:Theorie des Polynomrings in einer Variablen über R/Definitionen