Modultheorie/Endlicher Modul/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Endlicher Modul

Sei ein Ring und ein -Modul. Der Modul heißt endlich erzeugt oder endlich, wenn es ein endliches Erzeugendensystem , , für ihn gibt (also mit einer endlichen Indexmenge).