Kategorie:Theorie der Reduktion (kommutative Algebra)/Definitionen