Kategorie:Theorie der Nichtnullteiler (Modul)/Definitionen