Kategorie:Theorie der minimalen Erzeugendenzahl von Moduln/Definitionen