Kommutative Algebra/Modultheorie/Wohldefiniertheit des Ranges/Fakt

Sei ${}R\neq 0$ ein kommutativer Ring und ${}M$ ein freier ${}R$ -Modul.

Dann gilt für zwei ${}R$ -Basen ${}{\mathfrak {v}}=v_{1},\ldots ,v_{n}$ und ${}{\mathfrak {w}}=w_{1},\ldots ,w_{m}$ von ${}M$ , dass ${}n=m$ ist.

Diesen Satz nennt man die Wohldefiniertheit des Ranges eines freien Moduls.