Lokaler noetherscher Integritätsbereich/Erzeuger und linear unabhängig/Aufgabe

Aus Wikiversity

Es sei ein noetherscher lokaler Integritätsbereich und ein -Modul. Der -Vektorraum und der Vektorraum habe die gleiche Dimension . Zeige, dass ein freier Modul

vom Rang ist.