Modultheorie/Assoziierte Primideale/Noethersch/Existenz/Fakt/Beweis

Beweis

Wir betrachten die Menge aller Annullatoren

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikiversity.org/v1/“:): {\displaystyle { \left\{ \operatorname{Ann} _{ } { \left( v \right) } \mid v \in M , \, v \neq 0 \right\} } . }

Nach Voraussetzung ist diese Menge nicht leer und besteht aus Idealen, die alle vom Einheitsideal verschieden sind. Diese Menge ist induktiv geordnet, da jede aufsteigende Kette darin wegen noethersch stationär wird. Nach dem Lemma von Zorn besitzt die Menge somit maximale Elemente. Wir behaupten, dass ein solches maximales Element ein Primideal ist. Es sei also

${}{\mathfrak {p}}=\operatorname {Ann} _{}{\left(v\right)}\,$

maximal und sei ${}fg\in {\mathfrak {p}}$, also

${}fgv=0\,.$

Es sei ${}g\notin {\mathfrak {p}}$, also ${}gv\neq 0$, und somit ist ${}f\in {\mathfrak {p}}$ zu zeigen. Es ist

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikiversity.org/v1/“:): {\displaystyle {{}} \operatorname{Ann} _{ } { \left( v \right) } \subseteq \operatorname{Ann} _{ } { \left( gv \right) } \, }

und ${}\operatorname {Ann} _{}{\left(gv\right)}$ gehört zu unserer Menge. Wegen der Maximalität von ${}\operatorname {Ann} _{}{\left(v\right)}$ muss also hier Gleichheit vorliegen. Wegen ${}f\in \operatorname {Ann} _{}{\left(gv\right)}$ ist damit auch ${}f\in \operatorname {Ann} _{}{\left(v\right)}$.

Zur bewiesenen Aussage