Über die Distributivität des Idealverbandes eines kommutativen Ringes (Q1057938)

R sei ein kommutativer Ring mit 1 und \({\mathcal J}(R)\) der Idealverband von R. \({\mathcal D}(R):=\{I\in {\mathcal J}(R)| \forall A,B\in {\mathcal J}(R):I\cap (A+B)=I\cap A+I\cap B\}.\) Mit Hilfe eines Primidealsystems \({\mathcal P}(R)\) von R wird ein hinreichendes Kriterium dafür angegeben, daß \(I\in {\mathcal J}(R)\) Element von \({\mathcal D}(R)\) ist: Ein Ideal I liegt in \({\mathcal D}(R)\), wenn es in keinem \(P\in {\mathcal P}(R)\) echt enthalten ist. Ist S ganze abgeschlossene Erweiterung von R und kein \(r\in R\), \(r\neq 0\), Nullteiler in S, so liegt ein Ideal I von S in \({\mathcal D}(S)\), wenn \(I\cap R\) in keinem \(P\in {\mathcal P}(R)\) enthalten ist.