Every countable group embeds in a group of type $\mathrm{FP}_n$
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.37562
curl -X POST /api/v1/records/arxiv/2609.37562/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.37562/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'