Defining relations of the noncommutative trace algebra of two 3 3 matrices.

DOI10.1016/J.AAM.2005.03.007MaRDI QIDQ863308zbMATH OpenOpenAlexFDO

Authors Francesca Saviella Benanti, Vesselin Drensky

Publication date 26 January 2007

Published in Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0501219

zbMATH Keywords

defining relationsfinitely generated free modulesfree generatorsgeneric matricesGröbner basesmatrix concomitantsmatrix invariantstrace algebras

Mathematics Subject Classification ID

Trace rings and invariant theory (associative rings and algebras) (16R30) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15)

Abstract: The noncommutative (or mixed) trace algebra $T_{nd}$ is generated by $d$ generic $nimesn$ matrices and by the algebra $C_{nd}$ generated by all traces of products of generic matrices, $n,dgeq2$. It is known that over a field of characteristic 0 this algebra is a finitely generated free module over a polynomial subalgebra $S$ of the center $C_{nd}$. For $n=3$ and $d=2$ we have found explicitly such a subalgebra $S$ and a set of free generators of the $S$-module $T_{32}$. We give also a set of defining relations of $T_{32}$ as an algebra and a Groebner basis of the corresponding ideal. The proofs are based on easy computer calculations with standard functions of Maple, the explicit presentation of $C_{32}$ in terms of generators and relations, and methods of representation theory of the general linear group.

Review text

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.

Recommendations

• A presentation of the trace algebra of three \(3\times 3\) matrices.
• Defining relations of minimal degree of the trace algebra of \(3\times 3\) matrices.
• Defining relations of invariants of two \(3\times 3\) matrices.
• scientific article; zbMATH DE number 2211256
• DEFINING RELATIONS OF LOW DEGREE OF INVARIANTS OF TWO 4 × 4 MATRICES

Cites work

• Algebraic invariants for a set of matrices
• Algorithms for construction of standard Gröbner-Shirshov bases of ideals of free algebras over commutative rings
• Defining relations for the algebra of invariants of \(2\times 2\) matrices
• Defining relations of invariants of two \(3\times 3\) matrices.
• Denominators for the Poincaré series of invariants of small matrices
• scientific article; zbMATH DE number 3766017 (Why is no real title available?)
• scientific article; zbMATH DE number 48953 (Why is no real title available?)
• scientific article; zbMATH DE number 812874 (Why is no real title available?)
• Invariants and the ring of generic matrices
• Lifting standard bases in filtered structures
• On a minimal set of generators for the invariants of 3 × 3 matrices
• Polynomial identities for a family of simple jordan algebras
• Polynomial identity rings.
• The invariant theory of n n matrices
• The ring of invariants of matrices
• The structure of the invariant ring of two matrices of degree 3
• TRACE IDENTITIES OF FULL MATRIX ALGEBRAS OVER A FIELD OF CHARACTERISTIC ZERO
• Trace rings of generic 2 by 2 matrices
• Trace Rings of Generic Matrices are Cohen-Macaulay
• Weak polynomial identities for a vector space with a symmetric bilinear form

Cited in

(5)

• A presentation of the trace algebra of three \(3\times 3\) matrices.
• Computing with matrix invariants.
• DEFINING RELATIONS OF LOW DEGREE OF INVARIANTS OF TWO 4 × 4 MATRICES
• Poincaré series of some pure and mixed trace algebras of two generic matrices.
• Defining relations of minimal degree of the trace algebra of 3 3 matrices.

This page was built for publication: Defining relations of the noncommutative trace algebra of two \(3\times 3\) matrices.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q863308)