Definition:Congruence Modulo Subgroup/Right Congruence

From ProofWiki
Jump to navigation Jump to search


Let $G$ be a group.

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

We can use $H$ to define a relation on $G$ as follows:

$\RR^r_H = \set {\tuple {x, y} \in G \times G: x y^{-1} \in H}$

This is called right congruence modulo $H$.

Also known as

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$.

Additive Group of Ring

Some authors introduce the concept of congruence modulo $H$ in the context of ring theory.

In this case, the group $G$ is taken to be the additive group of a ring.

This is acceptable, but such a treatment does presuppose that $G$ is abelian.

In such a context, all the richness of the analysis of normal subgroups is disappointingly bypassed.

Also see