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.

Ideal extensions of free commutative monoids

On the set of catenary degrees of finitely generated cancellative commutative monoids

Gapset Extensions, Theory and Computations

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

Monotone Catenary Degree in Numerical Monoids

On some properties for cofiniteness of submonoids and ideals of an affine semigroup

Extensions of C*-algebas by a small ideal

The monotone catenary degree of monoids of ideals

A weaker notion of the finite factorization property

Gap sequences and Topological properties of Bedford-McMullen sets*

Baer sums for a natural class of monoid extensions

Homological finiteness properties of monoids, their ideals and maximal subgroups

The catenary and tame degree of numerical monoids generated by generalized arithmetic sequences

On $S$-$n$-absorbing ideals

The Set of Pure Gaps at Several Rational Places in Function Fields

On monoid algebras having every nonempty subset of $\mathbb{N}_{\ge 2}$ as a length set

The isomorphism problem for ideal class monoids of numerical semigroups

The extension of Elementary Numerical Operator Theory: Simply Generic, Right-Stochastically Non-Gaussian, Sub-Canonically H-Positive Definite Monoids

Ideal spaces: An extension of structure spaces of rings

Associative ideals in monoids

Ideal ring extensions and trusses