English

Linearly Mismatched Free-by-Cyclic Groups are Asynchronously Automatic

Group Theory 2022-09-16 v1

Abstract

We call the family of free-by-cyclic groups defined by G=<a,t,b1,b2,bkat=ta,b11tb1=an1t,bk1tbk=ankt>G = \left< a, t, b_1, b_2, \ldots b_k \mid at = ta, b_1^{-1}tb_1 = a^{n_1}t, \ldots b_k^{-1}tb_k = a^{n_k}t \right> for n1,n2,nkZn_1, n_2, \ldots n_k \in \mathbb Z linearly mismatched since the automorphisms used to define the HNN extensions grow linearly at different rates. Using techniques from Elder's thesis, namely words with a parallel stable letter structure, we prove that linearly mismatched free-by-cyclic groups are asynchronously automatic, and thus they have a solvable word problem.

Cite

@article{arxiv.2209.06942,
  title  = {Linearly Mismatched Free-by-Cyclic Groups are Asynchronously Automatic},
  author = {Benjamin Gustafson and Benjamin L. Jeffers},
  journal= {arXiv preprint arXiv:2209.06942},
  year   = {2022}
}
R2 v1 2026-06-28T01:19:25.034Z