The Fermat-Type Matrix Equation over GL2(ℤ)
Abstract
We determine the complete ordered solution set of the Fermat-type matrix equation Xn+Yn=Zn in GL2(ℤ) for every integer n≥3, expressed in terms of simultaneous integral-conjugacy orbits while keeping the variable symmetries of the equation separate. The equation is solvable if and only if 4nmid n and 6nmid n. Thus, in contrast with the determinant-one setting, odd multiples of $3$ are solvable in the full group GL2(ℤ) and necessarily involve determinant-−1 components. For every admissible even exponent, the full ordered solution set has a canonical disjoint orbit decomposition indexed by the same transversal that occurs in the matrix Pythagorean equation. For odd exponents with 3nmid n, the commuting solutions form exactly six simultaneous-conjugacy orbits. The noncommuting odd solutions form exactly twenty simultaneous-conjugacy orbits when 3nmid n, and exactly fourteen when 3| n. Under the coarser equivalence generated by signed variable permutations and simultaneous integral conjugation, these noncommuting orbits collapse to four and three classes, respectively. The proof combines the canonical orbit classification of the matrix Pythagorean equation, Cayley--Hamilton recurrences, commutator divisibility, trace-growth estimates, integral conjugacy of torsion matrices, and an elementary symmetry-reduced trace argument for the cubic equation.
Related
- Generalized Fermat equation over number fields
- Fermat's Last Theorem in star-invariant subspaces II: small boundary spectrum, projective plane curves, and the cubic Fermat equation
- Primitive norm extraction and a signed descent for the cubic Fermat equation
- The Primitive Generalized Fermat Equation x^3+y^5=z^7: A computer-assisted proof
- On Fermat-type equations of signature (r,r,p)
BibTeX
@misc{li2026fermattype,
title = {{The Fermat-Type Matrix Equation over $\mathrmGL_2(\mathbbZ)$}},
author = {Hongjian Li and Weilin Zhang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.29593},
eprint = {2609.29593},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.29593},
}
RIS
TY - UNPB
TI - The Fermat-Type Matrix Equation over GL_2(ℤ)
AU - Hongjian Li
AU - Weilin Zhang
PY - 2026
DA - 2026/09/01
PB - arXiv
DO - 10.48550/arxiv.2609.29593
UR - https://arxiv.org/abs/2609.29593
AB - We determine the complete ordered solution set of the Fermat-type matrix equation X^n+Y^n=Z^n in GL_2(ℤ) for every integer n≥3, expressed in terms of simultaneous integral-conjugacy orbits while keeping the variable symmetries of the equation separate. The equation is solvable if and only if 4nmid n and 6nmid n. Thus, in contrast with the determinant-one setting, odd multiples of $3$ are solvable in the full group GL_2(ℤ) and necessarily involve determinant-−1 components. For every admissible even exponent, the full ordered solution set has a canonical disjoint orbit decomposition indexed by the same transversal that occurs in the matrix Pythagorean equation. For odd exponents with 3nmid n, the commuting solutions form exactly six simultaneous-conjugacy orbits. The noncommuting odd solutions form exactly twenty simultaneous-conjugacy orbits when 3nmid n, and exactly fourteen when 3| n. Under the coarser equivalence generated by signed variable permutations and simultaneous integral conjugation, these noncommuting orbits collapse to four and three classes, respectively. The proof combines the canonical orbit classification of the matrix Pythagorean equation, Cayley--Hamilton recurrences, commutator divisibility, trace-growth estimates, integral conjugacy of torsion matrices, and an elementary symmetry-reduced trace argument for the cubic equation.
ER -