
arXiv: 2405.09722
AbstractWe prove that every finitely presented self‐similar group embeds in a finitely presented simple group. This establishes that every group embedding in a finitely presented self‐similar group satisfies the Boone–Higman conjecture. The simple groups in question are certain commutator subgroups of Röver–Nekrashevych groups, and the difficulty lies in the fact that even if a Röver–Nekrashevych group is finitely presented, its commutator subgroup might not be. We also discuss a general example involving matrix groups over certain rings, which in particular establishes that every finitely generated subgroup of satisfies the Boone–Higman conjecture.
Generators, relations, and presentations of groups, Röver-Nekrashevych group, finitely presented group, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), simple group, Group Theory (math.GR), Simple groups, self-similar group, FOS: Mathematics, Groups acting on trees, virtual endomorphism, Boone-Higman conjecture, Geometric group theory, Mathematics - Group Theory
Generators, relations, and presentations of groups, Röver-Nekrashevych group, finitely presented group, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), simple group, Group Theory (math.GR), Simple groups, self-similar group, FOS: Mathematics, Groups acting on trees, virtual endomorphism, Boone-Higman conjecture, Geometric group theory, Mathematics - Group Theory
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
