Kommutativer Ring/Modul/Minimales Erzeugendensystem/Definition

Aus Wikiversity
Minimales Erzeugendensystem (Modul)

Es sei ein -Modul über einem kommutativen Ring . Ein -Erzeugendensystem , , von heißt minimal, wenn für jede echte Teilmenge das System , , kein Erzeugendensystem ist.