Definition:Congruence Modulo Subgroup/Right Congruence

Definition
Let $G$ be a group, and let $H$ be a subgroup of $G$. Then we can use $H$ to define a relation on $G$:


 * $\mathcal R^r_H = \left\{{\left({x, y}\right) \in G \times G: x y^{-1} \in H}\right\}$

When $\left({x, y}\right) \in \mathcal R^r_H$, we write $x \equiv^r y \pmod H$.

This is called right congruence modulo $H$.

Right congruence modulo $H$ is an equivalence relation.

Alternative Treatment
Some authors introduce this concept in the context of ring theory, in which the group $G$ is taken to be the additive group of a ring. This is acceptable, but such a treatment does presuppose that the group in question is abelian. Thus all the richness of the analysis of normal subgroups is disappointingly bypassed.

Also see

 * Left Congruence Modulo Subgroup


 * Right Coset
 * Right Coset Space


 * Equivalent Statements for Congruence Modulo Subgroup