Lokaler Ring/Modulerzeuger und Erzeuger mod m/Fakt
Zur Navigation springen
Zur Suche springen
Sei ein lokaler Ring und sei ein endlich erzeugter -Modul.
Dann stimmt die minimale Erzeugendenzahl mit der Dimension des -Vektorraums überein.