Regular semigroup

Regular semigroups were introduced by J. A. Green in his influential 1951 paper "On the structure of semigroups"; this was also the paper in which Green's relations were introduced. The concept of regularity in a semigroup was adapted from an analogous condition for rings, already considered by John von Neumann.von Neumann 1936. It was Green's study of regular semigroups which led him to define his celebrated relations. According to a footnote in Green 1951, the suggestion that the notion of regularity be applied to semigroups was first made by David Rees.

The term inversive semigroup (French: demi-groupe inversif) was historically used as synonym in the papers of Gabriel Thierrin (a student of Paul Dubreil) in the 1950s,{{cite book|author=Christopher Hollings|title=Mathematics across the Iron Curtain: A History of the Algebraic Theory of Semigroups|url=https://books.google.com/books?id=O9wJBAAAQBAJ&pg=PA181|date=16 July 2014|publisher=American Mathematical Society|isbn=978-1-4704-1493-1|page=181}}{{cite web |url=http://www.csd.uwo.ca/~gab/pubr.html |title=Publications |website=www.csd.uwo.ca |url-status=dead |archive-url=https://web.archive.org/web/19991104061610/http://www.csd.uwo.ca/~gab/pubr.html |archive-date=1999-11-04}} and it is still used occasionally.{{cite book|author=Jonathan S. Golan|title=Power Algebras over Semirings: With Applications in Mathematics and Computer Science|url=https://books.google.com/books?id=_JuvyWYv7f4C&pg=PA104|year=1999|publisher=Springer Science & Business Media|isbn=978-0-7923-5834-3|page=104}}

There are two equivalent ways in which to define a regular semigroup S:

:(1) for each a in S, there is an x in S, which is called a pseudoinverse,Klip, Knauer and Mikhalev : p. 33 with axa = a;

:(2) every element a has at least one inverse b, in the sense that aba = a and bab = b.

To see the equivalence of these definitions, first suppose that S is defined by (2). Then b serves as the required x in (1). Conversely, if S is defined by (1), then xax is an inverse for a, since a(xax)a = axa(xa) = axa = a and (xax)a(xax) = x(axa)(xax) = xa(xax) = x(axa)x = xax.{{harvnb|Clifford|Preston|2010}} Lemma 1.14.

The set of inverses (in the above sense) of an element a in an arbitrary semigroup S is denoted by V(a).{{harvnb|Howie|1995}} p. 52 Thus, another way of expressing definition (2) above is to say that in a regular semigroup, V(a) is nonempty, for every a in S. The product of any element a with any b in V(a) is always idempotent: abab = ab, since aba = a.{{harvnb|Clifford|Preston|2010}} p. 26

• Every group is a regular semigroup.
• Every band (idempotent semigroup) is regular in the sense of this article, though this is not what is meant by a regular band.
• The bicyclic semigroup is regular.
• Any full transformation semigroup is regular.
• A Rees matrix semigroup is regular.
• The homomorphic image of a regular semigroup is regular.{{harvnb|Howie|1995}} Lemma 2.4.4

A regular semigroup in which idempotents commute (with idempotents) is an inverse semigroup, or equivalently, every element has a unique inverse. To see this, let S be a regular semigroup in which idempotents commute. Then every element of S has at least one inverse. Suppose that a in S has two inverses b and c, i.e.,

:aba = a, bab = b, aca = a and cac = c. Also ab, ba, ac and ca are idempotents as above.

Then

:b = bab = b(aca)b = bac(a)b = bac(aca)b = bac(ac)(ab) = bac(ab)(ac) = ba(ca)bac = ca(ba)bac = c(aba)bac = cabac = cac = c.

So, by commuting the pairs of idempotents ab & ac and ba & ca, the inverse of a is shown to be unique. Conversely, it can be shown that any inverse semigroup is a regular semigroup in which idempotents commute.{{harvnb|Howie|1995|ps=}} Theorem 5.1.1

The existence of a unique pseudoinverse implies the existence of a unique inverse, but the opposite is not true. For example, in the symmetric inverse semigroup, the empty transformation Ø does not have a unique pseudoinverse, because Ø = ØfØ for any transformation f. The inverse of Ø is unique however, because only one f satisfies the additional constraint that f = fØf, namely f = Ø. This remark holds more generally in any semigroup with zero. Furthermore, if every element has a unique pseudoinverse, then the semigroup is a group, and the unique pseudoinverse of an element coincides with the group inverse.

Recall that the principal ideals of a semigroup S are defined in terms of S¹, the semigroup with identity adjoined; this is to ensure that an element a belongs to the principal right, left and two-sided ideals which it generates. In a regular semigroup S, however, an element a = axa automatically belongs to these ideals, without recourse to adjoining an identity. Green's relations can therefore be redefined for regular semigroups as follows:

:$a\backslash ,\backslash mathcal\{L\}\backslash ,b$ if, and only if, Sa = Sb;

:$a\backslash ,\backslash mathcal\{R\}\backslash ,b$ if, and only if, aS = bS;

:$a\backslash ,\backslash mathcal\{J\}\backslash ,b$ if, and only if, SaS = SbS.{{harvnb|Howie|1995}} p. 55

In a regular semigroup S, every $\backslash mathcal\{L\}$- and $\backslash mathcal\{R\}$-class contains at least one idempotent. If a is any element of S and {{prime|a}} is any inverse for a, then a is $\backslash mathcal\{L\}$-related to {{prime|a}}a and $\backslash mathcal\{R\}$-related to a{{prime|a}}.{{harvnb|Clifford|Preston|2010}} Lemma 1.13

Theorem. Let S be a regular semigroup; let a and b be elements of S, and let V(x) denote the set of inverses of x in S. Then

• $a\backslash ,\backslash mathcal\{L\}\backslash ,b$ iff there exist {{prime|a}} in V(a) and {{prime|b}} in V(b) such that {{prime|a}}a = {{prime|b}}b;
• $a\backslash ,\backslash mathcal\{R\}\backslash ,b$ iff there exist {{prime|a}} in V(a) and {{prime|b}} in V(b) such that a{{prime|a}} = b{{prime|b}},
• $a\backslash ,\backslash mathcal\{H\}\backslash ,b$ iff there exist {{prime|a}} in V(a) and {{prime|b}} in V(b) such that {{prime|a}}a = {{prime|b}}b and a{{prime|a}} = b{{prime|b}}.{{harvnb|Howie|1995}} Proposition 2.4.1

If S is an inverse semigroup, then the idempotent in each $\backslash mathcal\{L\}$- and $\backslash mathcal\{R\}$-class is unique.

Some special classes of regular semigroups are:{{harvnb|Howie|1995}} ch. 6, § 2.4

• Locally inverse semigroups: a regular semigroup S is locally inverse if eSe is an inverse semigroup, for each idempotent e.
• Orthodox semigroups: a regular semigroup S is orthodox if its subset of idempotents forms a subsemigroup.
• Generalised inverse semigroups: a regular semigroup S is called a generalised inverse semigroup if its idempotents form a normal band, i.e., {{nowrap|1=xyzx = xzyx}} for all idempotents x, y, z.

The class of generalised inverse semigroups is the intersection of the class of locally inverse semigroups and the class of orthodox semigroups.{{harvnb|Howie|1995}} p. 222

All inverse semigroups are orthodox and locally inverse. The converse statements do not hold.

• eventually regular semigroup
• E-dense (aka E-inversive) semigroup

• Biordered set
• Special classes of semigroups
• Nambooripad order
• Generalized inverse

{{reflist|2}}

• {{Cite book|last1=Clifford|first1=Alfred Hoblitzelle|url=https://books.google.com/books?id=756KAwAAQBAJ|title=The algebraic theory of semigroups|last2=Preston|first2=Gordon Bamford|publisher=American Mathematical Society|year=2010|isbn=978-0-8218-0272-4|volume=2|author-link=Alfred H. Clifford|author-link2=Gordon Preston|orig-year=1967}}
• {{Cite book|last=Howie|first=John Mackintosh|title=Fundamentals of Semigroup Theory|publisher=Clarendon Press|year=1995|isbn=978-0-19-851194-6|edition=1st|author-link=John Mackintosh Howie}}
• M. Kilp, U. Knauer, A.V. Mikhalev, Monoids, Acts and Categories with Applications to Wreath Products and Graphs, De Gruyter Expositions in Mathematics vol. 29, Walter de Gruyter, 2000, {{isbn|3-11-015248-7}}.
• {{cite journal | author=J. A. Green | title=On the structure of semigroups | journal=Annals of Mathematics |series=Second Series | year=1951 | volume=54 | pages=163–172 | doi=10.2307/1969317 | issue=1 | jstor=1969317| hdl=10338.dmlcz/100067 | hdl-access=free }}
• J. M. Howie, Semigroups, past, present and future, Proceedings of the International Conference on Algebra and Its Applications, 2002, 6–20.
• {{cite journal | author=J. von Neumann | title=On regular rings | journal=Proceedings of the National Academy of Sciences of the USA | year=1936 | volume=22 | pages=707–713 | doi=10.1073/pnas.22.12.707 | pmid=16577757 | issue=12 | pmc=1076849| bibcode=1936PNAS...22..707V | doi-access=free }}

Category:Semigroup theory

Category:Algebraic structures