Kategorie:Theorie des Hauptteilmoduls/Definitionen