Kommutative Algebra/Modultheorie/Wohldefiniertheit des Ranges/Fakt
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.
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.