About influence of maximal subgroups of primary index on the structure of a finite group (Q1909845): Difference between revisions

It is well-known that each maximal subgroup of a finite solvable group has primary index. A theorem of \textit{R. Guralnick} is a converse of this result [see J. Algebra 81, 304-311 (1983; Zbl 0515.20011)]. Let \(K\) be a normal subgroup of a finite group \(G\). Extending this theorem, \textit{V. S. Monakhov} and \textit{M. V. Sel'kin} [see Mat. Zametki 51, No. 3, 85-90 (1992; Zbl 0833.20031)] proved that the index of any maximal subgroup of \(G\), not containing \(K\), is primary if and only if either the subgroup \(K\) is solvable or \(K/S(K)\cong\text{PSL}(2,7)\), where \(S(K)\) is the solvable radical of \(K\). In the present paper this result is generalized. Theorem. Let \(K\) be a subnormal subgroup of finite group \(G\). Then each maximal subgroup of \(G\), not containing \(K\), has primary index if and only if one of the following assertions holds: 1) \(K\) is solvable; 2) the group \(G/S(K^G)\) is representable in the form \(G/S(K^G)=K^G/S(K^G)\times H/S(K^G)\), and \(K^G/S(K^G)\cong\text{PSL}(2,7)\) and \(H=H^{\mathcal F}\), where \(\mathcal F\) is the formation generated by the group \(\text{PSL}(2,7)\) and \(H^{\mathcal F}\) is the \(\mathcal F\)-coradical of a group \(H\).