Kommutativer Ring/Moduln/Endlich erzeugt/Homomorphismus/Surjektiv/Punkt/Aufgabe
Erscheinungsbild
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.