Embedding finitely presented self-similar groups into finitely presented simple groups

DOI10.1112/BLMS.70022MaRDI QIDQ6994813zbMATH OpenFDO

Authors Matthew C. B. Zaremsky

Publication date 22 April 2025

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/BLMS.70022

zbMATH Keywords

Boone-Higman conjecturefinitely presented groupRöver-Nekrashevych groupself-similar groupsimple groupvirtual endomorphism

Mathematics Subject Classification ID

Groups acting on trees (20E08) Simple groups (20E32) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Geometric group theory (20F65)

Review text

In this paper, the author proves that every finitely presented self-similar group embeds into a finitely presented simple group, thus satisfying the conjecture by \textit{W. W. Boone} and \textit{G. Higman} [J. Aust. Math. Soc. 18, 41--53 (1974; Zbl 0303.20028)]. The main tool is the Röver-Nekrashevych group \(V_d(G)\) associated to a self-similar group \(G \leq \operatorname{Aut}(\mathcal{T}_d)\). When \(G\) is finitely presented and acts by finite-state automorphisms, \(V_d(G)\) is often finitely presented; however, its commutator subgroup \([V_d(G), V_d(G)]\) may not be. The author shows that by carefully modifying the self-similarity structure of \(G\), one can force \(V_d(G)\) to have finite abelianization, ensuring that \([V_d(G), V_d(G)]\) is finitely presented and simple.\N\NA general construction is also provided for building suitable self-similar groups from virtual endomorphisms, under properness and finite-state conditions. As an application, it is shown that every finitely generated subgroup of \(\mathrm{GL}_n(\mathbb{Q})\) embeds into a finitely presented simple group, thus solving the Boone-Higman conjecture for these linear groups.

Cites work

• A construction which can be used to produce finitely presented infinite simple groups
• Amenability and profinite completions of finitely generated groups
• An algebraic characterization of groups with soluble word problem
• Cohomologie d'immeubles et de groupes S-arithmétiques
• Constructing finitely presented simple groups that contain Grigorchuk groups
• Cuntz-Pimsner algebras of group actions
• Finitely presented groups associated with expanding maps
• scientific article; zbMATH DE number 2058923 (Why is no real title available?)
• scientific article; zbMATH DE number 7469543 (Why is no real title available?)
• scientific article; zbMATH DE number 2195483 (Why is no real title available?)
• scientific article; zbMATH DE number 3057909 (Why is no real title available?)
• On Burnside's problem on periodic groups
• Simple groups separated by finiteness properties
• The embedding of certain linear and Abelian groups in finitely presented simple groups
• The Generation of GL(n, Z) by Finite State Automata

Cited in

(1)

• A branch group with unsolvable conjugacy problem

This page was built for publication: Embedding finitely presented self-similar groups into finitely presented simple groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6994813)