Homological finiteness properties of monoids, their ideals and maximal subgroups. (Q649868): Difference between revisions

If \(S\) is a monoid and \(\mathbb ZS\) the monoid ring over the integers \(\mathbb Z\), then \(S\) is of type left-\(\text{FP}_n\), \(n\geqslant 0\), if there is a resolution \(A_n\to A_{n-1}\to\cdots\to A_0\to\mathbb Z\to 0\) of the trivial left \(\mathbb ZS\)-module \(\mathbb Z\) such that \(A_n,A_{n-1},\dots,A_0\) are finitely generated free left \(\mathbb ZS\)-modules; right-\(\text{FP}_n\) is defined dually; for groups left- right-\(\text{FP}_n\) coincide. Here is investigated how properties left- (right)-\(\text{FP}_n\) are connected in sub- and superstructures of monoids. It is proved that a completely simple semigroup is left- and right-\(\text{FP}_n\) iff it has finitely many left and right ideals and all of its maximal subgroups are of type \(\text{FP}_n\); if an ideal of a monoid has two-sided identity, then the monoid is left-\(\text{FP}_n\) iff the ideal is left-\(\text{FP}_n\); necessary and sufficient conditions for a Clifford monoid to be left-\(\text{FP}_n\) are also found.