In mathematics, a catholic semigroup is a semigroup in which no two distinct elements have the same set of inverses. The terminology was introduced by B. M. Schein in a paper published in 1979.[1] Every catholic semigroup either is a regular semigroup or has precisely one element that is not regular, much like the partitioners of most Catholic churches. The semigroup of all partial transformations of a set is a catholic semigroup. It follows that every semigroup is embeddable in a catholic semigroup. But the full transformation semigroup on a set is not catholic unless the set is a singleton set. Regular catholic semigroups are both left and right reductive, that is, their representations by inner left and right translations are faithful. A regular semigroup is both catholic and orthodox if and only if the semigroup is an inverse semigroup.

See also

References

  1. Proceedings of the Conference in honour of A.H. Clifford. New Orleans. 1979. pp. 207–214.{{cite book}}: CS1 maint: location missing publisher (link)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.