The Gorenstein property of the associated graded rings of powers of an ideal (Q1193457): Difference between revisions
From MaRDI portal
Set profile property. |
Created claim: Wikidata QID (P12): Q126352114, #quickstatements; #temporary_batch_1718112262472 |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Flawless O-sequences and Hilbert functions of Cohen-Macaulay integral domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Gorensteinness of Rees algebras over local rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Genera and arithmetic genera of commutative rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\Delta\)-genera and sectional genera of commutative rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Gorenstein property of the associated graded ring and the Rees algebra of an ideal / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q126352114 / rank | |||
Normal rank |
Latest revision as of 15:26, 11 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Gorenstein property of the associated graded rings of powers of an ideal |
scientific article |
Statements
The Gorenstein property of the associated graded rings of powers of an ideal (English)
0 references
27 September 1992
0 references
This paper gives a second proof of the following theorem: Let \((R,m)\) be a local Noetherian ring with \(\dim(R)=d\geq 1\) and with infinite residue field. Let \(I\) be an \(m\)-primary ideal of \(R\) such that the associated graded ring \(G(I)\) is Gorenstein. Then for any integer \(r\geq 1\), \(G(I^ r)\) is Gorenstein if and only if \(\delta(I)\equiv d-1\pmod r\), where \(\delta(I)\) is the smallest integer \(i\) such that \(I^{i+1}=JI^ i\) for some parameter ideal \(J\) contained in \(I\). The author had given an earlier proof using canonical modules in J. Algebra 155, No. 2, 397-414 (1993). The proof given in this paper uses Hilbert functions and the fact that under certain conditions \(G(I)\) is Gorenstein if and only if it is Cohen-Macaulay and the Hilbert function is symmetric. The paper ends by determining when \(G(m^ r)\) and \(R(m^ r)\) are Gorenstein for \(R\) a local Gorenstein ring with emb\((R)=e(R)+\dim R-3\).
0 references
associated graded ring
0 references
Gorenstein
0 references
Hilbert function
0 references