Variations on polynomial subgroup growth (Q1916883)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Variations on polynomial subgroup growth
scientific article

    Statements

    Variations on polynomial subgroup growth (English)
    0 references
    6 January 1997
    0 references
    A group \(G\) is said to have polynomial subgroup growth (PSG) of degree \(\leq\alpha\) if, for each \(n\), \(G\) has at most \(n^\alpha\) subgroups of index \(\leq n\). In this paper the author defines \(G\) to have weak polynomial subgroup growth (wPSG) of degree \(\leq\alpha\) if, for each finite quotient \(\overline{G}\) of \(G\), the number \(s(\overline{G})\) of subgroups of \(\overline{G}\) is bounded by \(|\overline{G}|^\alpha\). (Analogous definitions hold for profinite groups with ``subgroup'' replaced by ``closed subgroup''.) It is clear that PSG of degree \(\leq\alpha\) implies wPSG of degree \(\leq\alpha\). The central result of the present paper is a form of the reverse implication (Theorem B): There is a function \(f\) such that every abstract or profinite group with wPSG of degree \(\leq \alpha\) has PSG of degree \(\leq f(\alpha)\). This theorem has several consequences. Using results of \textit{A. Lubotzky, A. Mann} and \textit{D. Segal} [Isr. J. Math. 82, No. 1-3, 363-371 (1993; Zbl 0811.20027)] it follows that (Theorem A): A finitely generated residually finite group has wPSG if and only if it is a finite extension of a finitely generated torsion-free soluble minimax group. Two further corollaries are proved using results of \textit{A. Mann} [ibid. 82, No. 1-3, 373-380 (1993; Zbl 0805.20022) and Forum Math. 8, No. 4, 429-459 (1996; Zbl 0852.20019)]. Suppose that \(G\) is a profinite group. Corollary 1: If \(G\) has wPSG of degree \(\leq\alpha\), then \(G\) has a generating set of size at most \(f(\alpha)+3\). Corollary 2: If, for some \(k\), \(\delta\) and \(\lambda\), each finite quotient \(\overline{G}\) has at least \(\delta s(\overline{G})^\lambda\) \(k\)-generator subgroups, then for each \(\varepsilon<1\) there exists \(d_0\) (depending on \(k\), \(\delta\), \(\lambda\) and \(\varepsilon\)) such that random \(d_0\)-tuples in \(G\) generate \(G\) with probability \(> \varepsilon\).
    0 references
    0 references
    weak polynomial subgroup growth
    0 references
    profinite groups
    0 references
    finitely generated residually finite groups
    0 references
    finite extensions
    0 references
    finitely generated torsion-free soluble minimax groups
    0 references
    generating sets
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references