Defining relations of the noncommutative trace algebra of two \(3\times 3\) matrices. (Q863308): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 16:09, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Defining relations of the noncommutative trace algebra of two \(3\times 3\) matrices. |
scientific article |
Statements
Defining relations of the noncommutative trace algebra of two \(3\times 3\) matrices. (English)
0 references
26 January 2007
0 references
Let \(X_1,\dots,X_d\) be generic \(n\times n\) matrices over a field of characteristic 0, and denote by \(C_{nd}\) the commutative algebra generated by the traces of all products of the \(X_i\). This algebra is called the `pure trace algebra'. Assume that the general linear group \(\text{GL}_n\) acts on the \(d\)-tuples of \(n\times n\) matrices by simultaneous conjugation, then \(C_{nd}\) is the algebra of invariants under this action. One may consider further the algebra \(T_{nd}\) generated by all \(X_i\) and by \(C_{nd}\). It is the `mixed trace algebra', also called the `algebra of matrix concomitants'. It is well known that \(C_{nd}\) is finitely generated, and that \(T_{nd}\) is finitely generated as a module over \(C_{nd}\). In the paper under review the authors deal with the case \(n=3\) and \(d=2\). They first exhibit a polynomial subalgebra \(S\) of \(C_{nd}\) and a set of free generators of the \(S\)-module \(T_{32}\). A set of defining relations of \(T_{32}\) is found as well, and a Gröbner basis of the corresponding ideal is described.
0 references
generic matrices
0 references
matrix invariants
0 references
matrix concomitants
0 references
trace algebras
0 references
defining relations
0 references
Gröbner bases
0 references
finitely generated free modules
0 references
free generators
0 references