Modultheorie/Erzeugendensystem/Definition

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 .