The structure of subalgebras of full matrix algebras over a field satisfying the identity \([x_1, y_1][x_2, y_2] \cdots [x_q, y_q]=0\)
type: Item
instance of: scholarly article
title: The structure of subalgebras of full matrix algebras over a field satisfying the identity \([x_1, y_1][x_2, y_2] \cdots [x_q, y_q]=0\)
author: Pawel Matras
author: L. van Wyk
author: Michał Ziembowski
published in: Journal of Algebra
publication date: 2024-08-15T00:00:00Z
review text: The authors call an associative algebra over a field \(K\) a \emph{\(\mathrm{D}_q\) algebra} if it satisfies the polynomial identity \([x_1,y_1]\cdots [x_q,y_q]=0\), where \([x,y]:=xy-yx\). For example, \(\mathrm{D}_1\) algebras are the commutative algebras, and the algebra of \(q\times q\) upper triangular matrices is a \(\mathrm{D}_q\) algebra. The main result of the paper is a classification of maximal (with respect to inclusion) \(\mathrm{D}_q\) subalgebras of \(M_n(K)\) (the algebra of \(n\times n\) matrices over \(K\)) up to conjugacy (with respect to the group of invertible \(n\times n\) matrices over \(K\)), and also up to isomorphism. For a \(q\)-tuple \((n_1,\dots,n_q)\) of positive integers with \(n_1+\cdots+n_q=n\) (where \(q\ge 2\)) and given maximal commutative subalgebras \(A_i\) of \(M_{n_i}(K)\), consider the set of block upper triangular \(n\times n\) matrices, whose \(i\)th diagonal block belongs to \(A_i\) for \(i=1,\dots,q\), and whose blocks above the diagonal are arbitrary. Then this is a maximal \(\mathrm{D}_q\) subalgebra of \(M_n(K)\), and any maximal \(\mathrm{D}_q\) subalgebra in \(M_n(K)\) (which is not a \(\mathrm{D}_{ q-1}\) subalgebra) is conjugate to a subalgebra of this form for a unique \(q\)-tuple \((n_1,\dots,n_q)\) and unique (up to conjugacy) subalgebras \(A_i\) of \(M_{n_i}(K)\). In fact the \(q\)-tuple \((n_1,\dots,n_q)\) and the isomorphism class of \(A_i\) for \(i=1,\dots,q\) are uniquely determined already by the isomorphism class of the given \(\mathrm{D}_q\) subalgebra. When \(K\) is algebraically closed, then two maximal \(\mathrm{D}_q\) subalgebras are isomorphic if and only if they are conjugate.
reviewed by: Matyas Domokos
Mathematics Subject Classification ID: 16R10
Mathematics Subject Classification ID: 16S50
Mathematics Subject Classification ID: 15A30
zbMATH DE Number: 7897479
zbMATH Keywords: polynomial identity
zbMATH Keywords: maximal commutative subalgebra
zbMATH Keywords: matrix algebra
MaRDI profile type: MaRDI publication profile
cites work: Q4318498
cites work: Generalized polynomial identities and rings which are sums of two subrings
cites work: On the dimension of faithful modules over finite dimensional basic algebras
cites work: Q4700803
cites work: Polynomial identity rings.
cites work: Q5732712
cites work: Schur’s theorems on commutative matrices
cites work: Identities of associative algebras
cites work: Q2734153
cites work: Basis for identities of the algebra of upper triangular matrices
cites work: Q3929895
cites work: A Cayley-Hamilton trace identity for \(2 \times 2\) matrices over Lie-solvable rings
cites work: Identities of the algebra of triangular matrices
cites work: Simultaneous triangularization
cites work: Zur Theorie der vertauschbaren Matrizen.
cites work: Q3941559
cites work: A power Cayley-Hamilton identity for \(n \times n\) matrices over a Lie nilpotent ring of index \(k\)
cites work: The maximum dimension of a Lie nilpotent subalgebra of $\boldsymbol {\mathbb {M}_n(F)}$ of index $\boldsymbol {m}$
cites work: Lie solvability and the identity \([x_{1},y_{1}][x_{2},y_{2}]\cdots[x_{q},y_{q}]=0\) in certain matrix algebras
cites work: Lie solvability in matrix algebras
DOI: 10.1016/J.JALGEBRA.2024.05.023
description: scientific article; zbMATH DE number 7897479