Zum Inhalt springen

Modultheorie/Erzeugendensystem/Definition

Aus Wikiversity
Erzeugendensystem (Modul)

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

gibt, wobei endlich ist und .