Modultheorie/Kommutativer Ring/Freier Modul/besitzt Rang/Fakt

Es sei ${}R$ ein Ring und ${}M$ ein freier ${}R$ -Modul. ${}R$ sei vom Nullring verschieden und kommutativ.

Dann besitzt ${}M$ einen Rang.