Normal Subgroup induced by Congruence Relation defines that Congruence

Theorem
Let $\struct {G, \circ}$ be a group whose identity is $e$.

Let $\RR$ be a congruence relation for $\circ$.

Let $\eqclass e \RR$ be the equivalence class of $e$ under $\RR$.

Let $N = \eqclass e \RR$ be the normal subgroup induced by $\RR$.

Then $\RR$ is the equivalence relation $\RR_N$ defined by $N$.

Proof
Let $\RR_N$ be the equivalence defined by $N$.

Then:

But from Congruence Class Modulo Subgroup is Coset:
 * $x \mathop {\RR_N} y \iff x^{-1} \circ y \in N$

Thus:
 * $\RR = \RR_N$

Also see

 * Congruence Relation induces Normal Subgroup


 * Congruence Relation on Group induces Normal Subgroup
 * Quotient Structure on Group defined by Congruence equals Quotient Group