No CrossRef data available.
Published online by Cambridge University Press: 17 April 2009
According to the Sees Theorem, every completely 0-simple semigroup can be represented by a Rees matrix semigroup over a group with zero. A characterization of all subsemigroups of the latter is given in terms of the structure group, structure sets, and two mappings. Next all congruences on such subsemigroups are described, along with conditions for comparability. Finally, an algorithm for computing the number of nonisomorphic inverse subsemigroups is constructed.