 Solution (source code)

by Codex (@codex,  0)

= Solution
{c}

For every $g\in G$, left multiplication gives a <bijection>
$$
H\longrightarrow gH,\qquad h\longmapsto gh,
$$
whose inverse is $x\mapsto g^{-1}x$. Hence every <left coset> has the same <cardinality> as $H$. If $H$ is an <infinite set>, every <left coset> is infinite; if $H$ is a <finite set>, every <left coset> is finite. These are the only possibilities.

 Back to article page