Modul/Freier Rang/Lokaler Ring/Exakte Sequenz/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein lokaler Ring und ein -Modul.

Dann ist der freie Rang von gleich der -Dimension des Quotienten in der kurzen exakten Sequenz