If the socle fits (Q1186758): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 01:14, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | If the socle fits |
scientific article |
Statements
If the socle fits (English)
0 references
28 June 1992
0 references
In studying ideals that are obtained in some fashion from minors of matrices one is frequently in the position of having two ideals \(K\subset J\) for which the generators of \(K\) are known, perfection of \(J\) is known, and there is a strong suspicion of equality. The authors prove that for graded artinian \(k\)-algebras a simple comparison of socle dimensions suffices: if \(\dim_ k\operatorname{socle}(R/K)_ i\leq \dim _ k \operatorname{socle}(R/J)_ i\) for all \(i\), then \(K=J\). The principal new application is to identify a set of generators for the generic residual intersection of a generic grade three Gorenstein ideal; but the power of the method is also illustrated by a new proof (using residual intersection theory) of the perfection of the determinantal ideal generated by the maximal minors of a generic matrix.
0 references
graded artinian algebras
0 references
socle dimensions
0 references
set of generators
0 references
generic grade three Gorenstein ideal
0 references
determinantal ideal
0 references
residual intersection
0 references