Sei ${\displaystyle {}R}$ ein Ring und ${\displaystyle {}M}$ ein ${\displaystyle {}R}$-Modul. Ein linear unabhängiges Erzeugendensystem heißt eine Basis (oder genauer: eine ${\displaystyle {}R}$-Basis ) von ${\displaystyle {}M}$.