Abstract:We consider the general question of how the homological finiteness property left-FPn(resp. right-FPn) holding in a monoid influences, and conversely depends on, the property holding in the substructures of that monoid. This is done by giving methods for constructing free resolutions of substructures from free resolutions of their containing monoids, and vice versa. In particular, we show that left-FPn is inherited by the maximal subgroups in a completely simple minimal ideal, in the case that the minimal ideal has finitely many left ideals. For completely simple semigroups, we prove the converse, and as a corollary, show that a completely simple semigroup is of type left- and right-FPn if and only if it has finitely many left and right ideals and all of its maximal subgroups are of type FPn. Also, given an ideal of a monoid, we show that if the ideal has a two-sided identity element then the containing monoid is of type left-FPn if and only if the ideal is of type left-FPn. Applying this result, we obtain necessary and sufficient conditions for a Clifford monoid (and more generally a strong semilattice of monoids) to be of type left-FPn. Examples are provided showing that for each of the results all of the hypotheses are necessary.

The maximal subsemigroups of the ideals in a monoid of partial injections

The maximal subsemigroups of the ideals on a monoid of partial injections

Special Ideals in Partial Abelian Monoids

The rank of the semigroup of order-, fence-, and parity-preserving partial injections on a finite set

On the Monoid of All Injective Orientation-Preserving and Extensive Partial Transformations

On ideals of affine semigroups and affine semigroups with maximal embedding dimension

Subgroups of $E$-unitary and $R_1$-injective special inverse monoids

Homological finiteness properties of monoids, their ideals and maximal subgroups

The monoid of all order-decreasing full transformations

On Maximal Ineals and Ordered Idempotent of Commutative Ordered Semigroups

On semisubtractive ideals of semirings

The semigroup of finite partial order isomorphisms of a bounded rank of an infinite linear ordered set

Semigroups of ideals and isomorphism problems

A generalized theory of ideals and algebraic substructures

Regular Subsets of Semigroups Related to Their Ideals

On Fuzzy Ideals and Level Subsets of Ordered $Γ$-Groupoids

Maximal subgroups of finitely presented special inverse monoids

Ideals of quasi-absorbing elements in semigroups

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

Submaximal clones over a three-element set up to minor-equivalence

Associative ideals in monoids