Abstract
We show the existence of an absolute constant \(\alpha >0\) such that, for every \(k \ge 3\), \(G:= \mathop {\mathrm {Sym}}(k)\), and for every \(H \leqslant G\) of index at least 3, one has \(|H/H'| \le |G:H|^{\alpha / \log \log |G:H|}\). This inequality is the best possible for the symmetric groups, and we conjecture that it is the best possible for every family of arbitrarily large finite groups.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Abelian quotients of permutation groups attracted attention for the first time in [4], where the authors show that an abelian section of \(\mathop {\mathrm {Sym}}(k)\) has order at most \(3^{k/3}\) for every \(k \ge 3\). Better bounds hold for primitive groups [1], and for transitive groups [5]. In these notes, a different aspect concerning the subgroups of the symmetric groups is revealed: as the index increases, the abelian quotients grow as slowly as possible.
Theorem 1
There exists an absolute constant \(\alpha >0\) such that for every \(k \ge 1\) and every \(H \leqslant G := \mathop {\mathrm {Sym}}(k)\) of index at least 3, one has
This bound is sharp in a number of situations, which make the proof by induction somewhat challenging. For example, equality is satisfied for infinitely many k by elementary abelian groups of order \(p^{\lfloor k/p \rfloor }\) having all of their orbits of cardinality p. More is said in Sect. 5, where we show some evidences towards the fact that Theorem 1 is the best possible for every family of arbitrarily large finite groups.
2 Preliminaries
Unless explicitly stated otherwise, all the logarithms are to base 2, and \(\exp (x):=2^x\). We will often use inequalities for the factorial function: to avoid useless calculations, we recall three estimates, which provide increasing accuracy.
Lemma 2
(Factorial estimates). Let \(k \ge 1\). Then
-
(i)
$$\begin{aligned} k^{k/2} \> \le \> k! \> \le \> k^k . \end{aligned}$$
-
(ii)
$$\begin{aligned} \frac{k^k}{e^{k-1}} \le \> k! \> \le \frac{k^{k+1}}{e^{k-1}} . \end{aligned}$$
-
(iii)
$$\begin{aligned} \left( \frac{k}{e} \right) ^k \sqrt{2 \pi k} \> \le \> k! \> \le \> \left( \frac{k}{e} \right) ^k \sqrt{2 \pi k} \cdot e^{1/12k} . \end{aligned}$$
Proof
The right side of (i) is obvious and the left side is equivalent to \(\sqrt{k} \le (k!)^{1/k}\). These are the geometric means of \(\{1,k\}\) and \(\{1,2,\ldots ,k\}\) respectively. Since the product \(j(k-j)\) is maximal where j is close to k/2, the first mean is at most the second, as desired. For (ii), let us notice that
To obtain the left side, we use \(\tfrac{j+1}{j} \le e^{1/j}\), so that
To obtain the right side, we use \(\tfrac{j}{j+1} \le e^{-1/(j+1)}\), so that
Finally, (iii) is the sharp estimate of Robbins [7]. \(\square \)
As it is easy to see, taking logarithms in Lemma 2 (i), we see that
and that
for all \(k \ge 3\).
Lemma 3
Let G be an arbitrary group, \(N \lhd G\), and \(G/N \cong Q\). Then
Proof
We have
Since \(N' \subseteq N \cap G'\), the proof follows. \(\square \)
To prove Theorem 1, we seek for an absolute constant \(C>0\) such that, for every sufficiently large k and every \(H \leqslant \mathop {\mathrm {Sym}}(k)\) of index at least 3, one has
By \(f(n) \ll g(n)\) and \(g(n) \gg f(n)\) we mean the same thing, namely, that there is \(C>0\) such that \(f(n) \le C \cdot g(n)\) for all \(n \ge C\). Moreover, we will frequently use the fact that the function \(x/\log x\) is an increasing function when \(x \ge 3\).
Remark 4
(Small subgroups). Choose a large k, and let \(G:=\mathop {\mathrm {Sym}}(k)\). We notice that (2.1) is true for subgroups H such that \(\log |H| \le \tfrac{1}{4} k \log k\). In fact, via Lemma 2 (i), we have
From the main theorem of [4], we have \(|H/H'| \le 3^{k/3}\), and so
From the main theorem of [6], a primitive subgroup of G which does not contain \(\mathop {\mathrm {Alt}}(k)\) has size at most \(4^k\). Since \(\mathop {\mathrm {Alt}}(k)\) is perfect, primitive groups do not affect the proof of Theorem 1.
3 Transitive subgroups
In short, looking inside \(\mathop {\mathrm {Sym}}(k)\), we use two sharp inequalities with respect to k: one for the index of a maximal transitive group, and one for the abelianization of a transitive group, which is provided by [5]. The structure of the groups we are left with is trapped by some smaller symmetric or alternating group, and this allows to argue that their abelian quotients are small.
Lemma 5
Let \(W := \mathop {\mathrm {Sym}}(k/b)^b \rtimes \mathop {\mathrm {Sym}}(b) \leqslant G\) for some \(2 \le b \le k/2\) which divides k. Then
if k is sufficiently large.
Proof
We will prove the same inequality with the natural logarithm in place of \(\log \). Taking the logarithm in Lemma 2 (ii), we obtain
Using these inequalities three times, we can write
It remains to prove that this is at least \(\tfrac{1}{3} k \ln b\), and arranging the terms , we see that this is equivalent to
Now we observe that, for large enough k , we have
because \(\left( \tfrac{2}{3}k-1 \right) /(k/2)\) converges to 4/3, while \(\ln (k)/\ln (k/2)\) converges to 1. Finally, for every \(2 \le b \le k/2\), the right side of (3.1) is at least \(b/\ln b\), because \(x/\ln x\) is an increasing function. \(\square \)
Theorem 6
([5, Theorem 1]). If \(G \leqslant \mathop {\mathrm {Sym}}(k)\) is a transitive permutation group, then
In reality, the proof of Theorem 1 requires a slightly better result than Theorem 6 itself. Given a finite group R and a prime \(p \ge 2\), let \(a_p(R)\) be the number of the abelian composition factors of R of order p. We define
Informally, this is the logarithm of the “abelian portion” of R. We also introduce some more notation about wreath products. Let \(W:=R^b \rtimes \mathop {\mathrm {Sym}}(b)\). We denote by \(\rho _{\mathop {\mathrm {Sym}}(b)} : W \rightarrow \mathop {\mathrm {Sym}}(b)\) the projection over the top group, and for every \(j =1,\ldots ,b\), we denote by \(\prod _{j=1}^b R_j\) the base subgroup. For every j, we have
This allows to consider the projections \(\rho _j : N_W(R_j) \rightarrow R_j\).
Proposition 7
Let \(G \leqslant R \wr _k \mathop {\mathrm {Sym}}(k)\) be such that \(\rho (G)\) is transitive and \(\rho _j(N_G(R_j))=R_j\) for every \(j=1,\ldots ,k\). Then
Proof
As an intermediate result towards Theorem 6, [5, Lemma 3.1] says that the inequality
is true under our hypothesis. Since \(\rho (G) \leqslant \mathop {\mathrm {Sym}}(k)\) is transitive, putting back Theorem 6, and noting that \(2/\sqrt{\pi } <2\), we obtain the claimed inequality. \(\square \)
Proof
(Proof of Theorem 1 for transitive H). We will always suppose that k is larger than any constant. We have already settled primitive groups at the end of Sect. 2, so let \(H \leqslant G\) be transitive but not primitive, and contained in a maximal transitive group \(W:= \mathop {\mathrm {Sym}}(a)^b \rtimes \mathop {\mathrm {Sym}}(b)\) as in Lemma 5. In particular, we choose W in such a way that a is the smallest possible (equivalently, the blocks of imprimitivity have minimal size). Then \(\log |G:H| \ge \log |G:W| \ge \tfrac{1}{3} k \log b\). If \(\log b \ge \sqrt{\log k}\), from Theorem 6, we have
and then (2.1) is true. Thus, it remains to control all the cases
For such a fixed b, we take a closer look at \(H \leqslant W\). Let us recall the notation we introduced just before the statement of Proposition 7. First, the projection over the top group \(\rho _{\mathop {\mathrm {Sym}}(b)}(H) \leqslant \mathop {\mathrm {Sym}}(b)\) is transitive (otherwise \(H \leqslant \mathop {\mathrm {Sym}}(k)\) itself would be not transitive). This implies that the projections \(\rho _j\) of \(N_H(\mathop {\mathrm {Sym}}(a))\) in \(\mathop {\mathrm {Sym}}(a)\) are all isomorphic for every \(1 \le j \le b\). Let us denote by \(H_{proj} \leqslant \mathop {\mathrm {Sym}}(a)\) one of these projections. Since the blocks of imprimitivity have minimal size by the construction of W, we get that \(H_{proj} \leqslant \mathop {\mathrm {Sym}}(a)\) is primitive. If \(H_{proj}\) does not contain \(\mathop {\mathrm {Alt}}(a)\), then from the main theorem of [6], we have \(|H_{proj}| \le 4^a\). By the imprimitive embedding theorem , we have \(H \leqslant (H_{proj})^b \rtimes \mathop {\mathrm {Sym}}(b)\), and so \(|H| \le 4^{ab} \cdot b!\). Using also Lemma 2 (i), and (3.2), it follows that
As we have seen in Remark 4, this implies that H is too small.
We are left with the cases where either \(H_{proj}=\mathop {\mathrm {Alt}}(a)\) or \(H_{proj}=\mathop {\mathrm {Sym}}(a)\). If \(H_{proj} = \mathop {\mathrm {Alt}}(a)\), then from Proposition 7 (notice that \(a(R)=0\) in this case), we have
Using again (3.2), we obtain
If \(H_{proj} = \mathop {\mathrm {Sym}}(a)\), then from Proposition 7 (notice that \(a(R)=1\) in this case), we have
Using a last time (3.2), we obtain \( \log |H/H'| \ll \frac{\log |G:H|}{\log \log |G:H|} \) as before, and the proof of the transitive case is complete. \(\square \)
4 Intransitive subgroups
Let H be contained in \(\mathop {\mathrm {Sym}}(a) \times \mathop {\mathrm {Sym}}(b)\) for some \(a+b=k\) and \(1 \le b \le a \le k-1\). Consider the projection \(\rho : H \rightarrow \mathop {\mathrm {Sym}}(b)\). The factorized subgroup \(Ker(\rho ) \times \rho (H) \leqslant \mathop {\mathrm {Sym}}(a) \times \mathop {\mathrm {Sym}}(b)\) has the same size as H, while it has no smaller abelianization from Lemma 3. Thus, we can suppose \(H=A \times B\) for some \(A \leqslant \mathop {\mathrm {Sym}}(a)\) and \(B \leqslant \mathop {\mathrm {Sym}}(b)\). We can also suppose that a, as k, is larger than any constant. We have
and now we go by induction distinguishing two cases with respect to b.
4.1 Small b
First we suppose \(b \le M\), where \(M>0\) is a large positive integer to be fixed later. If \(a!/|A| < a\), then \(|H/H'| \le M!\), and (2.1) follows easily (with some C depending on M). If \(a!/|A| \ge a\), then by induction, we have \(\log |A/A'| \le C \tfrac{\log (a!/|A|)}{\log \log (a!/|A|)}\). So, it is enough to prove that for some C(M) and every \(a!/|A| \ge a\), one has
for all a large enough. Set \(x:=a!/|A|\). We notice that, for all \(a \ge 3\),
We can assume \(x \ge a\). Now we compute the following limit.
Lemma 8
Proof
We have
Then, for \(x \rightarrow +\infty \), it is easy to see that the second term converges to 1, while the third term converges to zero. For the first term, we have that this is equal to
\(\square \)
From Lemma 8, we have that
is true for every a large enough. Thus, for \(C:=2 M!\), we obtain that (4.1) is true for every a large enough, as desired.
4.2 Large b
Let us suppose \(a \ge b > M\), where \(M>0\) is again a large positive integer to be fixed later. By induction, we have
Let \(x:=a!/|A|\) and \(y:=b!/|B|\). Since \(|G:H|=\tfrac{(a+b)!}{|A||B|}= xy{a+b \atopwithdelims ()a}\), we need to prove that
is true for every \(a \ge b >100\), \(a \le x \le a!\), \(b \le y \le b!\).
Lemma 9
Let X, Y, K be positive integers larger than 2. If
then
for every \(3 \le x \le X\) and \(3 \le y \le Y\).
Proof
We will argue replacing x, y, X, Y, K with their logarithms (to the base 2). Fix \(K \ge \log 3\), and set
We will prove that f(x, y) is non-increasing in x and y. To do this, we can replace \(\log _2\) with \(\ln \) in the definition of f. When considered in \((1,+\infty ) \times (1,+\infty )\), f(x, y) is an analytic function. Computing the partial derivative with respect to x, we obtain
Since the expression of f is symmetric with respect to x and y, we have \(\frac{\partial f}{\partial y} \le 0\) as before, and the proof follows. \(\square \)
From the previous lemma, it is enough to check (4.2) when \(x=a!\) and \(y=b!\). The next inequality is really about the inverse function of the gamma function, and concludes the proof of Theorem 1.
Proposition 10
There exists an absolute constant \(M >0\) such that, whenever \(M \le b \le a\), then
Proof
Taking the natural logarithm in Lemma 2 (iii), we obtain
Then
Indeed, the inequality in the middle is true for sufficiently large a and b because comparing the leading terms in the asymptotic expansions of both sides, we obtain
\(\square \)
5 Arbitrary finite groups
From Lemma 2 (i), we have
Thus, for every k which is a multiple of 3, \(G:= \mathop {\mathrm {Sym}}(k)\), and \(H \leqslant G\) an elementary abelian 3-group of size \(3^{k/3}\), we obtain
This shows that Theorem 1 is the best possible for the symmetric groups. When G is an arbitrary finite group, we have the following.
Proposition 11
Every finite group G of size at least 3 has an abelian section of size at least \(|G|^{1/6(\log \log |G|)^2}\).
Proof
It is well known that every group of size \(p^n\) has derived length at most \(\log n\). Using pigeonhole on the derived series, we see that such a group has an abelian section of size at least \(p^{n/\log n}\). Thus, every nilpotent group H of size \(p_1^{n_1} \cdots p_k^{n_k}\) has an abelian section of size at least \(p_1^{n_1/\log n_1} \cdots p_k^{n_k/\log n_k}\). Since \(\log n_i \le \log \log |H|\) for every \(i=1,\ldots ,k\), it follows that this size is at least \(|H|^{1/ \log \log |H|}\). Now, a result of Pyber [8, Corollary 2.3 (a)] shows that every finite group G has a solvable subgroup of size at least \(|G|^{1/2 \log \log |G|}\). By another result of Heineken [2, Corollary], a finite solvable group S has a nilpotent subgroup of size at least \(|S|^{1/3}\). Then, putting all together, an arbirary finite group G has an abelian section of size at least
where we used that \(x^{1/2 \log \log x}\) is an increasing function when \(x \ge 7\). An analysis of groups of small order concludes the proof. \(\square \)
Arguing as in (5.1), Proposition 11 shows that Theorem 1 is not far from the best possible for every family of arbitrarily large finite groups. It is an intriguing question whether the 2 in the exponent in Proposition 11 can be removed: in fact, we conjecture that this can be done. Finally, it is worth to notice that a positive answer to a question of Pyber [3, Problem 14.76] would imply such an improvement of Proposition 11, showing again that Theorem 1 is the best possible for every family of arbitrarily large finite groups.
References
Aschbacher, M., Guralnick, R.M.: On abelian quotients of primitive groups. Proc. Amer. Math. Soc. 107, 89–95 (1989)
Heineken, H.: Nilpotent subgroups of finite soluble groups. Arch. Math. (Basel) 56, 417–423 (1991)
Khukhro, E.I., Mazurov, V.D.: Unsolved Problems in Group Theory. The Kourovka Notebook No. 19. Sobolev Institute of Mathematics (2018)
Kovács, L., Praeger, C.: Finite permutation groups with large abelian quotients. Pac. J. Math. 136(2), 283–292 (1989)
Lucchini, A., Sabatini, L., Spiga, P.: A subexponential bound on the cardinality of abelian quotients in finite transitive groups. Bull. Lond. Math. Soc, to appear (2021)
Praeger, C., Saxl, J.: On the orders of primitive permutation groups. Bull. Lond. Math. Soc. 12(4), 303–307 (1980)
Robbins, H.: A remark on Stirling’s formula. Amer. Math. Mon. 62(1), 26–29 (1955)
Pyber, L.: How abelian is a finite group? In: The Mathematics of Paul Erdös, I, pp. 372–384. Algorithms Combin., 13. Springer, Berlin (1997)
Funding
Open access funding provided by Università degli Studi di Firenze within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was partially funded by the Istituto Nazionale di Alta Matematica “Francesco Severi” (INdAM). The author is grateful to the anonymous referee for the careful reading of the paper and his/her valuable remarks.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sabatini, L. Abelian sections of the symmetric groups with respect to their index. Arch. Math. 118, 3–12 (2022). https://doi.org/10.1007/s00013-021-01667-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-021-01667-0