A group of order 20 Let $G$ be a group of order $20$ and its class equation is given by $$1+4+5+5+5$$
My question is whether Sylow-$2$ subgroup of $G$ is normal or not.
By Sylow theorem we know that the Sylow-$2$ subgroup will be normal if and only if there is only one Sylow-$2$ subgroup inside $G$. Sylow theorem says that number Sylow-$2$ subgroup is $2k+1$ where $2k+1$ divides $5$. Only $1$ and $5$ are possible. How to decide what will be the case here.
Thank you!
 A: Suppose, by way of contradiction, that there is a normal $2$-Sylow subgroup $D$.
If $D$ is cyclic, then it has exactly one involution, and this would form then a conjugacy class made of one element, which does not show up in the class equation. (The "$1$" in the class equation is already taken by the identity.)
This argument actually shows that there is no normal subgroup of order $2$.
If $D$ is a a Klein four-group, it has exactly three involutions, which would then yield a conjugacy class  of order $1$ or $3$, again not there.
A: By Sylow, you can easily find that there is one Sylow $5$-subgroup, so the only Sylow $5$-subgroup, say $P$, is normal in your group $G$.
Now if your Sylow $2$-subgroup, say $Q$, is normal, then we must have that $G$ is the direct product of its Sylow $p$-subgroups, so that $G = P \times Q$. Now $P$ has order $5$ so it's cyclic and $P \cong C_{5}$. On the other hand, we have that $Q$ is order $4$ so either $Q \cong C_{4}$ or $Q \cong C_{2} \times C_{2}$. Thus the only order $20$ groups with a normal Sylow $2$-subgroup are
$$
G \cong C_{4} \times C_{5} \cong C_{20} \quad\text{or}\quad G \cong C_{2} \times C_{2} \times C_{5} \cong C_{2} \times C_{10}.
$$
The other order $20$ groups are not the direct product of the Sylow $p$-subgroups, so they can't have unique (hence normal) Sylow $p$-subgroups. I'm not sure what the class equation is, but if you can use that to determine properties of your group, you can determine whether it's one of the two above or not.
A: You'll not be able to build up a subgroup of order $4$ as the union of the unique central singleton (the set with the identity element) and some other noncentral conjugacy classes (in fact, all of them have size $4$ or $5$). So, a group of order $4$ is not normal.
