Hilbert's basis theorem for *-radical ideals (Q5939619)

Let \(R\) be a commutative ring with identity. A closure operation * on the ideals of \(R\) is called a radical operation if for all ideals \(I\) and \(J\) of \(R\), \((I\cap J)^* =I^*\cap J^*= (IJ)^*\). The operation \(I\to \sqrt I\), where \(\sqrt I\) is the usual nilradical of \(I\), is a radical operation. Several well-known results for radical ideals are generalized to *-ideals, i.e., to ideals \(I\) that satisfy \(I=I^*\). For example, it is shown that if \(R\) satisfies ACC on *-ideals, then every *-ideal is the intersection of a finite number of prime *-ideals. If * is a finitary radical operation (i.e., \(I^*=\bigcup \{J^* |J\subseteq I\) is finitely generated\}), then \(R\) has ACC on *-ideals if and only if each *-ideal of \(R\) is *-finitely generated and a *-analog of Cohen's theorem holds, namely, \(R\) has ACC on *-ideals if and only if every prime *-ideal of \(R\) is *-finitely generated. Finally, with the further assumption that \((IR[X])^*= I^*R[X]\) for all ideals \(I\) of \(R\), we get the *-analog of the Hilbert basis theorem that \(R\) has ACC on *-ideals if and only if \(R[X]\) does.