×

On commutators of unipotent matrices of index 2. arXiv:2409.13339

Preprint, arXiv:2409.13339 [math.RA] (2024).
Summary: A commutator of unipotent matrices of index 2 is a matrix of the form \(XYX^{-1}Y^{-1}\), where \(X\) and \(Y\) are unipotent matrices of index 2, that is, \(X\ne I_n\), \(Y\ne I_n\), and \((X-I_n)^2=(Y-I_n)^2=0_n\). If \(n>2\) and \(\mathbb F\) is a field with \(|\mathbb F|\geq 4\), then it is shown that every \(n\times n\) matrix over \(\mathbb F\) with determinant 1 is a product of at most four commutators of unipotent matrices of index 2. Consequently, every \(n\times n\) matrix over \(\mathbb F\) with determinant 1 is a product of at most eight unipotent matrices of index 2. Conditions on \(\mathbb F\) are given that improve the upper bound on the commutator factors from four to three or two. The situation for \(n=2\) is also considered. This study reveals a connection between factorability into commutators of unipotent matrices and properties of \(\mathbb F\) such as its characteristic or its set of perfect squares.

MSC:

15A21 Canonical forms, reductions, classification
15A23 Factorization of matrices
15B33 Matrices over special rings (quaternions, finite fields, etc.)
15B99 Special matrices
20H20 Other matrix groups over fields
arXiv data are taken from the arXiv OAI-PMH API. If you found a mistake, please report it directly to arXiv.