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