Inverse Completion is Commutative Semigroup

From ProofWiki
Jump to navigation Jump to search


Let $\left({S, \circ}\right)$ be a commutative semigroup.

Let $\left ({C, \circ}\right) \subseteq \left({S, \circ}\right)$ be the subsemigroup of cancellable elements of $\left({S, \circ}\right)$.

Let $\left({T, \circ'}\right)$ be an inverse completion of $\left({S, \circ}\right)$.

Then $T = S \circ' C^{-1}$, and is a commutative semigroup.


From Subset Product defining Inverse Completion of Commutative Semigroup is Commutative Semigroup:

$S \circ' C^{-1}$ is a commutative semigroup.

From Structure of Inverse Completion of Commutative Semigroup:

$T = S \circ' C^{-1}$