Abstract:We show how topological methods developed in a previous article can be applied to prove new results about topological and homological finiteness properties of monoids. A monoid presentation is called special if the right-hand side of each relation is equal to $1$. We prove results which relate the finiteness properties of a monoid defined by a special presentation with those of its group of units. Specifically we show that the monoid inherits the finiteness properties $F_n$ and $FP_n$ from its group of units. We also obtain results which relate the geometric and cohomological dimensions of such a monoid to those of its group of units. We apply these results to prove a Lyndon's Identity Theorem for one-relator monoids of the form $\langle A \mid r=1 \rangle$. In particular we show that all such monoids are of type $F_{\infty}$ (and $FP_{\infty}$), and that when $r$ is not a proper power, then the monoid has geometric and cohomological dimension at most $2$. The first of these results resolves an important case of a question of Kobayashi from 2000 on homological finiteness properties of one-relator monoids. We also show how our topological approach can be used to prove results about the closure properties of various homological and topological finiteness properties for amalgamated free products and HNN-extensions of monoids. To prove these results we introduce new methods for constructing equivariant classifying spaces for monoids, as well as developing a Bass-Serre theory for free constructions of monoids.

On finitely generated submonoids of virtually free groups

On the rational subsets of the monogenic free inverse monoid

Geodesic languages for rational subsets and conjugates in virtually free groups

Almost fine gradings on algebras and classification of gradings up to isomorphism

Bounded Generation of Submonoids of Heisenberg Groups

On weak equivalences of gradings

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Is decidability of the Submonoid Membership Problem closed under finite extensions?

Membership problems in nilpotent groups

The subgroup membership problem in amalgamated products of finitely generated free groups

On subgroup separability of free-by-cyclic and deficiency 1 groups

Undecidability of the submonoid membership problem for a sufficiently large finite direct power of the Heisenberg group

Submonoid Membership in n-dimensional lamplighter groups and S-unit equations

Free submonoids of hyperbolic monoids

Free-abelian by free groups: homomorphisms and algorithmic explorations

Topological finiteness properties of monoids. Part 2: special monoids, one-relator monoids, amalgamated free products, and HNN extensions

Semigroup algorithmic problems in metabelian groups

A Graded Schur Lemma and a graded-monoidal structure for induced modules over graded-commutative algebras

On subgroups with narrow Schreier graphs

Group gradings on finite-dimensional incidence algebras. II

Group gradings on triangularizable algebras