Definition:Congruence Modulo Subgroup/Right Congruence/Also known as

Definition

Let $G$ be a group.

Let $H$ be a subgroup of $G$.

Let $\RR^r_H$ be the relation of right congruence modulo $H$ (in $G$).

When $\tuple {x, y} \in \RR^r_H$, we write:

$x \equiv^r y \pmod H$

which is read: $x$ is right congruent to $y$ modulo $H$.

Sources

• 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 42$. Another approach to cosets