Primideal/Idealdurchschnitt/Inklusion/Aufgabe

Es sei  ${}{\mathfrak {p}}\subseteq R$  ein Primideal in einem kommutativen Ring ${}R$. Zeige, dass aus einer Inklusionsbeziehung

${}{\mathfrak {a}}\cap {\mathfrak {b}}\subseteq {\mathfrak {p}}\,$

die Inklusion  ${}{\mathfrak {a}}\subseteq {\mathfrak {p}}$  oder  ${}{\mathfrak {b}}\subseteq {\mathfrak {p}}$  folgt.

Eine Lösung erstellen