Free, open-source online mathematics for students, teachers and workers

For each $x\in X$, the correspondence $g(x)\longrightarrow gG_x$ is a bijection between $G(x)$ and the set of left cosets of $G_x$ in $G$