Kommutative Algebra/Modultheorie/Wohldefiniertheit des Ranges/Fakt

Aus Wikiversity

Sei ein kommutativer Ring und ein freier -Modul.

Dann gilt für zwei -Basen und von , dass ist.

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