Category:Inverse Semigroups

From ProofWiki
Jump to navigation Jump to search

This category contains results about Inverse Semigroups.
Definitions specific to this category can be found in Definitions/Inverse Semigroups.

An inverse semigroup is a semigroup $\struct {S, \circ}$ such that:

$\forall a \in S: \exists! b \in S: a = a \circ b \circ a, b = b \circ a \circ b$

This category currently contains no pages or media.