Coprime invariable generation and minimal-exponent groups.

DOI10.1016/J.JPAA.2014.12.005MaRDI QIDQ2341547zbMATH OpenOpenAlexFDO

Authors Eloisa Detomi, Andrea Lucchini, Colva M. Roney-Dougal

Publication date 24 April 2015

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

2-generator subgroupsfinite groupsfinite simple groupsinvariably generated groupsminimal-exponent groupsnumbers of generators

Mathematics Subject Classification ID

Finite simple groups and their classification (20D05) Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10) Arithmetic and combinatorial problems involving abstract finite groups (20D60) Generators, relations, and presentations of groups (20F05)

Abstract: A finite group $G$ is emph{coprimely-invariably generated} if there exists a set of generators $g_1,\mathrm{...},g_u$ of $G$ with the property that the orders $|g_1|,\mathrm{...},|g_u|$ are pairwise coprime and that for all $x_1,\mathrm{...},x_{u}inG$ the set $g_1^{x_1},\mathrm{...},g_u^{x_u}$ generates $G$. We show that if $G$ is coprimely-invariably generated, then $G$ can be generated with three elements, or two if $G$ is soluble, and that $G$ has zero presentation rank. As a corollary, we show that if $G$ is any finite group such that no proper subgroup has the same exponent as $G$, then $G$ has zero presentation rank. Furthermore, we show that every finite simple group is coprimely-invariably generated. Along the way, we show that for each finite simple group $S$, and for each partition $p{i}_1,\mathrm{...},p{i}_u$ of the primes dividing $|S|$, the product of the number $k_{p{i}_i}(S)$ of conjugacy classes of $p{i}_i$-elements satisfies $pro{d}_{i=1}^u{k}_{p{i}_i}(S)leqfrac|S|2|OutS|.$

Review text

This paper studies the finite coprimely invariably generated groups, which are finite groups \(G\) possessing a generator set \(\{g_1,\ldots,g_u\}\) with the properties that the orders \(|g_1|,\ldots,|g_u|\) are pairwise coprime and that for all \(x_1,\ldots,x_u\in G\) the set \(\{g^{x_1}_1,\ldots,g^{x_u}_u\}\) generates \(G\). The main results say that the minimal number of generators for such a group is at most 2 if the group is solvable, and at most 3 in general. Moreover, in Section 3 the authors construct an infinite family of coprimely invariably generated groups \(G\) with \(d(G)=3\) and this shows that the bound given cannot be improved. A motivation for the interest in coprime invariable generation is the fact that this property is satisfied by the so-called minimal exponent groups, which are groups having no proper subgroups of the same exponent. The authors think that the study of coprimely invariably generated groups yields information about whether any finite group contains a 2-generated proper subgroup with the same exponent. Another result states that the presentation rank of coprimely invariably generated groups is zero. Finally, they prove that every finite simple group is coprimely invariably generated by two elements, except for \(O_8^+(2)\) which requires three elements.

Recommendations

• Invariable generation with elements of coprime prime-power orders.
• Invariable generation of groups of finite rank
• Invariable generation and the Chebotarev invariant of a finite group.
• Boundedly generated subgroups of finite groups.
• On groups withd-generator subgroups of coprime index

Cites work

• A theorem on random matrices and some applications
• Boundedly generated subgroups of finite groups.
• Bounds on the number and sizes of conjugacy classes in finite Chevalley groups with applications to derangements.
• Cohomological characterisations of finite solvable and nilpotent groups
• Crowns and factorization of the probabilistic zeta function of a finite group.
• Decomposition of the Relation Modules of a Finite Group
• Generating wreath products and their augmentation ideals
• Generators for finite groups with a unique minimal normal subgroup
• scientific article; zbMATH DE number 3906699 (Why is no real title available?)
• scientific article; zbMATH DE number 3537936 (Why is no real title available?)
• scientific article; zbMATH DE number 1154720 (Why is no real title available?)
• scientific article; zbMATH DE number 1981750 (Why is no real title available?)
• Integral representations. Topics in integral representation theory by I. Reiner. Integral representations and presentations of finite groups by K. W. Roggenkamp
• Invariable generation and the Chebotarev invariant of a finite group.
• On Random Generation of the Symmetric Group
• On the probability of generating a minimal d-generated group
• Probabilistic generation of finite groups with a unique minimal normal subgroup.
• Products of conjugacy classes and fixed point spaces
• Random sets which invariably generate the symmetric group
• Simple groups admit Beauville structures.
• Some applications of the first cohomology group
• The Chebotarev invariant of a finite group.
• The Magma algebra system. I: The user language
• The maximal subgroups of the low-dimensional finite classical groups.
• The presentation rank of a direct product of finite groups
• The probability of generating a finite simple group.
• The smallest group with non-zero presentation rank
• Upper bounds for the number of conjugacy classes of a finite group
• Zu einem von B. H. und H. Neumann gestellten Problem

Cited in

(4)

• Coprime action and arithmetical conditions on invariant conjugacy classes.
• Boundedly generated subgroups of finite groups.
• Invariable generation with elements of coprime prime-power orders.
• Exponent preserving subgroups of the finite simple groups

Describes a project that uses

Uses Software

• Magma

This page was built for publication: Coprime invariable generation and minimal-exponent groups.

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