The leading ideal of a complete intersection of height two (Q2491845): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2005.07.020 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2027448655 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4274969 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Gorenstein and complete intersection properties of associated graded rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reduction numbers for ideals of higher analytic spread / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Local Hilbert Function of a Pair of Plane Curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4170834 / rank | |||
Normal rank |
Latest revision as of 16:29, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The leading ideal of a complete intersection of height two |
scientific article |
Statements
The leading ideal of a complete intersection of height two (English)
0 references
29 May 2006
0 references
Let \(S\) be a noetherian local ring with maximal ideal \(N\) and let \(I\) be an ideal in \(S\) generated by a regular sequence of length two. Assume that the associated graded ring \(G=\text{gr}_N(S)\) of \(S\) with respect to \(N\) is a unique factorization domain. In this situation, for the leading form ideal \(I^*\) of \(I\) in \(G\) one has \(\text{height}_GI^*= \text{grade}_GI^*=2\). The authors prove that \(I^*\) is even a perfect ideal of \(G\) if \(I^*\) is 3-generated. So under this assumption, the associated graded ring of \(S/I\) with respect to \(N/I\) (which is isomorphic with \(G/I^*)\) is a Cohen-Macaulay ring if \(G\) has this property. As an application the authors deduce that if \(R\) is a one-dimensional Gorenstein local ring of embedding dimension 3 such that the maximal ideal \(M\) of \(R\) has reduction number at most 4, then \(\text{gr}_MR\) is Cohen-Macaulay.
0 references
ideal of initial forms
0 references
multiplicity
0 references
reduction number
0 references
Gorenstein ring
0 references