Kategorie:Theorie der homogenen Ideale im Polynomring/Definitionen