A note on maximal non-prime ideals (Q2800980)

Let \(R\) be a commutative ring with identity and \(I\) be a proper ideal of \(R\). Assume that \(\mathcal{P}\) is one of the following properties for an ideal: \(\mathcal{P}\in \{\)prime, maximal, primary, irreducible\(\}=A\). In this paper, it is investigated when \(I\) is maximal in the family of all ideals which are not \(\mathcal{P}\). If \(I\) is so, the \(I\) is called maximal non-\(\mathcal{P}\).NEWLINENEWLINEIn particular, it is proved that if \(I=\sqrt{I}\), then \(I\) is maximal non-\(\mathcal{P}\) for any \(\mathcal{P}\in A\) if and only if \(I\) is an intersection of two distinct maximal ideals of \(R\). In the case that \(I\neq \sqrt{I}\), the authors show that \(I\) is maximal non-prime, if and only if it is maximal non-maximal, if and only if \(\sqrt{I}\) is a maximal ideal with \((\sqrt{I})^2\subseteq I\) and \(\sqrt{I}=Rx+I\) for all \(x\in \sqrt{I}\setminus I\). Also they prove that a non-radical ideal \(I\) is maximal non-primary if and only if \(R/I\) is a quasi-local ring with Krull dimension 1 and \(\sqrt{I}\) is a prime ideal such that \(\sqrt{I}/I\) is a simple \(R/I\)-module. The authors do not present a full characterization of maximal non-irreducible ideals, but state some partial results on them.