[Math] The order of a conjugacy class of some element is equal to the index of the centralizer of that element.

abstract-algebrafinite-groupsgroup-theory

I was reading at these notes and they said that

The order of a conjugacy class of some element is equal to the index of the centralizer of that element.

My question is why they stated "some element" like this because of identity element or there is more element other than identity that this equation does not hold.

For example, I looked at $S_3$ and I saw it works for most of the elements.

Best Answer

This holds for all elements, and is a consequence of the Orbit-Stabilizer Theorem.

Let $G$ act on its elements by conjugation. Then the orbit of an arbitrary element $g$ is the size of its conjugacy class, and the stabilizer of $g$ under this action is $C_{G}(g)$.