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 relationsgeneric matricestrace algebrasmatrix invariantsfree generatorsfinitely generated free modulesmatrix concomitantsGröbner bases

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.

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

• 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?)
• 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
• 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.
• TRACE IDENTITIES OF FULL MATRIX ALGEBRAS OVER A FIELD OF CHARACTERISTIC ZERO
• The invariant theory of \(n\times n\) matrices
• The ring of invariants of matrices
• The structure of the invariant ring of two matrices of degree 3
• Trace Rings of Generic Matrices are Cohen-Macaulay
• Trace rings of generic 2 by 2 matrices
• Weak polynomial identities for a vector space with a symmetric bilinear form

Cited in

(5)

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