Construction of Inverse Completion/Equivalence Relation/Members of Equivalence Classes

From ProofWiki
Jump to: navigation, search

Theorem

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

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


Let $\left({S \times C, \oplus}\right)$ be the external direct product of $\left({S, \circ}\right)$ and $\left({C, \circ {\restriction_C}}\right)$, where $\oplus$ is the operation on $S \times C$ induced by $\circ$ on $S$ and $\circ {\restriction_C}$ on $C$.


Let $\boxtimes$ be the cross-relation on $S \times C$, defined as:

$\left({x_1, y_1}\right) \boxtimes \left({x_2, y_2}\right) \iff x_1 \circ y_2 = x_2 \circ y_1$


Then:

$\forall x, y \in S, a, b \in C:$

$(1): \quad \left({x \circ a, a}\right) \boxtimes \left({y \circ b, b}\right) \iff x = y$
$(2): \quad \left[\!\left[{\left({x \circ a, y \circ a}\right)}\right]\!\right]_\boxtimes = \left[\!\left[{\left({x, y}\right)}\right]\!\right]_\boxtimes$

where $\left[\!\left[{\left({x, y}\right)}\right]\!\right]_\boxtimes$ is the equivalence class of $\left({x, y}\right)$ under $\boxtimes$.


Proof

From Cross-Relation is Equivalence Relation we have that $\boxtimes$ is an equivalence relation.

Hence the equivalence class of $\left({x, y}\right)$ under $\boxtimes$ is defined for all $\left({x, y}\right) \in S \times C$.


From Semigroup is Subsemigroup of Itself, $\left({S, \circ}\right)$ is a subsemigroup of $\left({S, \circ}\right)$.

Also from Semigroup is Subsemigroup of Itself, $\left({C, \circ {\restriction_C}}\right)$ is a subsemigroup of $\left({C, \circ {\restriction_C}}\right)$.

The result follows from Elements of Cross-Relation Equivalence Class.

$\blacksquare$


Sources