# Order of the smallest group containing all groups of order $n$ as subgroups.

Let $n\in \Bbb N$ be fixed and $m\in \Bbb N$ be the least number such that there exists a group of order $m$ in which all groups of order $n$ can be (isomorphically) embedded.

Can we deduce $n!=m$?

• I assume you mean "the smallest $m$ such that there exists a group of order $m$ into which all groups of order $n$ can be isomorphically embedded"? Mar 8, 2013 at 18:45
• @AlexanderGruber: yes. the smallest group containing all.. I think sometimes $n!$ is the smallest number.
– user59671
Mar 8, 2013 at 18:49
• If $n$ is prime, doesn't $n=m$? So the answer to this question is "no"? Mar 8, 2013 at 22:10
• For $n>2$ we always have $m < n!$. If $n$ is a prime power then you can use a Sylow $p$-subgroup of $S_{n!}$. Otherwise, all groups of order $n$ have a faithful permutation representation of degree at most $5n/6$. Mar 9, 2013 at 10:46
• I didn't say that was true for all $n$, I said it was true for all $n$ that are not powers of a prime. For example, the quaternion group $Q_8$ has no faithful action of degree less than 8. But 8 is a prime power. Mar 10, 2013 at 12:20

This is not known. In fact we don't even know how many groups of order $n$ exist for most $n$. A related open question asks what the smallest integer $s$ such that all groups of order $p^r$ embed in some group of order $p^s$.

However, I have reason to doubt that the number will be $m!$ for $m=p^e$. (This is not a proof, by the way, only a heuristic argument.) As in my link the growth rate of $p$-group isomorphism classes is $$p^{\left(\frac{2}{27}+O(n^{-1/3})\right)n^3}.$$ Multiply this by $p^n$ to count the number of elements in each subgroup (which assumes generously they will be embedded without overlap, including the identity) and we get $$p^{\left(\frac{2}{27}+O(n^{-1/3})\right)n^3+n}.$$ Comparing this to Stirling's approximation $$p^n!\sim \sqrt{2\pi p^n}\left(\frac{p^n}{e}\right)^{p^n}$$ you can see that the $p^n!$ will quickly become much too large to be the smallest group containing these isomorphism classes even if we were to insist that the groups were embedded completely separately.

In fact, we can use Stirling's approximation along with the upper bound in Gallagher (1967) to show that the number will almost never be $m!$ for large $m$. $$\lim_{m\to\infty}\frac{m^{cm^{2/3}\operatorname{log}(m)+1}}{\sqrt{2\pi m}\left(\frac{m}{e}\right)^m}=\lim_{m\to\infty}\frac{e^m m^{\frac{1}{2}-m+cm^{2/3} \operatorname{log}(m)}}{\sqrt{2 \pi }}= 0$$

So, I suspect that in general the number will be much lower than $m!$.

• Interesting, +1. I don't know much about finite groups. I'd be interested in an example of $n>2$ where $m=n!$ is actually the answer. Mar 8, 2013 at 19:13
• What if we changed it to require a group containing all groups of order at most $n$? What if we changed it to "dividing $n$"? Mar 8, 2013 at 19:19
• For $p$-groups, you can go down to a Sylow $p$-subgroup of the symmetric group, which is smaller than the symmetric group itself. I would guess that you can't do much better than that, but I might have got that wrong! Mar 8, 2013 at 19:37
• I just checked that there are groups of order 32, but none of order 16, that contain all 5 groups of order 8. But that is better than a Sylow 2-subgroup of $S_8$, which has order 128. Mar 8, 2013 at 19:47

For a counterexample outside $n=p$ prime (where obviously $m=p$, since every order $p$ group is isomorphic to $\mathbb{Z}/p\mathbb{Z}$), consider $n=15$.

Then every order $15$ group is Abelian and is actually isomorphic to $\mathbb{Z}/3\mathbb{Z}\times \mathbb{Z}/5\mathbb{Z}=\mathbb{Z}/15\mathbb{Z}$.

So $m=15$ is the answer in this case.

Edit: of course, each time there is only one group of order $n$, the answer is $m=n$. See here for the beginning of a list of these cases.

• So every time their is only one group of a certain order, we have a counterexample. Mar 8, 2013 at 19:01
• @BabyDragon Yes, absolutely, see my edit for the first values of $n$ where this holds. Mar 8, 2013 at 19:17

No you can not deduce this. As a hint consider the prime numbers.