{"id":"arxiv/2607.21727","url":"https://arxiv.org/abs/2607.21727","tags":["math.GR"],"score":0,"title":"Finiteness properties and Higman's rope trick","domain":"math.GR","source":"arxiv","authors":["Francesco Fournier-Facio","Matthew C. B. Zaremsky"],"reviews":0,"subject":"math.GR","summary":"In 1961 Higman proved that every finitely generated recursively presented group embeds into a finitely presented group. In 2018 Leary proved that every finitely generated group embeds into a group of type $FP_2$. One naturally wonders whether analogous results hold for the higher finiteness properties $F_n$ and $FP_n$ ($3 \\leq n \\leq \\infty$), i.e., whether every finitely generated recursively presented group embeds into a group of type $F_n$ and whether every finitely generated group embeds into a group of type $FP_n$. We prove that a positive answer to the $FP_n$ question that moreover…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-23","reactions":{}}