Order has only two prime factors implies solvable

Statement

The Burnside's p^aq^b theorem, states that if the order of a group has only two prime factors, (viz it is of the form $p^a{q}^b$), then the group must be solvable.

Proof

There exists a conjugacy class of prime power order

Let the order of the group $G$ be $p^a{q}^b$ where $p,q$ are the prime divisors of the order. Let $P$ be a $p$-Sylow subgroup, and let $Z(P)$ be the center of $P$. $Z(P)$ is a nontrivial group. Now for any nonidentity element $g\in Z(P)$, $C_G(g)$ contains $P$, so its index in $G$ is a power of $q$. Hence, the size of its conjugacy class is a power of $q$.

Existence of such a conjugacy class implies solvability

For full proof, refer: (Conjugacy class of prime power order) implies solvable