### References & Citations

# Mathematics > Group Theory

# Title: Obstruction to a Higman embedding theorem for residually finite groups with solvable word problem

(Submitted on 6 Feb 2020 (v1), last revised 17 Mar 2021 (this version, v2))

Abstract: We prove that, for a finitely generated residually finite group, having solvable word problem is not a sufficient condition to be a subgroup of a finitely presented residually finite group. The obstruction is given by a residually finite group with solvable word problem for which there is no effective method that allows, given some non-identity element, to find a morphism onto a finite group in which this element has a non-trivial image. We also prove that the depth function of this group grows faster than any recursive function.

## Submission history

From: Emmanuel Rauzy [view email]**[v1]**Thu, 6 Feb 2020 22:31:37 GMT (7kb)

**[v2]**Wed, 17 Mar 2021 21:02:52 GMT (9kb)

Link back to: arXiv, form interface, contact.