Kategorie:Modultheorie über Hauptidealbereichen/Fakten