Lokaler Ring/Modulerzeuger und Erzeuger mod m/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein lokaler Ring und sei ein endlich erzeugter -Modul.

Dann stimmt die minimale Erzeugendenzahl mit der Dimension des -Vektorraums überein.