Kategorie:Idealtheorie im Polynomring/Definitionen