Skip to content

Research at St Andrews

Some undecidability results for asynchronous transducers and the Brin-Thompson group 2V

Research output: Contribution to journalArticle

DOI

Open Access permissions

Open

Abstract

Using a result of Kari and Ollinger, we prove that the torsion problem for elements of the Brin-Thompson group 2V is undecidable. As a result, we show that there does not exist an algorithm to determine whether an element of the rational group R of Grigorchuk, Nekrashevich, and Sushchanskii has finite order. A modification of the construction gives other undecidability results about the dynamics of the action of elements of 2V on Cantor Space. Arzhantseva, Lafont, and Minasyanin prove in 2012 that there exists a finitely presented group with solvable word problem and unsolvable torsion problem. To our knowledge, 2V furnishes the first concrete example of such a group, and gives an example of a direct undecidability result in the extended family of R. Thompson type groups.
Close

Details

Original languageEnglish
Pages (from-to)3157-3172
Number of pages16
JournalTransactions of the American Mathematical Society
Volume369
Issue number5
Early online date27 Dec 2016
DOIs
Publication statusPublished - May 2017

    Research areas

  • Undecidable torsion problem, Brin-Thompson groups, Rational group, Transducer, Reversible Turing machine

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Embedding right-angled Artin groups into Brin-Thompson groups

    Belk, J., Bleak, C. & Matucci, F., 23 Apr 2019, In : Mathematical Proceedings of the Cambridge Philosophical Society. First View, 5 p.

    Research output: Contribution to journalArticle

  2. Groups of fast homeomorphisms of the interval and the ping-pong argument

    Bleak, C., Brin, M. G., Kassabov, M., Tatch Moore, J. & Zaremsky, M. C. B., 31 Jan 2019, In : Journal of Combinatorial Algebra. 3, 1, p. 1-40

    Research output: Contribution to journalArticle

  3. Some isomorphism results for Thompson-like groups Vn(G) 

    Bleak, C., Donoven, C. & Jonusas, J., 8 Nov 2017, In : Israel Journal of Mathematics. 222, 1, p. 1-19 19 p.

    Research output: Contribution to journalArticle

  4. The infinite simple group V of Richard J. Thompson: presentations by permutations

    Bleak, C. & Quick, M., 2017, In : Groups, Geometry, and Dynamics. 11, 4, p. 1401-1436 36 p.

    Research output: Contribution to journalArticle

  5. Embeddings into Thompson's group V and coCF groups

    Bleak, C., Matucci, F. & Neunhöffer, M., Oct 2016, In : Journal of the London Mathematical Society. 94, 2, p. 583-597 15 p.

    Research output: Contribution to journalArticle

Related by journal

  1. Exact dimensionality and projection properties of Gaussian multiplicative chaos measures

    Falconer, K. & Jin, X., 15 Aug 2019, In : Transactions of the American Mathematical Society. 372, 4, p. 2921-2957 37 p.

    Research output: Contribution to journalArticle

  2. Orbits of primitive k-homogenous groups on (n-k)-partitions with applications to semigroups

    Araújo, J., Bentz, W. & Cameron, P. J., 1 Jan 2019, In : Transactions of the American Mathematical Society. 371, 1, p. 105-136

    Research output: Contribution to journalArticle

  3. Generating sets of finite groups

    Cameron, P. J., Lucchini, A. & Roney-Dougal, C. M., 4 Apr 2018, In : Transactions of the American Mathematical Society. 370, 9, p. 6751-6770

    Research output: Contribution to journalArticle

ID: 231626907

Top