Sei ${\displaystyle {}M}$ ein ${\displaystyle {}R}$-Modul über einem kommutativen Ring ${\displaystyle {}R}$. Ein ${\displaystyle {}R}$-Erzeugendensystem ${\displaystyle {}v_{i}}$, ${\displaystyle {}i\in I}$, von ${\displaystyle {}M}$ heißt minimal, wenn für jede echte Teilmenge ${\displaystyle {}J\subset I}$ das System ${\displaystyle {}v_{i}}$, ${\displaystyle {}i\in I}$, kein Erzeugendensystem ist.