Abstract:In this paper we study the satisfiability and solutions of group equations when combinatorial, algebraic and language-theoretic constraints are imposed on the solutions. We show that the solutions to equations with length, lexicographic order, abelianisation or context-free constraints added, can be effectively produced in finitely generated virtually abelian groups. Crucially, we translate each of the constraints above into a rational set in an effective way, and so reduce each problem to solving equations with rational constraints, which is decidable and well understood in virtually abelian groups. A byproduct of our results is that the growth series of a virtually abelian group, with respect to any generating set and any weight, is effectively computable. This series is known to be rational by a result of Benson, but his proof is non-constructive.

-Nonsingular systems of equations over solvable groups

On $p$-nonsingular systems of equations over solvable groups

Infinite systems of equations in abelian and nilpotent groups

Some torsion-free solvable groups with few subquotients

On the solvability of regular subgroups in the holomorph of a finite solvable group

Quadratic equations in metabelian Baumslag-Solitar groups

Finite Groups with a Given Number of Conjugacy Classes of Non-nilpotent Maximal Subgroups

Finite Groups with -Subnormal Schmidt Subgroups

Finite simple groups with two maximal subgroups of coprime orders

On the solvability of a finite group by the sum of subgroup orders

On $$\sigma $$-subnormality criteria in finite $$\sigma $$-soluble groups

Groups with supersolvable automorphism group

Solvability of a group based on its number of subgroups

Solubility of Finite Generalized Frobenius with the Kernel of Odd Index

On groups with all subgroups subnormal or soluble of bounded derived length

Effective equation solving, constraints and growth in virtually abelian groups

Examples of Nonpronormal Relatively Maximal Subgroups of Finite Simple Groups

Finite solvable groups with a nilpotent normal complement subgroup

Solutions monomiales minimales irréductibles dans $SL_{2}(\mathbb{Z}/p^{n}\mathbb{Z})$

New criteria for -subnormality in -solvable finite groups

Finite groups whose maximal subgroups have only soluble proper subgroups