Random generation of finite simple groups by \(p\)-regular or \(p\)-singular elements (Q5951506)

From MaRDI portal
Revision as of 23:46, 4 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article; zbMATH DE number 1686090
Language Label Description Also known as
English
Random generation of finite simple groups by \(p\)-regular or \(p\)-singular elements
scientific article; zbMATH DE number 1686090

    Statements

    Random generation of finite simple groups by \(p\)-regular or \(p\)-singular elements (English)
    0 references
    0 references
    24 April 2003
    0 references
    Let \(G\) run over the finite simple groups. It is known that if \(x\) and \(y\) are randomly chosen elements of \(G\), then the probability that \(x\) and \(y\) generate the whole of \(G\) tends to \(1\) as \(|G|\to\infty\) [see \textit{J. D. Dixon}, Math. Z. 110, 199-205 (1969; Zbl 0176.29901); \textit{W. M. Kantor} and \textit{A. Lubotzky}, Geom. Dedicata 36, No. 1, 67-87 (1990; Zbl 0718.20011); and \textit{M. W. Liebeck} and \textit{A. Shalev}, Geom. Dedicata 56, No. 1, 103-113 (1995; Zbl 0836.20068)]. It is also known that the same conclusion holds even when \(x\) and \(y\) are restricted in various ways. The present paper gives a further theorem along these lines. The author proves that for any fixed prime \(p\) the same conclusion holds in each of the following cases: (i) both \(x\) and \(y\) are randomly chosen \(p\)-regular elements; (ii) if \(p\mid|G|\) (and \(G\neq L_2(q)\) with \(q\) even when \(p=2\)), and both \(x\) and \(y\) are randomly chosen \(p\)-singular elements; or (iii) if \(p\mid|G|\), and \(x\) is a randomly chosen \(p\)-singular element and \(y\) is a randomly chosen \(p\)-regular element. A principal idea behind the proof is the following. For any subset \(S\subseteq G\), let \(Q_S(G)\) denote the probability that two random elements from \(S\) do \textit{not} generate \(G\). Then there is a constant \(c\) such that for each finite simple group \(G\) and each subset \(S\), we have \(Q_S(G)\leq c|G|^2m(G)^{-1}|S|^{-2}\) where \(m(G)\) is the smallest index of a proper subgroup in \(G\).
    0 references
    0 references
    random generation
    0 references
    finite simple groups
    0 references
    \(p\)-regular elements
    0 references
    \(p\)-singular elements
    0 references

    Identifiers

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