Finite simple groups with two maximal subgroups of coprime orders (Q6587449)

Let \(G\) be a finite group and let \(H, M \leq G\) be two maximal subgroups of \(G\). A group \(G\) is of type \(\mathfrak{A}\) if \(G=Q \rtimes P\) with \(|P|=p\), \(|Q|=q^{\beta}\) (\(p \not = q\) primes), \(q^{\beta} \equiv 1 \mod p\) and \(\beta\) is the least positive integer with this property (e.g. \(S_{3}\) and \(A_{4}\) are groups of type \(\mathfrak{A}\)). \textit{V. A. Belonogov} [Izv. Vyssh. Uchebn. Zaved., Mat. 1962, No. 4(29), 13--18 (1962; Zbl 0135.05205), Theorem 8] proved that if \((|H|,|M|)=1\), then \(G\) is a cyclic group of order \(pq\), where \(p\) and \(q\) are distinct primes or \(G\) is a group of type \(\mathfrak{A}\) or \(G\) is simple.\N\NIn the paper under review, the author completes Belonogov's work [loc. cit.] by classifying all simple finite groups \(G\) that have two maximal subgroups \(H, M\) such that \((|H|,|M|)=1\). The proof is based on the classification of finite simple groups and in particular on the work of \textit{M. W. Liebeck} and \textit{J. Saxl} [Commun. Algebra 19, No. 10, 2777--2786 (1991; Zbl 0731.20003)].\N\NThe reviewer points out that, since \(H \cap M=1\), an easy computation shows that \(G=HM\) and hence \(G\) is a factorized group. So the results in [\textit{M. W. Liebeck} et al., The maximal factorizations of the finite simple groups and their automorphism groups. Providence, RI: American Mathematical Society (AMS) (1990; Zbl 0703.20021)] could have simplified the proofs.