{"id":"arxiv/2606.23600","url":"https://arxiv.org/abs/2606.23600","tags":["math.GR"],"score":0,"title":"Virtual Surjection and the $n$-$(n+1)$-$(n+2)$ Theorem for Profinite Groups","domain":"math.GR","source":"arxiv","authors":["Tal Cohen","Mark Shusterman"],"reviews":0,"subject":"math.GR","summary":"We prove the Virtual Surjection Conjecture for profinite groups. Namely, given a product of $n$ profinite $\\mathrm{FP}_{k}$ groups, a subgroup that virtually surjects onto $k$-tuples must be $\\mathrm{FP}_{k}$ as well. We also prove the $n$-$(n+1)$-$(n+2)$ Conjecture for profinite groups, as well as a few other $\\mathrm{FP}_{n}$ permanence results for fibre products. Our main tool is a numerical criterion for property $\\mathrm{FP}_{n}$ of modules of profinite groups. Our work suggests a new finiteness property to investigate.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-22","reactions":{}}