Jump to content

E-semigroup

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by David Eppstein (talk | contribs) at 01:19, 20 December 2015 (Semigroup Forum). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In the area of mathematics known as semigroup theory, an E-semigroup is a semigroup in which the idempotents form a subsemigroup.[1]

Certain classes of E-semigroups have been studied long before the more general class, in particular, a regular semigroup that is also an E-semigroup is known as an orthodox semigroup.

Weipoltshammer proved that the notion of weak inverse (the existence of which is one way to define E-inversive semigroups) can also be used to define/characterize E-semigroups as follows: a semigroup S is an E-semigroup if and only if, for all a and bS, W(ab) = W(b)W(a), where W(x) ≝ {xS | xax = x} is the set of weak inverses of x.[1]

References

  1. ^ a b Weipoltshammer, B. (2002). "Certain congruences on E-inversive E-semigroups". Semigroup Forum. 65 (2): 233. doi:10.1007/s002330010131.