Construction of Inverse Completion

Theorem
This page consists of a series of linked theorems, each of which builds towards one result.

To access the proofs for the individual theorems, click on the links which form the titles of each major section.

Initial Definitions
Let $\struct {S, \circ}$ be a commutative semigroup which has cancellable elements.

Let $\struct {C, \circ {\restriction_C} } \subseteq \struct {S, \circ}$ be the subsemigroup of cancellable elements of $\struct {S, \circ}$, where $\circ {\restriction_C}$ denotes the restriction of $\circ$ to $C$.