Es sei R {\displaystyle {}R} ein Ring und M {\displaystyle {}M} ein freier R {\displaystyle {}R} -Modul. R {\displaystyle {}R} sei vom Nullring verschieden und kommutativ.
Dann besitzt M {\displaystyle {}M} einen Rang.
