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