MaBloWriMo 27: From subgroups to equivalence relations

Again, let $latex G$ be a group and $latex H$ a subgroup of $latex G$. Then we can define a binary relation on elements of $latex G$, called $latex \sim_H$, as follows: $latex x \sim_H y$ if and on…