---
title: Higman Embeddings in Group Theory
url: https://www.emergentmind.com/topics/higman-embeddings
type: topic
---

# Higman Embeddings in Group Theory

Higman embeddings are the family of embedding results that begin with Higman’s Embedding Theorem: a finitely generated group is recursively presented if and only if it embeds in a finitely presented group. In later work, the term extends naturally to refinements and descendants of that theorem, including explicit constructive embeddings, quasi-isometric and malnormal embeddings, Boone–Higman-type embeddings into finitely presented simple groups, and variants inside restricted classes such as Burnside varieties. A related but distinct strand studies embedding obstructions for Higman’s own group into metric ultraproducts of finite groups with controlled length functions [2306.16356, 2507.04347, 1005.0823].

## 1. Classical theorem and the HNN mechanism

The classical statement is: every finitely generated recursively presented group embeds in a finitely presented group, and conversely every finitely generated subgroup of a finitely presented group is recursively presented [1908.10153]. In the standard formulation used repeatedly in the recent literature, a finitely generated group \(G\) is recursively presented when \(G=\langle X\mid R\rangle\) with \(X\) finite and \(R\subseteq F(X)\) recursively enumerable; equivalently, there is a Turing machine enumerating the relators [2507.04347].

The historical mechanism behind the theorem is the HNN extension. Given a group \(G\), subgroups \(A,B\leq G\), and an isomorphism \(\phi:A\to B\), the HNN extension is
\[
\langle G,t \mid t^{-1} a t=\phi(a)\text{ for all }a\in A\rangle,
\]
with \(t\) the stable letter [2512.10800]. Britton’s Lemma gives the normal-form control that makes the natural map \(G\to G*_{\phi}\) injective, and this injectivity is one of the central engines of Higman-type embedding arguments [2512.10800].

The 1949 Higman–Neumann–Neumann paper already supplied two foundational embedding results. One is that specified isomorphisms between subgroups can be realized by conjugation inside a larger group. Another is that any countable group embeds in a \(2\)-generator group, and if the original group has \(n\) defining relations then the \(2\)-generator overgroup can be chosen with \(n\) defining relations [2512.10800]. Higman’s 1961 theorem transformed these constructions into a characterization of recursively presented groups.

In modern expositions, the proof is usually described as an encoding of recursively enumerable relations by iterated HNN-extensions and free products with amalgamation, with Britton’s Lemma and normal forms preventing unwanted collapses [2306.16356]. This suggests that “Higman embedding” is not a single construction but a general paradigm in which recursive data are converted into finitely many generators and relations by controlled free constructions.

## 2. Benign subgroups, Higman operations, and the rope trick

A central reformulation of Higman’s theorem is in terms of benign subgroups. In the formulation used by the recent modified proof, a subgroup \(H\) of a finitely generated group \(G\) is benign in \(G\) if \(G\) embeds in a finitely presented group \(K\) having a finitely generated subgroup \(L\) with \(G\cap L=H\) [1908.10153]. This notion converts the problem of embedding recursively presented quotients into a subgroup-intersection problem inside finitely presented overgroups.

The sequence-theoretic side of the construction is built from the set \(E\) of all functions \(f:\mathbb{Z}\to\mathbb{Z}\) with finite support. Higman introduced operations
\[
\iota,\ \upsilon,\ \rho,\ \sigma,\ \tau,\ \theta,\ \zeta,\ \pi,\ \omega_m
\]
on subsets of \(E\), and a key theorem identifies recursively enumerable subsets of \(E\) with those generated from basic seeds by these operations [1908.10153]. In the free group \(F=\langle a,b,c\rangle\), one sets \(b_i=c^{-i}bc^i\), defines \(b_f=\prod_i b_i^{f(i)}\), then \(a_f=b_f^{-1}ab_f\), and finally \(A_B=\langle a_f\mid f\in B\rangle\leq F\). The central equivalence is that \(B\subseteq E\) is recursively enumerable if and only if \(A_B\) is benign in \(F\) [1908.10153].

The modified proof of Higman’s theorem shortens the original argument by replacing several homomorphism lemmas with combinatorial observations on words in HNN-extensions and free products with amalgamation [1908.10153]. The later “auxiliary-free” star construction
\[
*_{i=1}^{r}(K_i,L_i,t_i)_M
\]
packages nested HNN-extensions and amalgamated free products into a single finitely presented overgroup, and it yields general lemmas showing that finite intersections and joins of benign subgroups remain benign [2309.03030]. This is a direct generalization of a series of structures used by Higman for embeddings of recursive groups.

The final step is the “Higman rope trick.” Starting from a benign subgroup \(N\leq F\), one builds a finitely presented overgroup in which \(F*_{N}F\) embeds, and then uses an HNN-extension to eliminate infinitely many relations while preserving injectivity [2507.04347]. In this form, the theorem becomes a pipeline: recursively enumerable relations \(\rightarrow\) sequence sets \(\rightarrow\) benign subgroups \(\rightarrow\) finitely presented ambient group.

## 3. Explicit and algorithmic constructions

Recent work turns Higman’s existential theorem into an explicit algorithm. Given a recursive group \(G\), specified by effectively enumerable generators and recursively enumerable relations, one can output an explicit embedding of \(G\) into a finitely presented group, and the finitely presented target can even be chosen to be \(2\)-generator [2507.04347]. The input is a recursive presentation \(G=\langle X\mid R\rangle\); the output is a finitely presented group \(H\) together with an explicit embedding \(\phi:G\hookrightarrow H\).

The construction begins with “universal words,” embedding \(G\) into a \(2\)-generator recursive group \(T_G=\langle x,y\mid R'\rangle\). It then rewrites each relator \(w'(x,y)\in R'\) as an alternating product of powers of \(x\) and \(y\), thereby encoding it by an integer sequence \(f\in E\) and forming a recursively enumerable set \(\mathcal{X}\subseteq E\) [2507.04347]. From \(\mathcal{X}\), the construction builds the subgroup
\[
A_{\mathcal{X}}=\langle a_f\mid f\in\mathcal{X}\rangle\leq \langle a,b,c\rangle,
\]
and explicitly constructs finitely presented overgroups \(K_{\mathcal{X}}\) and finitely generated subgroups \(L_{\mathcal{X}}\) satisfying \(F\cap L_{\mathcal{X}}=A_{\mathcal{X}}\) [2507.04347].

A notable feature of this algorithmic version is that it makes each Higman operation explicit. Free products with amalgamation, HNN-extensions, and the star construction are given as concrete steps after every operation in
\[
H=\{\iota,\upsilon,\rho,\sigma,\tau,\theta,\zeta,\pi,\omega_m\},
\]
so the entire construction remains inside explicitly written finitely presented groups [2507.04347]. The final finitely presented target \(\mathcal{G}\) has \(m+24\) generators and \(n+6m+k+131\) defining relations, where \(m\) is the number of generators of \(K_{\mathcal{X}}\), \(n\) is the number of defining relations of \(K_{\mathcal{X}}\), and \(k\) is the number of generators of \(L_{\mathcal{X}}\) [2507.04347].

The additive group of rationals is a canonical worked example. It has the recursive presentation
\[
\mathbb{Q}=\langle a_1,a_2,\ldots \mid a_k^k=a_{k-1},\ k=2,3,\ldots\rangle,
\]
and the explicit algorithm constructs both a finitely presented group \(\mathcal{Q}\) with \(\mathbb{Q}\hookrightarrow \mathcal{Q}\) and a \(2\)-generator finitely presented group \(T_{\mathcal{Q}}\) with \(\mathbb{Q}\hookrightarrow T_{\mathcal{Q}}\) [2507.04347]. Closely related work on Higman operations emphasizes that this explicit sequence machinery is particularly effective for free abelian, metabelian, soluble, nilpotent, divisible abelian, quasicyclic, and rational additive groups [2002.09728, 2308.10532].

## 4. Geometric and subgroup-structural refinements

A major modern development is that Higman embeddings can be refined to preserve substantial geometric and subgroup-theoretic structure. One refinement proves that for any finitely generated recursively presented group \(R\), there exists a finitely presented group \(H\) and a malnormal embedding \(\iota:R\hookrightarrow H\) [2404.00841]. Stronger versions show that \(\iota(R)\) can be chosen to be a CEP-subgroup and that the restriction of the word-length on \(H\) to \(\iota(R)\) is equivalent to the word-length on \(R\); in the paper’s terminology, there exist constants \(c_1,c_2>0\) such that
\[
c_1|r|_R\leq |\iota(r)|_H\leq c_2|r|_R
\]
for all \(r\in R\) [2404.00841]. If \(R\) has decidable Word Problem, then \(H\) can be chosen with decidable Word Problem as well, yielding a refinement of a theorem of Clapham [2404.00841].

A second line of refinement links Higman embeddings to Dehn functions and the complexity of the Word Problem. If a finitely generated group has a presentation whose relators can be enumerated by a computational model satisfying certain technical requirements, then the group embeds quasi-isometrically into a finitely presented group whose Dehn function is bounded above by a function of the model’s computational complexity and the Dehn function of the original presentation [2509.17841]. In the main theorem of the paper’s introduction, if \(\tau_{\mathcal{T}}\preceq f\) for a multi-tape nondeterministic Turing machine enumerating the identity words and \(f\) is superadditive, then for any \(\varepsilon>0\) there exists a quasi-isometric embedding into a finitely presented group \(H_\varepsilon\) such that
\[
\delta_{H_\varepsilon}(n)\preceq n^4+f(n)^{2+\varepsilon}.
\]
This improves the BORS bound and strengthens the embedding to a quasi-isometric one [2509.17841].

These refinements shift the subject from pure existence to controlled existence. A plausible implication is that the modern theory of Higman embeddings now sits at the intersection of recursion theory, geometric group theory, and subgroup separability phenomena, rather than being only an existence theorem about finite presentations.

## 5. Boone–Higman descendants and simple targets

The Boone–Higman conjecture replaces “finitely presented” by “finitely presented simple.” In the formulation used by the modern survey literature, a finitely generated group \(G\) has solvable word problem if and only if it embeds as a subgroup of some finitely presented simple group [2306.16356]. The easy direction is known: if \(G\) embeds into a finitely presented simple group, then \(G\) has solvable word problem [2306.16356].

A large part of current research studies Boone–Higman-type embeddings for specific classes. Every hyperbolic group embeds as a subgroup of a finitely presented simple group, proved by embedding hyperbolic groups into full, contracting rational similarity groups and then into finitely presented simple twisted Brin–Thompson groups [2309.06224]. Every contracting self-similar group embeds into a finitely presented simple group through the chain
\[
G\hookrightarrow V_G\hookrightarrow SV_H,
\]
where \(V_G\) is the Röver–Nekrashevych group and \(SV_H\) is a twisted Brin–Thompson group [2405.10234].

The left-orderable setting gives a different refinement. Every countable left-ordered group embeds into a finitely generated left-ordered simple group, the embedding can be chosen to be a Frattini embedding, and if the source group is finitely generated the embedding is isometric [2005.06183]. Moreover, if the original order is computable, then the target group can be chosen to be computably left-ordered as well [2005.06183].

Recent results also place \(\mathrm{Aut}(F_n)\) and several related families inside the Boone–Higman framework. For each \(n\), \(\mathrm{Aut}(F_n)\) embeds in a finitely presented simple group, in fact in a twisted Brin–Thompson group \(SV_\Gamma\), so \(\mathrm{Aut}(F_n)\) satisfies the Boone–Higman conjecture and its “permutational” variant [2503.21882]. As consequences, the same holds for many groups that embed or virtually embed into some \(\mathrm{Aut}(F_n)\), including mapping class groups of non-closed surfaces, braid groups, loop braid groups, ribbon braid groups, and certain Artin groups [2503.21882]. The same paper proves that finitely presented twisted Brin–Thompson groups are universal among finitely presented simple highly transitive groups [2503.21882].

Taken together, these results show that Boone–Higman embeddings are no longer limited to a few classical containers. Hyperbolic groups, contracting self-similar groups, left-orderable groups, and automorphism groups of free groups now admit highly structured simple overgroups with additional control such as high transitivity, left-orderability, Frattini behavior, or isometry.

## 6. Variants, limits, and adjacent embedding theories

One specialized variant places Higman’s theorem inside the Burnside variety \(\mathcal{B}_n\). For all sufficiently large odd integers \(n\), a finitely generated group \(G\) from \(\mathcal{B}_n\) has a presentation \(G=\langle A\mid R\rangle\) with a finite set of generators \(A\) and a recursively enumerable set \(R\) of defining relations if and only if it is a subgroup of a group \(H\) finitely presented in the variety \(\mathcal{B}_n\) [1909.10113]. The same work deduces a universal \(2\)-generated finitely presented in \(\mathcal{B}_n\) group and a \(2\)-generated finitely presented in \(\mathcal{B}_n\) group with undecidable word problem [1909.10113].

A sharp limitation appears in metric approximation theory. Higman’s group
\[
H=\langle a,b,c,d\mid a^{-1}ba=b^2,\ b^{-1}cb=c^2,\ c^{-1}dc=d^2,\ d^{-1}ad=a^2\rangle
\]
does not have the \(F_c\)-approximation property, equivalently it does not embed into any metric ultraproduct of finite groups equipped with commutator-contractive invariant length functions [1005.0823]. The obstruction is quantitative: approximate Higman relations in such finite metric groups force the generator lengths to collapse below \(4\varepsilon\) when \(\varepsilon<1/64\) [1005.0823]. The result excludes only the restrictive class \(F_c\), so it does not resolve whether Higman’s group is sofic or hyperlinear [1005.0823].

The term “Higman embeddings” also occurs in nearby but distinct settings involving Higman–Thompson groups. All Higman–Thompson groups \(G_{k,1}\) embed into one another, extending the embeddings given by Higman in 1974 [1902.09414]. In a different algebraic direction, the Higman–Thompson group of an unfolding tree \(HT(T(E,R))\) embeds into the unitary group \(U(L_K(E,R))\) of the rooted Leavitt path algebra via
\[
i([\phi])=\sum_{b\in B} e_{\phi(b)}e_b^*,
\]
and over \(\mathbb{Z}\) this yields that any \(*\)-isomorphism of rooted Leavitt path algebras induces an isomorphism of the associated Higman–Thompson groups [2504.01363].

These variants clarify the scope of the subject. In its strict classical sense, a Higman embedding is an embedding of a recursively presented group into a finitely presented group. In broader modern usage, it includes controlled embeddings into finitely presented simple groups, explicit algorithmic constructions, embeddings inside restricted varieties, and negative results that delimit which ambient approximation classes are unavailable.

Source: https://www.emergentmind.com/topics/higman-embeddings