Gröbner bases for the rings of special orthogonal and \(2\times 2\) matrix invariants (Q5949403): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 02:00, 30 January 2024
scientific article; zbMATH DE number 1675722
Language | Label | Description | Also known as |
---|---|---|---|
English | Gröbner bases for the rings of special orthogonal and \(2\times 2\) matrix invariants |
scientific article; zbMATH DE number 1675722 |
Statements
Gröbner bases for the rings of special orthogonal and \(2\times 2\) matrix invariants (English)
0 references
2 December 2003
0 references
Let the special orthogonal group \(\text{SO}_n\) act on \(k\)-tuples of vectors in \(n\)-dimensional space. The first fundamental theorem of invariant theory states that the ring of invariants is generated by the dot products of pairs of vectors and the determinants of all \(n\)-tuples of vectors. This paper is concerned with the ideal of relations between these generators. The generators of this ideal are given by the second fundamental theorem of algebra. However, in order to do explicit computations in this invariant ring, it is desirable to have a Gröbner basis of this ideal. The paper under review gives an explicit Gröbner basis. The cases \(n=3\) and \(n=4\) are interpreted as vector invariants for the \(2\times 2\) matrices. The authors also show that for \(n=2\), the invariant ring is a Koszul algebra by using SAGBI bases.
0 references
rings of invariants
0 references
special orthogonal groups
0 references
Gröbner bases
0 references
generators
0 references
relations
0 references
Koszul algebras
0 references
SAGBI bases
0 references