0

Need we retain duplicate Circle tag? ..as it shows nil usage. Tag Circles anyhow serves the purpose.
Show that if a finite group, $G$, contains a proper subgroup of index $2$ in $G$, then $G$ is not simple.
Proof
Let $H$ be a proper subgroup of index $2$ in $G$. We know that $H$ is normal because it is of index $2$. Now, assume that $H = \{e\}$. Thus, $G/H \simeq G$. However, $G/H$ is of order $...