Prove that if G is a finite p-group, then its center is non-trivial.
Use this fact to prove if , then G is abelian.
For the first part, I have:
So . By the class equation, .
So and .
Since p is prime, . Therefore,
So how do I use that to prove the next part?