Kommutativer Ring/Noethersch/Moduln/Endlich erzeugt/Homomorphismus/Injektiv/Punkt/Aufgabe

Es sei ${}R$ ein noetherscher 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}}$ injektiv ist. Zeige, dass es ein  ${}f\notin {\mathfrak {p}}$  derart gibt, dass ${}\varphi \colon M_{f}\rightarrow N_{f}$ injektiv ist.

Eine Lösung erstellen