Kategorie:Theorie der Hauptidealbereiche/Definitionen