Es sei R {\displaystyle {}R} ein Ring und M {\displaystyle {}M} ein R {\displaystyle {}R} -Modul. M {\displaystyle {}M} heißt frei (über R {\displaystyle {}R} ), wenn er eine R {\displaystyle {}R} -Basis besitzt.