Teilmenge eines Moduls, deren Elemente durch endliche Linearkombination alle Elemente des Moduls erzeugen.

Es sei R ein kommutativer Ring und M ein R–Modul. Eine Teilmenge E ⊆ M heißt Erzeugendensystem von M, wenn jedes Element aus M als Linearkombination von endlich vielen Elementen aus E mit Koeffizienten aus R geschrieben werden kann.