Every countable group embeds in a group of type $\mathrm{FP}_n$

Machine contribution not recorded

No AI-use declaration is available for this version in Valency.

The available record does not establish whether AI systems or models contributed to this work.