Projectively full radical ideals in integral extension rings (Q2466948)

The authors extend previous results of \textit{C. Ciupercă, W. J. Heinzer, L. J. Rattlif Jr., D. E. Rush} [J. Algebra 305, 974--992 (2006; Zbl 1109.13017)]. Let \(R\) be a commutative noetherian ring. Recall that two ideals \(I\) and \(J\) of \(R\) are projectively equivalent if there exist two powers of \(I\) and of \(J\) with the same integral closure. The authors study the following construction: Let \(m\) be a positive integer. Let \(I\) be a proper ideal of a noetherian ring \(R\) generated by regular elements \(b_1,\dots,b_g\). Adjoin to \(R\) \(m\)-roots \(x_1,\dots,x_g\) of the elements \(b_1,\dots,b_g\), respectively, as follows: set \(A_m=R[X_1,\dots,X_g]/(X_1^m-b_1,\dots,X_g^m-b_g)\) and \(x_i=\overline {X_i}\) for all \(1\leq i\leq g\). Let \(J_m=(x_1,\dots,x_g)A_m\). Here are some of their results: the authors determine the nilradical of \(I\). They show that the integral closure of \(J_m\) and its nilradical are equal for sufficiently large \(m\), more precisely if \(m\geq e_i\) for each Rees integer \(e_i\) of \(I\). They also show that for sufficiently large \(m\), the ideal \(J_m\) is projectively equivalent to \(IA_m\). Using the above construction, the authors obtain the following results as particular cases of their work: ``(1) If \(R\) is a noetherian integral domain, then there exists a finite integral extension ring \(A\) of \(R\) such that the nilradical of \(IA\) is projectively equivalent to \(IA\); (2) If also \(R\) contains a field of characteristic zero, then there exists a finite free integral extension ring \(A\) of \(R\) for which the nilradical of \(A\) is a projectively full ideal that is projectively equivalent to \(IA\)'' (quoted from the authors' abstract).