Kategorie:Modultheorie über Hauptidealbereichen/Definitionen