On homological finiteness properties and free inverse monoids
Abstract
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 FIM(1) to not be of type FP2. This recovers a result of Gray and Steinberg that free inverse monoids are not of type FP2. The same technique is then used to show that a finitely generated submonoid of FIM(1) is of type FP2 if and only if it is finitely presented, answering a question of Cho & Ruškuc.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.