Nowhere commutative semigroup (original) (raw)

In mathematics, a nowhere commutative semigroup is a semigroup S such that, for all a and b in S, if ab = ba then a = b. A semigroup S is nowhere commutative if and only if any two elements of S are inverses of each other.