In mathematics, a completely regular semigroup is a

semigroup In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it. The binary operation of a semigroup is most often denoted multiplicatively: ''x''·''y'', or simply ''xy'', ...

in which every element is in some

subgroup In group theory, a branch of mathematics, given a group ''G'' under a binary operation ∗, a subset ''H'' of ''G'' is called a subgroup of ''G'' if ''H'' also forms a group under the operation ∗. More precisely, ''H'' is a subgroup ...

of the semigroup. The class of completely regular semigroups forms an important subclass of the class of

regular semigroup In mathematics, a regular semigroup is a semigroup ''S'' in which every element is regular, i.e., for each element ''a'' in ''S'' there exists an element ''x'' in ''S'' such that . Regular semigroups are one of the most-studied classes of semigroup ...

s, the class of

inverse semigroup In group (mathematics), group theory, an inverse semigroup (occasionally called an inversion semigroup) ''S'' is a semigroup in which every element ''x'' in ''S'' has a unique ''inverse'' ''y'' in ''S'' in the sense that ''x = xyx'' and ''y = yxy'', ...

s being another such subclass. Alfred H. Clifford was the first to publish a major paper on completely regular semigroups though he used the terminology "semigroups admitting relative inverses" to refer to such semigroups. The name "completely regular semigroup" stems from Lyapin's book on semigroups. In the Russian literature, completely regular semigroups are often called "Clifford semigroups". In the English literature, the name " Clifford semigroup" is used synonymously to "inverse Clifford semigroup", and refers to a completely regular

. In a completely regular semigroup, each

Green Green is the color between cyan and yellow on the visible spectrum. It is evoked by light which has a dominant wavelength of roughly 495570 nm. In subtractive color systems, used in painting and color printing, it is created by a combi ...

''H''-class is a

group A group is a number of persons or things that are located, gathered, or classed together. Groups of people * Cultural group, a group whose members share the same cultural identity * Ethnic group, a group whose members share the same ethnic ide ...

and the semigroup is the

union Union commonly refers to: * Trade union, an organization of workers * Union (set theory), in mathematics, a fundamental operation on sets Union may also refer to: Arts and entertainment Music * Union (band), an American rock group ** ''Un ...

of these groups. Hence completely regular semigroups are also referred to as "unions of groups".

Epigroup In abstract algebra, an epigroup is a semigroup in which every element has a power that belongs to a subgroup. Formally, for all ''x'' in a semigroup ''S'', there exists a positive integer ''n'' and a subgroup ''G'' of ''S'' such that ''x'n'' b ...

s generalize this notion and their class includes all completely regular semigroups.

Examples

"While there is an abundance of natural examples of inverse semigroups, for completely regular semigroups the examples (beyond completely simple semigroups) are mostly artificially constructed: the minimum ideal of a finite semigroup is completely simple, and the various relatively free completely regular semigroups are the other more or less natural examples." (Retrieved 5 May 2009)

References

{{Reflist Algebraic structures Semigroup theory

Examples

See also

References