Skip to main content
2 of 5
title edit
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186

A good estimate for the cardinal of an interval of finite groups

This post is a relative version of General bound for the number of subgroups of a finite group

Let $[H,G]$ be a interval of finite groups with $|G:H| = n$.

Question: What is a good estimate of $|[H,G]|$, as a function of $n$?

If $H=\{ e\}$, then the best possible estimate is essentially $n^{(\frac{1}{4}+o(1)) \log_2(n)}$ (here, Corollary 1.6).
Should we expect the same in general?

There is an OEIS page for the maximal cardinal of a subgroup lattice for a group of order $n$: A018216
1, 2, 2, 5, 2, 6, 2, 16, 6, 8, 2, 16, 2, 10, 4, 67, 2, 28, 2, 22, 10, 14, 2, 54, 8, 16, 28, 28, 2, 28, 2, 374, 4, 20, 4, 78, 2, 22, 16, 76, 2, 36, 2, 40, 12, 26, 2, 236, 10, 64, 4, 46, 2, 212, 14, 98, 22, 32, 2, 80, 2, 34, 36, 2825, 4, 52, 2, 58, 4, 52, 2, 272

I didn't find an OEIS page for the maximal cardinal of an interval of finite groups, at index $n$.
This should be computable for the indices $<32$, using GAP or MAGMA.

Remark: Because an element $K \in [H,G]$ admits a unique partition by cosets $Hg$, we have:
$$|[H,G]| < \sum_{k \mid n} {n \choose k}$$ See this post for a discussion on the estimate of this sum.
We have slightly better with $\sum_{k>1, k|n}^n {n-1\choose k-1}$.

Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186