Kommutative Algebra/Modultheorie/Erzeugendensystem/Definition

Aus Wikiversity
Erzeugendensystem (Modul)

Es 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 .