Abstract
AbstractWe show that the commensurator of any finitely generated abelian subgroup H in a biautomatic group centralises a finite-index subgroup of H. We deduce that the CAT(0) groups introduced by Leary and Minasyan (Commensurating HNN-extensions: non-positive curvature and biautomaticity, Geom Topol 25:1819–1860, 2021) are either biautomatic or cannot arise as subgroups of biautomatic groups, answering a question posed in Leary and Minasyan (Commensurating HNN-extensions: non-positive curvature and biautomaticity, Geom Topol 25:1819–1860, 2021) and generalising an analogous result for Baumslag–Solitar groups. These are the first examples of CAT(0) groups that are not subgroups of biautomatic groups.
Publisher
Springer Science and Business Media LLC
Reference12 articles.
1. Cannon, J.W.: The combinatorial structure of cocompact discrete hyperbolic groups. Geom. Dedic. 16(2), 123–148 (1984)
2. Chalopin, J., Chepoi, V., Genevois, A., Hirai, H., Osajda, D.: Helly groups, preprint, available at arXiv:2002.06895 [math.GR] (2020)
3. Charney, R.: Artin groups of finite type are biautomatic. Math. Ann. 292, 671–683 (1992)
4. Epstein, D.B.A., Cannon, J.W., Holt, D.F., Levy, S.V.F., Paterson, M.S., Thurston, W.P.: Word Processing in Groups. Jones and Bartlett Publishers (1992)
5. Gersten, S.M., Short, H.B.: Rational subgroups of biautomatic groups. Ann. Math. 134(1), 125–158 (1991)