A congruence-free semigroup associated with an infinite cardinal number

Abstract

SynopsisLet X be a set with infinite cardinality m and let Qm be the semigroupof balanced elements in ℐ(X), as described by Howie. If I is the ideal{αεQm:|Xα|<m} then the Rees factor Pm = Qm/I is O-bisimple and idempotent-generated. Its minimum non-trivial homomorphic image has both these properties and is congruence-free. Moreover, has depth 4, in the sense that [E()]4 = , [E()]3≠