Bertrand's postulate and subgroup growth. (Q994285)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bertrand's postulate and subgroup growth.
scientific article

    Statements

    Bertrand's postulate and subgroup growth. (English)
    0 references
    17 September 2010
    0 references
    Let \(\Gamma\) be an infinite, finitely generated, residually finite group. The theme of the paper under review is to explore under which circumstances \(\Gamma\) admits a family of finite index subgroups satisfying certain sequential properties, motivated by Bertrand's postulate. The investigation is linked to studying two numerical invariants of the group \(\Gamma\), the residual average \(\mathrm{Ave}(\Gamma)\) and the normal residual average \(\mathrm{Ave}^\trianglelefteq(\Gamma)\). These invariants lie in the real interval \((2,\infty]\) and their precise values depend, in an intricate way, on the growth rates of indices of finite index subgroups in \(\Gamma\). The main result is that, if \(\Gamma\) admits a finite dimensional linear representation in characteristic \(0\), then the invariants \(\mathrm{Ave}(\Gamma)\) and \(\mathrm{Ave}^\trianglelefteq(\Gamma)\) are finite. For a compact topological group \(G\) let \(\mathcal S(G)\) denote the collection of all open subgroups of \(G\). The divisibility function on such a group \(G\) is the function \[ D_G\colon G\to\mathbb N\cup\{\infty\},\quad g\mapsto\inf\{|G:H|\mid g\not\in H\in\mathcal S(G)\}. \] With these preliminaries in place, the residual average of a residually finite group \(\Gamma\) is defined to be \[ \mathrm{Ave}(\Gamma)=\int_{\widehat\Gamma}D_{\widehat\Gamma}(x)\,d\mu(x), \] where \(\widehat\Gamma\) denotes the profinite completion of \(\Gamma\) and the Haar measure \(\mu\) on \(\widehat\Gamma\) is normalised so that \(\mu(\widehat\Gamma)=1\). The normal divisibility function \(D_G^\trianglelefteq\) and the normal residual average \(\mathrm{Ave}^\trianglelefteq(\Gamma)\) are defined in a similar way, by restricting attention to normal open subgroups. Theorems 1.3 and 1.4 of the paper state that, if \(\Gamma\) is an infinite, finitely generated, linear group over \(\mathbb C\), then \(\mathrm{Ave}(\Gamma)\) and \(\mathrm{Ave}^\trianglelefteq(\Gamma)\) are finite. The proof relies on the following theorem. For every infinite, finitely generated, linear group \(\Gamma\) over \(\mathbb C\) there exist a finite index subgroup \(\Gamma_0\), a positive constant \(d\) and a `prime' family \(\Delta_j\), \(j\in\mathbb N\), of normal finite index subgroups of \(\Gamma_0\) such that \[ |\Gamma:\Delta_j|<|\Gamma:\Delta_{j+1}|\leq d|\Gamma:\Delta_j|. \] To say that the family \(\Delta_j\), \(j\in\mathbb N\), is prime means that \(\Gamma_0=(\bigcap_{i=1}^j\Delta_i)\Delta_{j+1}\) for all \(j\in\mathbb N\). The theorem is motivated by the following special case: if \(\Gamma=\Gamma_0=\mathbb Z\) and \(\Delta_j=p_j\mathbb Z\), where \(p_j\) denotes the \(j\)th prime number, then by Bertrand's postulate the desired inequality for indices holds for \(d=2\). The proof of the general result depends on the `Lubotzky alternative' and the Strong Approximation Theorem for arithmetic groups. The authors also show how a weaker version of their result can be proved without using these tools. The paper further contains two examples of groups with infinite normal average. The first Grigorchuk group, which is a subgroup of the automorphism group of an infinite rooted binary tree, provides an example of a finitely generated, residually finite group which is non-linear and has infinite normal average. The compact \(p\)-adic Lie group \(\mathrm{SL}_n(\mathbb Z_p)\) is given as an example of a linear group, which is not finitely generated (as an abstract group) and has infinite normal average. The paper concludes with a few remarks on averaging over other kinds of densities and on connections to zeta functions which are defined in terms of indices of normal subgroups. The paper is very readable and well motivated, but unfortunately it contains several minor slips. For instance, claims made about the normal subgroup structure of the group \(\mathrm{SL}_n(\mathbb Z_p)\) are not completely correct when \(p\mid n\).
    0 references
    Bertrand's postulate
    0 references
    divisibility function
    0 references
    residual average
    0 references
    subgroup growth
    0 references
    residual finiteness
    0 references
    subgroups of finite index
    0 references
    0 references
    0 references

    Identifiers