Abstract:The Tits alternative states that a finitely generated matrix group either contains a nonabelian free subgroup $F_2$, or it is virtually solvable. This paper considers two decision problems in virtually solvable matrix groups: the Identity Problem (does a given finitely generated subsemigroup contain the identity matrix?), and the Group Problem (is a given finitely generated subsemigroup a group?). We show that both problems are decidable in virtually solvable matrix groups over the field of algebraic numbers $\overline{\mathbb{Q}}$. Our proof also extends the decidability result for nilpotent groups by Bodart, Ciobanu, Metcalfe and Shaffrir, and the decidability result for metabelian groups by Dong (STOC'24). Since the Identity Problem and the Group Problem are known to be undecidable in matrix groups containing $F_2 \times F_2$, our result significantly reduces the decidability gap for both decision problems.

What problem does this paper attempt to address?

The problems that this paper attempts to solve are to determine two decision problems in almost - solvable matrix groups: **Identity Problem** (does a given finitely - generated semigroup contain the identity matrix?) and **Group Problem** (is a given finitely - generated semigroup a group?). These two problems are undecidable in matrix groups containing $F_2\times F_2$, so the research focus of this paper is on almost - solvable matrix groups, especially those groups defined on the algebraic number field $\mathbb{Q}$. ### Background of the paper - **Tits Alternative**: Tits Alternative states that a finitely - generated matrix group either contains the non - commutative free subgroup $F_2$ or is almost - solvable. This provides a theoretical basis for the study of almost - solvable matrix groups. - **Algorithmic problems**: In matrix semigroups, some classical problems such as **Semigroup Membership** and **Group Membership** have been proven to be undecidable in some cases. These results have inspired the study of almost - solvable matrix groups because these problems may have better decidability in these groups. ### Main contributions 1. **Decidability of Identity Problem and Group Problem**: The paper proves that in the almost - solvable matrix group $GL(d,\mathbb{Q})$, the Identity Problem and the Group Problem are decidable. This result fills the decidability gap of these two problems in almost - solvable matrix groups. 2. **Technical contributions**: - **Extending existing results**: The paper extends previous results on nilpotent groups and metabelian groups and generalizes them to almost - solvable matrix groups. - **New technical tools**: New concepts such as **A - graphs** and **partial contractions** are introduced, and combined with the methods of automata theory and algebraic geometry to prove key intermediate results. ### Technical details - **Structure of almost - solvable matrix groups**: An almost - solvable matrix group can be decomposed into a normal subgroup of finite index in a triangular matrix group. Through this decomposition, the paper simplifies the problem to make determinations on subgroups in the triangular matrix group. - **A - graphs and Eulerian graphs**: By constructing A - graphs, the paper transforms the Identity Problem into finding an Eulerian graph representing the identity element. Further, by introducing the concept of face - accessibility, it is proved that symmetric and face - accessible A - graphs can construct Eulerian graphs. ### Conclusion Through a series of technical means, the paper proves that in the almost - solvable matrix group $GL(d,\mathbb{Q})$, the Identity Problem and the Group Problem are decidable. This result not only extends the existing research results but also provides new tools and methods for future research in this field.

The Identity Problem in virtually solvable matrix groups over algebraic numbers

The Identity Problem in nilpotent groups of bounded class

On the Identity and Group Problems for Complex Heisenberg Matrices

Deciding finiteness of matrix groups in positive characteristic

Ordering groups and the Identity Problem

The Identity Problem in $\mathbb{Z} \wr \mathbb{Z}$ is decidable

Recent advances in algorithmic problems for semigroups

The Identity Problem in the special affine group of $\mathbb{Z}^2$

Semigroup algorithmic problems in metabelian groups

Two Matrix Theorems Arising from Nilpotent Groups

On the Decidability of Membership in Matrix-exponential Semigroups

Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups

Undecidability of the stabilizer and zero-in-the-corner problems for matrix groups

Semigroup intersection problems in the Heisenberg groups

Generating Matrix Identities and Proof Complexity Lower Bounds.

A Positivstellensatz on the Matrix Algebra of Finitely Generated Free Group

On the equational theory of finite modular lattices

Tits alternatives for graph products

Finite matrix multiplication algorithms from infinite groups

A saturation theorem for submonoids of nilpotent groups and the Identity Problem

Wohlfahrt's Theorem and index formula for elementary matrix groups and $SL(2, \mathcal O)$