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