{"id":"arxiv/2606.30434","url":"https://arxiv.org/abs/2606.30434","tags":["math.GR","math.RA"],"score":0,"title":"On homological finiteness properties and free inverse monoids","domain":"math.GR","source":"arxiv","authors":["Carl-Fredrik Nyberg-Brodda"],"reviews":0,"subject":"math.GR","summary":"We construct a simple and useful sufficient condition, based on actions on a lattice of idempotents, for monoids admitting homomorphisms to the monogenic free inverse monoid $\\mathrm{FIM}(1)$ to not be of type $\\mathrm{FP}_2$. This recovers a result of Gray and Steinberg that free inverse monoids are not of type $\\mathrm{FP}_2$. The same technique is then used to show that a finitely generated submonoid of $\\mathrm{FIM}(1)$ is of type $\\mathrm{FP}_2$ if and only if it is finitely presented, answering a question of Cho & Ruškuc.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-29","reactions":{}}