Regular element in a semigroup

From Groupprops
Jump to: navigation, search

Definition

Let S be a semigroup, i.e., a set with an associative binary operation. An element a \in S is termed a regular element of S if it satisfies the following equivalent conditions:

A semigroup where every element is regular is termed a regular semigroup, and a semigroup where every element has a unique inverse element in the above sense is termed an inverse semigroup.