Cosets in Abelian Group

From ProofWiki
Jump to navigation Jump to search


Let $G$ be an abelian group.

Then every right coset modulo $H$ is a left coset modulo $H$.

That is:

$\forall x \in G: x H = H x$

In an abelian group, therefore, we can talk about congruence modulo $H$ and not worry about whether it is left or right.


\(\ds \) \(\) \(\ds \forall x, y \in G: x^{-1} y = y x^{-1}\)
\(\ds \) \(\leadsto\) \(\ds \paren {x \equiv^l y \pmod H \iff y \equiv^r x \pmod H}\) Definition of Congruence Modulo Subgroup
\(\ds \) \(\leadsto\) \(\ds \paren {x \equiv^l y \pmod H \iff x \equiv^r y \pmod H}\) Congruence Modulo Subgroup is Equivalence Relation, therefore Symmetric