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

Es sei ${}R$ ein kommutativer Ring und sei ${}\varphi \colon M\rightarrow N$ ein ${}R$-Modulhomomorphismus zwischen endlich erzeugten ${}R$-Moduln. Es sei ${}{\mathfrak {p}}\in \operatorname {Spek} {\left(R\right)}$ ein Primideal derart, dass der induzierte Homomorphismus ${}\varphi \colon M_{\mathfrak {p}}\rightarrow N_{\mathfrak {p}}$ surjektiv ist. Zeige, dass es ein ${}f\notin {\mathfrak {p}}$ derart gibt, dass ${}\varphi \colon M_{f}\rightarrow N_{f}$ surjektiv ist.

Eine Lösung erstellen