Let $G$ be a finite group. Consider the set $$X = \bigcup_{H \le G} G/H$$ which is a disjoint union of left cosets of subgroups $H$ of $G$. Then $G$ acts on $X$ by left multiplication, and the number $|X/G|$ of orbits is the number of subgroups of $G$. I want to apply Burnsides Lemma in this situation $$|X/G| = \frac{1}{|G|} \sum_{g \in G} |X^g|$$ where $X^g = \{ x \in X | g \cdot x = x\}$, to maybe get a "formula" for the number of subgroups of $G$. For this I need to "compute" $|X^g|$. Is there any other nice description of this quantity? Thanks for your help!

We have $|X^g| = |\{g'H \in X| g\cdot g' \cdot H = g' \cdot H\}|$, but how to proceed?

Edit The reason I suspect such a formula can be computed is the group $G=C_n$, for which we have:


Also, using the Lagarias inequality, one can show that an upper bound on $\tau(n)$ is equivalent to RH.

Related: https://math.stackexchange.com/questions/1315302/group-action-so-that-every-subgroup-is-a-stabilizer

  • $\begingroup$ Won't your "formula" end up being of the form (number of subgroups of G) = (sum over subgroups of G)(something depending on the subgroup)? Won't that (something depending on the subgroup) end up being identically the number 1? $\endgroup$ – Theo Johnson-Freyd May 1 at 23:38
  • $\begingroup$ @TheoJohnsonFreyd: No, I don't think so. Already for the cyclic group there is a non-trivial formula. See the edit to the question. $\endgroup$ – orgesleka May 2 at 4:57
  • 1
    $\begingroup$ $|X^g| = \sum_{H : g \in H} [G:H]$ $\endgroup$ – Sean Eberhard May 2 at 10:15
  • $\begingroup$ @SeanEberhard: Thank you for your comment. That looks quite interesting. How did you derive it? $\endgroup$ – orgesleka May 2 at 10:22
  • $\begingroup$ @orgesleka Well, perhaps you will find something. But note that your formula for $\tau(n)$ is not of the type that you ask. Rather, your sum ranges over elements of $G$, not subgroups of $G$. $\endgroup$ – Theo Johnson-Freyd May 3 at 17:18

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.