If the socle fits (Q1186758)
From MaRDI portal
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
0 references
0 references