Nonnil-Noetherian rings and the SFT property (Q640270): Difference between revisions

Let \(R\) be a commutative ring with identity. As in [\textit{A. Badawi}, Commun. Algebra 31, No. 4, 1669--1677 (2003; Zbl 1018.13010)], we say that \(R\) is a nonnil-Noetherian ring if every ideal of \(R\) that is not contained in Nil\((R)\), the nilradical of \(R\), is finitely generated. In this paper, the authors study nonnil-Noetherian rings and formal power series rings over nonnil-Noetherian rings. For example, they show that \(R[[X]]\) is nonnil-Noetherian if and only if \(R[X]\) is nonnil-Noetherian, if and only if \(R\) is Noetherian, and that Nil\((R[[X]]) =\) Nil\((R)[[X]]\) if and only if Nil\((R)\) is an SFT ideal of \(R\). (An ideal \(I\) of \(R\) is an SFT ideal if there is a finitely generated ideal \(J \subseteq I\) of \(R\) and a positive integer \(k\) such that \(x^k \in J\) for every \(x \in I\); and \(R\) is an SFT ring if every ideal of \(R\) is an SFT ideal.) They also show that if \(R\) is a nonnil-Noetherian SFT ring, then dim\(R[[X_1, \ldots, X_n]] =\) dim\(R + n\).