Notes about decidability of exponential equations

Bogopolski, Oleg; Ivanov, Aleksander

doi:10.48550/arxiv.2105.06842

Cited by 1 publication

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…where the g i and h i are given elements of G and the x i are variables that range over N. In general, it is allowed that x i = x j for i = j. Equations of this form are known as exponent equations and have received a lot of attention in recent years, see e.g. [1,2,4,5,6,9,10,11,12,22,23,24,25,27,28]. Several variants and problems have been studied in this context.…”

Section: Introductionmentioning

confidence: 99%

Exponent equations in HNN-extensions

Figelius¹,

Lohrey²

2022

Preprint

View full text Add to dashboard Cite

We consider exponent equations in finitely generated groups. These are equations, where the variables appear as exponents of group elements and take values from the natural numbers. Solvability of such (systems of) equations has been intensively studied for various classes of groups in recent years. In many cases, it turns out that the set of all solutions on an exponent equation is a semilinear set that can be constructed effectively. Such groups are called knapsack semilinear. Examples of knapsack semilinear groups are hyperbolic groups, virtually special groups, co-context-free groups and free solvable groups. Moreover, knapsack semilinearity is preserved by many group theoretic constructions, e.g., finite extensions, graph products, wreath products, amalgamated free products with finite amalgamated subgroups, and HNNextensions with finite associated subgroups. On the other hand, arbitrary HNN-extensions do not preserve knapsack semilinearity. In this paper, we consider the knapsack semilinearity of HNN-extensions, where the stable letter t acts trivially by conjugation on the associated subgroup A of the base group G. We show that under some additional technical conditions, knapsack semilinearity transfers from base group G to the HNN-extension H. These additional technical conditions are satisfied in many cases, e.g., when A is a centralizer in G or A is a quasiconvex subgroup of the hyperbolic group G.This work has been supported by the DFG research project LO 748/13-1. 1 Many groups are known to be virtually special, e.g., Coxeter groups, fully residually free groups, one-relator groups with torsion, and fundamental groups of hyperbolic 3-manifolds.

show abstract