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.