0000000000340604
AUTHOR
Paz Jiménez-seral
The number of maximal subgroups and probabilistic generation of finite groups
[EN] In this survey we present some significant bounds for the number of maximal subgroups of a given index of a finite group. As a consequence, new bounds for the number of random generators needed to generate a finite d-generated group with high probability which are significantly tighter than the ones obtained in the paper of Jaikin-Zapirain and Pyber (Random generation of finite and profinite groups and group enumeration, Ann. Math., 183 (2011) 769-814) are obtained. The results of Jaikin-Zapirain and Pyber, as well as other results of Lubotzky, Detomi, and Lucchini, appear as particular cases of our theorems.
Large characteristically simple sections of finite groups
In this paper we prove that if G is a group for which there are k non-Frattini chief factors isomorphic to a characteristically simple group A, then G has a normal section C/R that is the direct product of k minimal normal subgroups of G/R isomorphic to A. This is a significant extension of the notion of crown for isomorphic chief factors.
Bounds on the number of maximal subgroups of finite groups
In this paper we obtain significant bounds for the number of maximal subgroups of a given index of a finite group. These results allow us to give new bounds for the number of random generators needed to generate a finite $d$-generated group with high probability.
Maximal subgroups of small index of finite almost simple groups
We prove in this paper that a finite almost simple group $R$ with socle the non-abelian simple group $S$ possesses a conjugacy class of core-free maximal subgroups whose index coincides with the smallest index $\operatorname{l}(S)$ of a maximal group of $S$ or a conjugacy class of core-free maximal subgroups with a fixed index $v_S \leq {\operatorname{l}(S)^2}$, depending only on $S$. We show that the number of subgroups of the outer automorphism group of $S$ is bounded by $\log^3 {\operatorname{l}(S)}$ and $\operatorname{l}(S)^2 < |S|$.