About influence of maximal subgroups of primary index on the structure of a finite group (Q1909845): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Sergey Fedorovich Kamornikov / rank | |||
Property / author | |||
Property / author: Sergey Fedorovich Kamornikov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:12, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | About influence of maximal subgroups of primary index on the structure of a finite group |
scientific article |
Statements
About influence of maximal subgroups of primary index on the structure of a finite group (English)
0 references
12 May 1996
0 references
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\).
0 references
maximal subgroups
0 references
finite solvable groups
0 references
solvable radical
0 references
subnormal subgroups
0 references
formations
0 references