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

When I'm proving this Lemma, I use the fact (recommended by my advisor) that

$$\begin{array}{cl} \sum_{\alpha\in \Omega}|G_{\alpha}| & =\sum_{\alpha\in \Omega}\frac{|G|}{|G\cdot\alpha|} \\ & =|G|\sum_{\alpha\in \Omega}\frac{1}{|G\cdot\alpha|} \\ & =|G|\sum_{A\in X/G}\sum_{\alpha\in A}\frac{1}{|A|} \\ & =|G|\sum_{A\in X/G}1 \\ &=|G||X/G|.\end{array}$$

But I don't understand why can I do $$|G|\sum_{\alpha\in \Omega}\frac{1}{|G\cdot\alpha|}=|G|\sum_{A\in X/G}\sum_{\alpha\in A}\frac{1}{|A|}~?$$

share|cite|improve this question
Orbits partition $G$-sets. Thus summing over all of $\Omega$ is the same as summing the particular summations over each orbit. And if $A$ is an orbit then $|A|=|G\alpha|$ for each $\alpha\in A$; it's the same orbit no matter which representative $\alpha$ you pick. – anon Oct 20 '12 at 16:44
ty ever so much!! – Elmo goya Oct 20 '12 at 16:54

Your Answer


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

Browse other questions tagged or ask your own question.