Projectively full radical ideals in integral extension rings (Q2466948)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Projectively full radical ideals in integral extension rings |
scientific article |
Statements
Projectively full radical ideals in integral extension rings (English)
0 references
16 January 2008
0 references
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).
0 references
asymptotic prime divisor
0 references
asymptotic sequence
0 references
free integral extension
0 references
integrally closed ideal
0 references
projectively equivalent ideals
0 references
projectively full ideal
0 references
Rees integers
0 references
Rees valuation
0 references