Left Coset Space forms Partition

From ProofWiki
Jump to navigation Jump to search


Let $G$ be a group, and let $H \le G$ be a subgroup.

The left coset space of $H$ forms a partition of its group $G$, and hence:

\(\ds x \equiv^l y \pmod H\) \(\iff\) \(\ds x H = y H\)
\(\ds \neg \paren {x \equiv^l y} \pmod H\) \(\iff\) \(\ds x H \cap y H = \O\)


Follows directly from:

Left Congruence Modulo Subgroup is Equivalence Relation
Relation Partitions Set iff Equivalence


Also see