# regular semigroup

Let $S$ be a semigroup.

$x\in S$ is regular if there is a $y\in S$ such that $x=xyx$.
$y\in S$ is an inverse (or a relative inverse) for $x$ if $x=xyx$ and $y=yxy$.

## 1 Regular semigroups

$S$ is a regular semigroup if all its elements are regular. The phrase ’von Neumann regular’ is sometimes used, after the definition for rings.

In a regular semigroup, every principal ideal is generated by an idempotent.

Every regular element has at least one inverse. To show this, suppose $a\in S$ is regular, so that $a=aba$ for some $b\in S$. Put $c=bab$. Then

 $a=aba=(aba)ba=a(bab)a=aca$

and

 $c=bab=b(aba)b=(bab)ab=cab=c(aba)b=ca(bab)=cac,$

so $c$ is an inverse of $a$.

## 2 Inverse semigroups

$S$ is an inverse semigroup if for all $x\in S$ there is a unique $y\in S$ such that $x=xyx$ and $y=yxy$.

In an inverse semigroup every principal ideal is generated by a unique idempotent.

In an inverse semigroup the set of idempotents is a subsemigroup, in particular a commutative band (http://planetmath.org/ASemilatticeIsACommutativeBand).

The bicyclic semigroup is an example of an inverse semigroup. The symmetric inverse semigroup (on some set $X$) is another example. Of course, every group is also an inverse semigroup.

## 3 Motivation

Both of these notions generalise the definition of a group. In particular, a regular semigroup with one idempotent is a group: as such, many interesting subclasses of regular semigroups arise from putting conditions on the idempotents. Apart from inverse semigroups, there are orthodox semigroups where the set of idempotents is a subsemigroup, and Clifford semigroups where the idempotents are central.

$S$ is called eventually regular (or $\pi$-regular) if a power of every element is regular.
$S$ is called group-bound (or strongly $\pi$-regular, or an epigroup) if a power of every element is in a subgroup of $S$.
$S$ is called completely regular if every element is in a subgroup of $S$.
 Title regular semigroup Canonical name RegularSemigroup Date of creation 2013-03-22 14:23:17 Last modified on 2013-03-22 14:23:17 Owner yark (2760) Last modified by yark (2760) Numerical id 25 Author yark (2760) Entry type Definition Classification msc 20M17 Classification msc 20M18 Related topic ACharacterizationOfGroups Defines regular Defines $\pi$-regular Defines eventually regular Defines strongly $\pi$-regular Defines group-bound Defines inverse semigroup Defines Clifford semigroup Defines orthodox semigroup Defines completely regular Defines epigroup Defines regular element Defines inverse Defines relative inverse