Orthodox semigroup

In mathematics, an orthodox semigroup is a regular semigroup whose set of idempotents forms a subsemigroup. In more recent terminology, an orthodox semigroup is a regular E-semigroup.[1] The term orthodox semigroup was coined by T. E. Hall and presented in a paper published in 1969.[2][3] Certain special classes of orthodox semigroups had been studied earlier. For example, semigroups that are also unions of groups, in which the sets of idempotents form subsemigroups were studied by P. H. H. Fantham in 1960.[4]

Examples
         a    b    c    x  
  a  a  b  c  x
  b  b  b  b  b
  c  c  c  c  c
  x  x  c  b  a
Then S is an orthodox semigroup under this operation, the subsemigroup of idempotents being { a, b, c }.[5]

Some elementary properties

The set of idempotents in an orthodox semigroup has several interesting properties. Let S be a regular semigroup and for any a in S let V(a) denote the set of inverses of a. Then the following are equivalent:[5]

  • S is orthodox.
  • If a and b are in S and if x is in V(a) and y is in V(b) then yx is in V(ab).
  • If e is an idempotent in S then every inverse of e is also an idempotent.
  • For every a, b in S, if V(a) ∩ V(b) ≠ ∅ then V(a) = V(b).

Structure

The structure of orthodox semigroups have been determined in terms of bands and inverse semigroups. The Hall–Yamada pullback theorem describes this construction. The construction requires the concepts of pullbacks (in the category of semigroups) and Nambooripad representation of a fundamental regular semigroup.[6]

gollark: I consider light a physical thing though. You can measure it, it directly impacts physical objects, sort of thing.
gollark: To the extent that things like countries do without physically existing, sure.
gollark: They're *caused by* things in reality, as far as I know they don't actually... have some sort of physical existence outside of being stored/processed in people's brains and computers/paper/other storage.
gollark: > Something, such as a thought or conception, that is the product of mental activity.> An opinion, conviction, or principle.> A plan, purpose, or goal.This is a fairly okay definition I suppose.
gollark: Utility probably reduces to the moral system again, ideas are... also hard to define, hmmmm.

See also

References
  1. J. Almeida, J.-É. Pin and P. Weil Semigroups whose idempotents form a subsemigroup updated version of Almeida, J.; Pin, J.-É.; Weil, P. (2008). "Semigroups whose idempotents form a subsemigroup". Mathematical Proceedings of the Cambridge Philosophical Society. 111 (2): 241. doi:10.1017/S0305004100075332.
  2. Hall, T. E. (1969). "On regular semigroups whose idempotents form a subsemigroup". Bulletin of Australian Mathematical Society. 1: 195–208. doi:10.1017/s0004972700041447.
  3. A.H. Clifford, K.H. Hofmann, M.W. Mislove (editors) (1996). Semigroup Theory and Its Applications: Proceedings of the 1994 Conference Commemorating the Work of Alfred H. Clifford. Cambridge University Press. p. 70. ISBN 9780521576697.CS1 maint: multiple names: authors list (link) CS1 maint: extra text: authors list (link)
  4. P.H.H. Fantham (1960). "On the Classification of a Certain Type of Semigroup". Proceedings of the London Mathematical Society. 1: 409–427. doi:10.1112/plms/s3-10.1.409.
  5. J.M. Howie (1976). An introduction to semigroup theory. London: Academic Press. pp. 186–211.
  6. P.A. Grillet. Semigroups: An introduction to structure theory. New York: Marcel Dekker, Inc. p. 341.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.