Malnormal Subgroups of Finitely Presented Groups

Abstract

The following refinement of the Higman embedding theorem is proved: A finitely generated group $R$ is recursively presented if and only if there exists a quasi-isometric malnormal embedding of $R$ into a finitely presented group $H$ such that the image of the embedding enjoys the congruence extension property. Moreover, it is shown that the finitely presented group $H$ can be constructed to have decidable Word Problem if and only if the Word Problem for $R$ is decidable, yielding a refinement of a theorem of Clapham. Finally, given a countable group $G$ and a computable function $\ell:G\to\mathbb{N}$ satisfying some necessary requirements, it is proved that there exists a malnormal embedding of $G$ into a finitely presented group $H$ such that the restriction of $|\cdot|_H$ to $G$ is equivalent to $\ell$, producing a refinement of a theorem of Ol'shanskii.

Figures (23)

• Figure 2.1: Cells in van Kampen diagrams
• Figure 2.2: Cancellable cells
• Figure 2.3: Annular diagram
• Figure 7.1:
• Figure 7.2: $(\theta,q)$-annulus with defining $\theta$-band $\pazocal{T}$ and $q$-band $\pazocal{Q}$

Theorems & Definitions (302)

• Lemma 3.1: Compare to Theorem 2 of OSQ
• proof
• Lemma 3.2
• proof
• Lemma 3.3
• proof
• Lemma 3.4
• proof
• Lemma 3.5
• proof