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

DOI10.1016/J.AAM.2005.03.007zbMATH Open1123.16014arXivmath/0501219OpenAlexW4302421056MaRDI QIDQ863308FDOQ863308

Authors: Francesca Saviella Benanti, Vesselin Drensky 

Publication date: 26 January 2007

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

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.

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

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

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)

Cites Work

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

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.
• A presentation of the trace algebra of three \(3\times 3\) matrices.
• DEFINING RELATIONS OF LOW DEGREE OF INVARIANTS OF TWO 4 × 4 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)