Solution (source code)

= Solution

\b[False.] The <quaternion group> $Q_8$ is nonabelian, but each of its <subgroups> is normal: its nontrivial proper <subgroups> are its centre $\{\pm1\}$ and the three cyclic <subgroups> of order four, all of index two.