Kategorie:Theorie der kommutativen Gruppenringe/Definitionen