Totally <i>σ</i> –prime ideals and submodules (Q6955394)

This paper introduces a refined notion of primality relative to a hereditary torsion theory \(\sigma\) on modules over a commutative ring \(A\). An ideal \(\mathfrak a \subseteq A\) is defined to be \textit{totally \(\sigma\)-prime} if \(\mathfrak a \notin \mathcal L(\sigma)\) and there exists an ideal \(\mathfrak h \in \mathcal L(\sigma)\) such that for all \(a,b \in A\), the condition \(ab \in \mathfrak a\) implies \(a\mathfrak h \subseteq \mathfrak a\) or \(b\mathfrak h \subseteq \mathfrak a\); this notion is extended to submodules \(N \subseteq M\) by requiring that \(M/N\) is not totally \(\sigma\)-torsion and that there exists \(\mathfrak h \in \mathcal L(\sigma)\) such that \(ma \in N\) implies \(m\mathfrak h \subseteq N\) or \(Ma\mathfrak h \subseteq N\). A fundamental characterization is obtained in Proposition~2.5, where the authors prove that an ideal \(\mathfrak a\) is totally \(\sigma\)-prime if and only if its \(\sigma\)-closure satisfies \(\mathrm{Cl}_{\sigma}^{A}(\mathfrak a) = (\mathfrak a : \mathfrak h)\) and is a prime ideal for some \(\mathfrak h \in \mathcal L(\sigma)\); the corresponding module version is established in Proposition~5.5, showing that a submodule \(N \subseteq M\) is totally \(\sigma\)-prime if and only if \((N : \mathfrak h)\) is a prime submodule for some \(\mathfrak h \in \mathcal L(\sigma)\). The structural behavior of totally \(\sigma\)-prime ideals is clarified in Theorem~2.8, which asserts that every such ideal \(\mathfrak a\) satisfies \(\mathfrak p \mathfrak h \subseteq \mathfrak a \subseteq \mathfrak p\) for some \(\sigma\)-closed prime ideal \(\mathfrak p \in \mathcal K(\sigma)\) and some \(\mathfrak h \in \mathcal L(\sigma)\), thereby providing a precise geometric description of their position inside \(\mathrm{Spec}(A)\). In the noetherian context, Theorem~3.5 establishes that if \(A\) is totally \(\sigma\)-noetherian, then every ideal \(\mathfrak c \notin \mathcal L(\sigma)\) admits only finitely many minimal totally \(\sigma\)-prime ideals above it, extending classical finiteness results from primary decomposition to the relative torsion-theoretic setting. Furthermore, a Cohen-type characterization is proved in Theorem~3.3, where the authors show that \(A\) is totally \(\sigma\)-noetherian if and only if every totally \(\sigma\)-prime ideal of \(A\) is totally \(\sigma\)-finitely generated; the corresponding module-theoretic analogue is established in Theorem~5.14, generalizing earlier results on \(S\)-noetherian rings and modules. Finally, the interaction between total \(\sigma\)-primeness and torsion theory is elucidated in Theorem~6.8, which characterizes totally \(\sigma\)-prime modules \(M\) by the conditions that \(\sigma M\) is totally \(\sigma\)-torsion and that the quotient module \(M/\sigma M\) is prime, thereby linking the new notion of primeness to classical primeness modulo torsion.