Semigroup with involution: Difference between revisions

Content deleted Content added
*-regular semigroups (Drazin): \mathbb R, C -> \R, \C
m Notions of regularity: inserted missing "are"; reworded awkward sentence about Schein
Line 40:
 
== Notions of regularity ==
There are two related, but not identical notions of regularity in *-semigroups. They were introduced nearly simultaneously by Nordahl & Scheiblich (1978) and respectively Drazin (1979).<ref>Crvenkovic and Dolinka</ref>
 
=== Regular *-semigroups (Nordahl & Scheiblich) ===
As mentioned in the [[#Examples|previous examples]], [[inverse semigroup]]s are a subclass of *-semigroups. It is also textbook knowledge that an inverse semigroup can be characterized as a regular semigroup in which any two idempotents commute. In 1963, [[Boris M. Schein]] hasshowed publishedthat the following two axioms providingprovide an analogous characterization of inverse semigroups as a [[Variety (universal algebra)|subvariety]] of *-semigroups:
 
* ''x'' = ''xx''*''x''