Inverse Completion of Integral Domain Exists

Theorem
Let $\struct {D, +, \circ}$ be an integral domain whose zero is $0_D$ and whose unity is $1_D$.

Then an inverse completion of $\struct {D, \circ}$ can be constructed.

Proof
From the definition of an integral domain:
 * All elements of $D^* = D \setminus \set {0_D}$ are cancellable
 * $\struct {D^*, \circ}$ is a commutative semigroup.

So by the Inverse Completion Theorem, there exists an inverse completion of $\struct {D, \circ}$.

From Construction of Inverse Completion, this is done as follows:

Let $\ominus$ be the congruence relation defined on $D \times D^*$ by:


 * $\tuple {x_1, y_1} \ominus \tuple {x_2, y_2} \iff x_1 \circ y_2 = x_2 \circ y_1$

The fact that this is a congruence relation is proved in Equivalence Relation on Semigroup Product with Cancellable Elements.

Let $\struct {D \times D^*, \otimes}$ be the external direct product of $\struct {D, \circ}$ with $\struct {D^*, \circ}$, where $\otimes$ is the operation on $D \times D^*$ induced by $\circ$.

Let the quotient structure defined by $\ominus$ be $\struct {\dfrac {D \times D^*} \ominus, \otimes_\ominus}$.

where $\otimes_\ominus$ is the operation induced on $\dfrac {D \times D^*} \ominus$ by $\otimes$.

Let us use $D'$ to denote the quotient set $\dfrac {D \times D^*} {\ominus}$.

Let us use $\circ'$ to denote the operation $\otimes_\ominus$.

Thus $\struct {D', \circ'}$ is the inverse completion of $\struct {D, \circ}$.

An element of $D'$ is therefore an equivalence class of the congruence relation $\ominus$.

As the Inverse Completion is Unique up to isomorphism, it follows that we can define the structure $\struct {K, \circ}$ which is isomorphic to $\struct {D', \circ'}$.

An element of $D'$ is therefore an equivalence class of the congruence relation $\ominus$.

So an element of $K$ is the isomorphic image of an element $\eqclass {\paren {x, y} } \ominus$ of $\dfrac {D \times D^*} \ominus$.

Hence every element of $\struct {K, \circ}$ is of the form $x \circ y^{-1}$, where $x \in D$ and $y \in D^*$.

Alternatively, from the definition of division product, of the form $\dfrac x y$.

Hence we can therefore interpret any element of $\struct {K, \circ}$ as equivalence classes of elements of the form $\dfrac x y$.