The set of normal subgroups (resp. subgroups) of a countable group $G$ is a closed subset of the Cantor set $2^G$. Hence it is either (at most) countable, or contains a Cantor set and hence has cardinal $2^{\aleph_0}$.
YCor
- 63.9k
- 5
- 187
- 286