A functional treatment of right invariant right holoids (Q1823966)

A right invariant right holoid is defined as a left cancellative semigroup (H,\(\cdot)\) such that the relation: \(a\leq b\) iff \(b=ac\) for some \(c\in H\), is a compatible total order on H. Factor systems occurring in homological algebra are used to prove a structure theorem for such semigroups H having only a finite number of convex subsemigroups. Roughly speaking it says that - under some weak additional assumptions - H can be embedded into a direct product of finitely many semigroups \(H_ i\) endowed with a particular multiplication which depends on certain factor systems for H. The \(H_ i\) are defined recursively by means of factor semigroups given by congruences of the type: \(a\rho\) b iff \(a=bs\) or \(b=as\) for some s in a certain maximal convex subsemigroup.