{"id":"arxiv/2609.37562","url":"https://arxiv.org/abs/2609.37562","tags":["math.GR"],"score":0,"title":"Every countable group embeds in a group of type $\\mathrm{FP}_n$","domain":"math.GR","source":"arxiv","authors":["Laurent Bartholdi","Roman Mikhailov"],"reviews":0,"subject":"math.GR","summary":"For every integer $n\\ge2$, we prove that every countable group embeds in a group of type $\\mathrm{FP}_n$. We also construct a group of type $\\mathrm{F}_n$ containing a copy of every recursively presented group. Consequently, a finitely generated group embeds in a group of type $\\mathrm{F}_n$ if and only if it is recursively presented. This answers questions of Fournier-Facio and Zaremsky, and confirms a suggestion of Gromov. An appendix combines the construction with the controlled-filling argument in a subsequently released OpenAI preprint to prove that every countable group embeds in a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-29","reactions":{}}