Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

At this time, I am reading the following theorem.

Let $G$ be a group acting transitively on a set $\Omega$. Then \begin{equation} |G|=\sum_{g\in G}\chi(g) \tag{$\clubsuit$} \end{equation} wherein $\chi(g)=|\{\alpha \in \Omega :\alpha^g=\alpha\}|$.

It seems to me that the equation $(\clubsuit)$ is very similar to the class equation for a finite group $G$, \[ |G|=|Z(G)|+\sum_{i=1}^{k}\frac{|G|}{|C_G(x_i)|}.\] Are these equations connected to each other? Thanks.

share|cite|improve this question
I hope my edits are alright. Note that your ($\clubsuit$) is a special case [here $|G\backslash\Omega| = 1$] of Burnside's lemma. – Dylan Moreland Jun 21 '12 at 20:38
@DylanMoreland: Thanks for edit and your time. I am thinking about the proper action I should take. Thanks again. – Babak S. Jun 21 '12 at 20:47
up vote 1 down vote accepted

The class equation is really a special case of the fact that if $G$ acts (not necessarily transitively) on a set $\Omega,$ then $|\Omega|$ is the sum of the size of the orbits. In the class equation, $G$ acts on itself by conjugation, the orbits are the conjugacy classes, and the size of the conjugacy class of $x$ is $[G:C_{G}(x)].$ The euation as you have written it is often known as the modified class equation. In that, all the conjugacy classes of size $1$ have been collected together, since the element $x$ is in a conjugacy class of size $1$ if and only if $x \in Z(G).$ There is a connection in as much as when a finite group $G$ acts transitively on a set $\Omega,$ then all point stabilizers have the same size$|G_{\alpha}|$ for any $\alpha \in \Omega$ so we have $|\Omega| = [G:G_{\alpha}].$ Thus $\sum_{ \alpha \in \Omega }|G_{\alpha}| = |G|.$ But that sum is the number of order pairs $(\alpha, g) \in \Omega \times G$ such that $\alpha.g = \alpha.$ If we sum this over $g \in G$ first, it's the same as $\sum_{g \in G} \# (\alpha \in \Omega : \alpha.g = \alpha).$

share|cite|improve this answer
Conjugation was what I was looking for. I got it all.Thanks. – Babak S. Jun 21 '12 at 21:03

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.