An upper bound on the Chebotarev invariant of a finite group

DOI10.1007/S11856-017-1507-XMaRDI QIDQ2357014zbMATH OpenOpenAlexFDO

Authors Andrea Lucchini, Gareth M. Tracey

Publication date 7 June 2017

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2001.06484

zbMATH Keywords

Chebotarev invariantsfinite groupsinvariable generation

Mathematics Subject Classification ID

Arithmetic and combinatorial problems involving abstract finite groups (20D60) Abstract finite groups (20D99) Generators, relations, and presentations of groups (20F05) Probabilistic methods in group theory (20P05)

Abstract: A subset $g_1,ldots,g_d$ of a finite group $G$ invariably generates $G$ if the set $g_1^{x_1},ldots,g_d^{x_d}$ generates $G$ for every choice of $x_{i}inG$. The Chebotarev invariant $C(G)$ of $G$ is the expected value of the random variable $n$ that is minimal subject to the requirement that $n$ randomly chosen elements of $G$ invariably generate $G$. The first author recently showed that $$ for some absolute constant $$. In this paper we show that, when $G$ is soluble, then $$ is at most $5/3$. We also show that this is best possible. Furthermore, we show that, in general, for each $epsilon>0$ there exists a constant $c_{epsilon}$ such that $C(G)le(1+epsilon)sqrt|G|+c_{epsilon}$.

Review text

Let \(G\) be a finite group. Its subset \(\{g_1,g_2,\dots, g_d\}\) `invariably generates' \(G\) if \(\{x^{-1}_j-g_jx_j: 1\leq j\leq d\}\) generates \(G\) for every choice of the \(x_j\) in \(G\). Then, the Chebotarev invariant \(C(G)\) of \(G\) is the expected value of the random variable \(n\) that is minimal subject to the requirement that \(n\) randomly chosen elements of \(G\) invariably generate \(G\). Improving on results of the first author, the authors prove the following. For each \(\varepsilon>0\) there is a constant \(c(\varepsilon)\) such that for any finite group \(G\) \[ C(G)\leq c(\varepsilon)+ (1+ \varepsilon)\sqrt{|G|}. \] Moreover, if \(G\) is soluble then \(C(G)\leq(5/3)\sqrt{|G|}\) and then the maximum value for \(C(G)/\sqrt{|G|}\) is attained only for the Klein 4-group.

Recommendations

• Finite groups with large Chebotarev invariant
• Invariable generation of groups of finite rank
• The Chebotarev invariant of a finite group: a conjecture of Kowalski and Zywina
• Invariable generation and the Chebotarev invariant of a finite group.
• Invariable generation of permutation and linear groups

Cites work

• Classes of Finite Groups
• Cohomological characterisations of finite solvable and nilpotent groups
• Crowns and factorization of the probabilistic zeta function of a finite group.
• scientific article; zbMATH DE number 1261512 (Why is no real title available?)
• scientific article; zbMATH DE number 1154720 (Why is no real title available?)
• Invariable generation and the Chebotarev invariant of a finite group.
• On complemented nonabelian chief factors of a finite group
• Pre-Frattini groups.
• Random sets which invariably generate the symmetric group
• The Chebotarev invariant of a finite group.
• The Chebotarev invariant of a finite group: a conjecture of Kowalski and Zywina
• The expected number of random elements to generate a finite Abelian group

Cited in

(7)

• On Göbel's bound for invariants of permutation groups
• Finite groups with large Chebotarev invariant
• On the probability of generating invariably a finite simple group
• The Chebotarev invariant of a finite group.
• Invariable generation and the Chebotarev invariant of a finite group.
• The Chebotarev invariant of a finite group: a conjecture of Kowalski and Zywina
• The Chebotarev invariant for direct products of nonabelian finite simple groups

This page was built for publication: An upper bound on the Chebotarev invariant of a finite group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2357014)