$G$ group is called "squared" iff for every non-trivial subgroup $H$ we have that the index of $H$ is $2$, list all such groups ?
I managed to prove that if such $G$ exist then there is only one group with index $2$ and i think just this group $\{ \pm 1, \pm i\}$ up to isomorphism
But not sure.