Integral closedness of complete-intersection ideals (Q1093683)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Integral closedness of complete-intersection ideals
scientific article

    Statements

    Integral closedness of complete-intersection ideals (English)
    0 references
    0 references
    1987
    0 references
    This paper studies the problem when a complete intersection ideal I of a noetherian ring A is integrally closed. Main result: The following conditions are equivalent: \((i)\quad \bar I=I;\) \((ii)\quad \overline{I^ n}=I^ n\) for all \(n\geq 1\); \((iii)\quad For\) each \(p\in Ass(A/I)\), the local ring \(A_ p\) is regular and \(\ell ((IA_ p+p^ 2A_ p)/p^ 2A_ p)\geq r-1\), where \(ht(I)=r\). When this is the case, I is unmixed and it is generated by a regular sequence. The second condition is significant because it is equivalent to the normality of the Rees algebra of I, whereas the third condition gives the precise structure of integrally closed complete intersection ideals. The proof is based on the beautiful theory of full ideals recently developed by D. Rees and J. Watanabe\&(see \textit{J. Watanabe}, Nagoya Math. J. 106, 101-111 (1987; Zbl 0623.13012)].
    0 references
    0 references
    integral closure
    0 references
    parameter ideal
    0 references
    complete intersection ideal
    0 references
    normality of the Rees algebra
    0 references
    full ideals
    0 references
    0 references