Finite groups with a large automorphism orbit

DOI10.1016/J.JALGEBRA.2018.12.003MaRDI QIDQ1755568zbMATH OpenOpenAlexWikidataFDO

Authors Alexander Bors

Publication date 10 January 2019

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

automorphism orbitscomposition factorsfinite groups

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) Automorphisms of abstract finite groups (20D45) Arithmetic and combinatorial problems involving abstract finite groups (20D60)

Abstract: We study the nonabelian composition factors of a finite group $G$ assumed to admit an $operatornameAut(G)$-orbit of length at least $ho|G|$, for a given $hoinleft(0,1ight]$. Our main results are the following: The orders of the nonabelian composition factors of $G$ are then bounded in terms of $ho$, and if $ho>frac1819$, then $G$ is solvable. On the other hand, for each nonabelian finite simple group $S$, there is a constant $c(S)inleft(0,1ight]$ such that $S$ occurs with arbitrarily large multiplicity as a composition factor in some finite group $G$ having an $operatornameAut(G)$-orbit of length at least $c(S)|G|$.

Review text

Let \(G\) be a finite group and let \(A=\mathrm{Aut}(G)\). A natural problem is to see to what extent the existence of a large \(A\)-orbit in \(G\) influences the structure of \(G\). The author defines the positive rational number \(\mathrm{maol}(G)\) to be the quotient of the largest size of an \(A\)-orbit in \(G\) and the order of \(G\) and he uses it to establish several quantitative results. The main results of this long and technical paper (which uses the CFSG) are rather impressive and they are stated in the main Theorem 1.1.2 as follows. A) If \(\mathrm{maol}(G)\) is larger than \(\frac{18}{19}\), then \(G\) is solvable. The above value is conceivably not the best one possible and the author is asking the question if \(\mathrm{maol}(G)\leq \frac{3}{2}\) for all nonsolvable \(G\). B) There exists a function \(f\) defined on \((0, 1]\) and taking positive values such that for every \(x\in (0, 1]\) and each finite \(G\) with \(\mathrm{maol}(G)\geq x\) the orders of the nonabelian composition factors of \(G\) are at most \(f(x)\). C) For every finite simple nonabelian group \(S\) there exists \(c(S)\in (0, 1]\) such that for each \(N>1\) there exists a finite group \(G\) with \(\mathrm{maol}(G)\geq c(S)\) and such that \(S\) occurs as a composition factor of \(G\) with multiplicity at least \(N\).

Recommendations

• Finite groups with only small automorphism orbits
• Automorphism Orbits and Element Orders in Finite Groups: Almost-Solubility and the Monster
• Finite groups with an automorphism of large order
• Large orbits in coprime actions of solvable groups
• scientific article; zbMATH DE number 3941784

Cites work

• A general Brauer-Fowler theorem and centralizers in locally finite groups
• A random-walk pseudorandom byte generator
• A Remark on Stirling's Formula
• Automorphism Groups of Groups with Trivial Centre
• Block-transitive \(t\)-designs. I: Point-imprimitive designs
• Bounds on the number and sizes of conjugacy classes in finite Chevalley groups with applications to derangements.
• Centralizers of Elements in Locally Finite Simple Groups
• Computing conjugacy class representatives in permutation groups.
• Finite flag-transitive projective planes: A survey and some remarks
• Finite groups with an automorphism of large order
• Flag-transitive Steiner Designs
• Generation of almost simple groups
• scientific article; zbMATH DE number 3645098 (Why is no real title available?)
• scientific article; zbMATH DE number 3771876 (Why is no real title available?)
• scientific article; zbMATH DE number 493037 (Why is no real title available?)
• scientific article; zbMATH DE number 1111401 (Why is no real title available?)
• Uniform random number generation

Cited in

(7)

• Finite groups with an automorphism of large order
• Finite structures with prescribed numbers of orbits of their automorphism group.
• scientific article; zbMATH DE number 4017163 (Why is no real title available?)
• scientific article; zbMATH DE number 3941784 (Why is no real title available?)
• Automorphism Orbits and Element Orders in Finite Groups: Almost-Solubility and the Monster
• Finite groups with an affine map of large order
• Finite groups with only small automorphism orbits

Describes a project that uses

Uses Software

• ATLAS Group Representations
• GAP

This page was built for publication: Finite groups with a large automorphism orbit

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