Kommutativer Ring/Moduln/Endlich erzeugt/Homomorphismus/Surjektiv/Punkt/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein kommutativer Ring und sei ein -Modulhomomorphismus zwischen endlich erzeugten -Moduln. Es sei ein Primideal derart, dass der induzierte Homomorphismus surjektiv ist. Zeige, dass es ein derart gibt, dass

surjektiv ist.