Congruence Class Modulo Subgroup is Coset

Theorem
Let $$G$$ be a group, and let $$H \le G$$.

Left Congruence Class
Let $$\mathcal{R}^l_H$$ be the equivalence defined as left congruence modulo $H$.

The equivalence class $$\left[\!\left[{g}\right]\!\right]_{\mathcal{R}^l_H}$$ of an element $$g \in G$$ is the left coset $$g H$$.

This is known as the left congruence class of $$g \, \bmod \, H$$.

Consequently, the left coset space forms a partition of its group, and hence:


 * $$x \equiv^l y \left({\bmod \, H}\right) \iff x H = y H$$
 * $$x \not \equiv^l y \left({\bmod \, H}\right) \iff x H \cap y H = \varnothing$$.

Right Congruence Class
Similarly, let $$\mathcal{R}^r_H$$ be the equivalence defined as right congruence modulo $H$.

The equivalence class $$\left[\!\left[{g}\right]\!\right]_{\mathcal{R}^r_H}$$ of an element $$g \in G$$ is the right coset $$H g$$.

This is known as the right congruence class of $$g \, \bmod \, H$$.

Coset Spaces form Partition
Consequently, the right coset space forms a partition of its group.


 * $$x \equiv^r y \left({\bmod \, H}\right) \iff H x = H y$$
 * $$x \not \equiv^r y \left({\bmod \, H}\right) \iff H x \cap H y = \varnothing$$.

Left Congruence Class

 * Let $$x \in \left[\!\left[{g}\right]\!\right]_{\mathcal{R}^l_H}$$.


 * Now let $$x \in g H$$.

Thus $$\left[\!\left[{g}\right]\!\right]_{\mathcal{R}^l_H} = g H$$, that is, the equivalence class $$\left[\!\left[{g}\right]\!\right]_{\mathcal{R}^l_H}$$ of an element $$g \in G$$ equals the left coset $$g H$$.

Right Congruence Class
The proof for this follows the same structure as the proof for the Left Congruence Class.