A structure theorem for type 3, grade 3 perfect ideals (Q1124637)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A structure theorem for type 3, grade 3 perfect ideals |
scientific article; zbMATH DE number 4112729
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A structure theorem for type 3, grade 3 perfect ideals |
scientific article; zbMATH DE number 4112729 |
Statements
A structure theorem for type 3, grade 3 perfect ideals (English)
0 references
1989
0 references
The purpose of this paper is to give a structure theorem for grade 3 perfect ideals of type 3 and defect \(\geq 2\) in a noetherian local ring (R,M,K). The starting point are two results of A. Brown, based, in their turn, on results of Buchsbaum, Eisenbud, Peskine and Szpiro. The first one provides a minimal projective resolution of \(J=(\bar x:I)\), starting from a minimal projective resolution of I, whenever I is a perfect ideal in a noetherian ring and \(\bar x\) is one of its maximal regular sequences. The second one gives a minimal set of generators and a minimal free resolution for a grade 3 almost complete intersection J of R, in terms of minors of an alternating matrix with entries in M. The author shows that if I is a grade 3 perfect ideal, with type\((I)=3\) and \(d(I)\geq 2\), which is not a complete intersection, then I is linked to an almost complete intersection of type n-3. Moreover, using some results from Weyman, he characterizes the multiplication on a minimal free resolution of such an \(I\quad mod(M).\) These tools enable him to produce a set of generators of I in terms of minors of two convenient matrices and to get a minimal free resolution of I, from a minimal free resolution of its linked ideal J.
0 references
perfect ideals
0 references
noetherian local ring
0 references
regular sequences
0 references
minimal set of generators
0 references
minimal free resolution
0 references
almost complete intersection
0 references
0 references
0 references