On purely-maximal ideals and semi-Noetherian power series rings (Q6547697)

Let \(R\) be a commutative ring with identity. An ideal \(I\) of \(R\) is said to be pure if, for each \(a \in I\), there is an element \(b \in I\) such that \(a=ab\). An ideal of \(R\) is said to be purely-maximal if it is maximal among proper integral pure ideals of \(R\). A proper pure ideal \(I\) of \(R\) is purely-prime if, for any pure ideals \(I_1, I_2\) of \(R\), \(I_1 \cap I_2 \subseteq I\) implies either \(I_1 \subseteq I\) or \(I_2 \subseteq I\). It is known that a purely-maximal ideal is purely-prime. We say that \(R\) is semi-Noetherian if every pure ideal of \(R\) is finitely generated. Then, in [\textit{A. Tarizadeh} and \textit{M. Aghajani}, Commun. Algebra 49, No. 2, 824--835 (2021; Zbl 1453.13015)], it was shown that \(R\) is semi-Noetherian if and only if every purely-maximal ideal of \(R\) is finitely generated and it was conjectured that a purely-prime ideal is purely-maximal.\N\NLet \(A \subseteq B\) be a unital extension of commutative rings with identity, \(X\) be an indeterminate over \(B\), \(I\) be an ideal of \(A\), \(M\) be a unitary \(A\)-module. Then \(R\) denotes one of the following types of rings: \(A+XB[X]\), \(A+XB[[X]]\), \(A+XI[[X]]\), \(A[X]+XI[[X]]\) or \(A(+)M\) the idealization of \(M\) in \(A\). In this paper under review, among other things, the authors show that (i) \(R\) is semi-Noetherian if and only if \(A\) is semi-Noetherian and (ii) every purely-prime ideal of \(R\) is purely-maximal if and only if every purely-prime ideal of \(A\) is purely-maximal.