Modules satisfying the prime and maximal radical conditions (Q485961)

Given a commutative ring \(R\), an \(R\)-module \(M\) is \(\mathbb{P}\)-radical whenever \(M\) satisfies the equality \((\sqrt[p]{\mathcal{P}M}:M)=\sqrt{ \mathcal{P}}\), for every prime ideal \(\mathcal{P}\supseteq\) Ann\((\mathcal{P}M)\), where \(\sqrt[p]{\mathcal{P}M}\) is the intersection of all prime submodules of \(M\) containing \(\mathcal{P}M\). Among other results, the authors show that the class of \(\mathbb{P}\)-radical modules is wider than the class of primeful modules (introduced by \textit{C.-P. Lu} [Houston J. Math. 33, No. 1, 125--143 (2007; Zbl 1114.13010)]). Also, they prove that any projective module over a Noetherian ring is \(\mathbb{P}\)-radical. This fact also holds for any arbitrary module over an Artinian ring. On the other hand, they call an \(R\)-module \(M\) by \(\mathbb{M}\)-radical if \((\sqrt[p]{\mathcal{M}M}: M)=\mathcal{M}\), for every maximal ideal \(\mathcal{M}\) containing Ann(\(M\)). They also show that the conditions \(\mathbb{P}\)-radical and \(\mathbb{M}\)-radical are equivalent for all \(R\)-modules if and only if \(R\) is a Hilbert ring. Also, two conditions primeful and \(\mathbb{M}\)-radical are equivalent for all \(R\)-modules if and only if dim\(({R})=0\). Finally, they anticipate that the results of this paper will be applied in a subsequent work to construct a structure sheaf on the spectrum of \(\mathbb{P}\)-radical modules.