Related papers: Hyperbolic groups satisfy the Boone-Higman conject…

The Boone--Higman conjecture is that every recursively presented group with solvable word problem embeds in a finitely presented simple group. We discuss a brief history of this conjecture and work towards it. Along the way we describe some…

We 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…

A conjecture of Boone and Higman from the 1970's asserts that a finitely generated group $G$ has solvable word problem if and only if $G$ can be embedded into a finitely presented simple group. We comment on the history of this conjecture…

We prove that every finite semigroup embeds in a finitely presented congruence-free monoid, and pose some questions around the Boone-Higman Conjecture.

We give a short proof that every contracting self-similar group embeds into a finitely presented simple group. In particular, any contracting self-similar group embeds into the corresponding R\"over--Nekrashevych group, and this in turn…

We study a group which is hyperbolic relative to a finite family of infinite subgroups. We show that the group satisfies the coarse Baum-Connes conjecture if each subgroup belonging to the family satisfies the coarse Baum-Connes conjecture…

We prove that the groups $\mathrm{Aut}(F_n)$ satisfy the Boone-Higman conjecture for all $n$, meaning each $\mathrm{Aut}(F_n)$ embeds in a finitely presented simple group. In fact, we prove that each $\mathrm{Aut}(F_n)$ satisfies the…

In this paper we describe finitely generated groups $H$ universally equivalent (with constants from $G$ in the language) to a given torsion-free relatively hyperbolic group $G$ with free abelian parabolics. It turns out that, as in the free…

We develop a method for proving the Boone--Higman Conjecture for groups acting on locally finite trees. As a consequence, we prove the Boone--Higman Conjecture for all Baumslag--Solitar groups and for all free(finite rank)-by-cyclic groups,…

William W. Boone and Graham Higman proved that a finitely generated group has soluble word problem if and only if it can be embedded in a simple group that can be embedded in a finitely presented group. We prove the exact analogue for…

We prove that the compressed word problem and the compressed simultaneous conjugacy problem are solvable in polynomial time in hyperbolic groups. In such problems, group elements are input as words defined by straight line programs defined…

For all sufficiently large odd integers $n$, the following version of Higman's embedding theorem is proved in the variety ${\cal B}_n$ of all groups satisfying the identity $x^n=1$. A finitely generated group $G$ from ${\cal B}_n$ has a…

We suggest a modified and briefer version for the proof of Higman's embedding theorem stating that a finitely generated group can be embedded in a finitely presented group if and only if it is recursively presented. In particular, we…

We formulate and prove a version of the Segal Conjecture for infinite groups. For finite groups it reduces to the original version. The condition that G is finite is replaced in our setting by the assumption that there exists a finite model…

We refine Feighn--Handel's results on subgroups of mapping tori of free groups to the special case of free-by-cyclic groups. We use these refinements to show that any finitely generated free-by-cyclic group embeds in a {finitely generated…

Let $G$ be a finitely presented group, and let $H$ be a subgroup of $G$. We prove that if $H$ is acylindrically hyperbolic and existentially closed in $G$, then $G$ is acylindrically hyperbolic. As a corollary, any finitely presented group…

By deploying dense subalgebras of $\ell^1(G)$ we generalize the Bass conjecture in terms of Connes' cyclic homology theory. In particular, we propose a stronger version of the $\ell^1$-Bass Conjecture. We prove that hyperbolic groups…

We propose an algorithm which for any recursive group $G$, given by its effectively enumerable generators and recursively enumerable relations, outputs an explicit embedding of $G$ into a finitely presented group directly written by its…

We prove that all Gromov hyperbolic groups embed into the asynchronous rational group defined by Grigorchuk, Nekrashevych and Sushchanski\u{i}. The proof involves assigning a system of binary addresses to points in the Gromov boundary of…

Let $G$ be a word hyperbolic group in the sense of Gromov and $P$ its associated Rips complex. We prove that the fixed point set $P^H$ is contractible for every finite subgroups $H$ of $G$. This is the main ingredient for proving that $P$…