Using the conjugacy class equation: i want to show that there exists a non-abelian group of order . I know that and since i want a non-abelian group, or . If |Z(G)| = p^2, then |G/Z(G)| = p but then that would mean G/Z(G) is cyclic with order p which cannot be since G/Z(G) is never a nontrivial cyclic group. therefore |Z(G)| = p. likewise each [G: C(x)] must be either p or p^2 since if it was then |C(x)| = 1 which contradicts the definition of the class equation, and if the index = 1, then |C(x)| = which means Z(G) = G. Then i say that each [G: C(x)] = p and if there are of them, then which is the correct order of the group. But also, if each [G: C(x)] = p^2, and if there are p-1 of them, then which is also the correct order.

i am having trouble with the last part, since it seems like since we have a sum, a bunch of the [G: C(x)] can be p while a bunch of other could be and when you add them all together and add them to we might somehow get . in other words, there doesn't seem to be a reason why each conjugacy class must have the same number of elements. although i assumed so to simplify things and to check that it worked, i don't know how to deal with the case if not all of the conjugacy classes are the same order. Could someone help fix up the end of my proof? thanks.