Archive:Inverse semigroup
An inverse semigroup <math>S</math> is a semigroup such that for every <math>x \in S</math> there is a unique inverse <math>y</math> such that <math>x = xyx</math> and <math>y = yxy</math>
An inverse semigroup <math>S</math> is a semigroup such that for every <math>x \in S</math> there is a unique inverse <math>y</math> such that <math>x = xyx</math> and <math>y = yxy</math>