Sei R {\displaystyle {}R} ein kommutativer Ring. Dann ist R n {\displaystyle {}R^{n}} ein freier R {\displaystyle {}R} -Modul für n ∈ N {\displaystyle {}n\in \mathbb {N} } .
Eine mögliche Basis ist die Familie ( e i ∣ i ∈ { 1 , . . . , n } ) {\displaystyle {}(e_{i}\mid i\in \lbrace 1,...,n\rbrace )} .