Kommutative Algebra/Modultheorie/Erzeugendensystem/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Erzeugendensystem (Modul)

Sei ein kommutativer Ring und ein -Modul. Eine Familie , , heißt Erzeugendensystem für , wenn es für jedes Element eine Darstellung

gibt, wobei endlich ist und .