Restrictions on maximal invariant subgroups implying solvability of finite groups. (English) Zbl 1446.20030
Actions of groups on groups by automorphisms play a major role in the study of finite groups. An interesting case of such actions is the coprime action: two groups \(A\) and \(G\) of coprime indices such that \(A\) acts on \(G\) as a group of automorphisms. The aim of this paper is to obtain the solubility of an \(A\)-group \(G\) such that \(\gcd(|A|, |G|)=1\) when we impose some restriction on its maximal \(A\)-invariant proper subgroups.
The first main result can be understood as a generalisation of Schmidt’s theorem on minimal non-nilpotent groups.
Theorem A. Let \(G\) and \(A\) be finite groups of coprime orders such that \(A\) acts on \(G\) by automorphisms. If every maximal \(A\)-invariant proper subgroup of \(G\) is nilpotent but \(G\) is not, then \(G\) is soluble and \(|G|=p^aq^b\) for two distinct primes \(p\) and \(q\), and \(G\) has a normal \(A\)-invariant Sylow subgroup.
The second main result generalises a theorem of Thompson.
Theorem B. Let \(G\) and \(A\) be finite groups of coprime orders such that \(A\) acts on \(G\) by automorphisms. If \(G\) has a nilpotent maximal \(A\)-invariant subgroup of odd order, then \(G\) is soluble.
Some extensions of Theorem A are also proved.
Theorem C. Let \(G\) and \(A\) be finite groups of coprime orders such that \(A\) acts on \(G\) by automorphisms. If every non-nilpotent maximal \(A\)-invariant proper subgroup of \(G\) has prime index, then \(G\) is soluble.
Theorem D. Let \(G\) and \(A\) be finite groups of coprime orders such that \(A\) acts on \(G\) by automorphisms and let \(p\) be a prime divisor of \(|G|\). If the indices of all non-nilpotent maximal \(A\)-invariant subgroups of \(G\) are powers of \(p\), then \(G\) is soluble.
Theorem E. Let \(G\) and \(A\) be finite groups of coprime orders such that \(A\) acts on \(G\) by automorphisms. If every maximal \(A\)-invariant proper subgroup of \(G\) is supersoluble, then \(G\) is soluble.
The first main result can be understood as a generalisation of Schmidt’s theorem on minimal non-nilpotent groups.
Theorem A. Let \(G\) and \(A\) be finite groups of coprime orders such that \(A\) acts on \(G\) by automorphisms. If every maximal \(A\)-invariant proper subgroup of \(G\) is nilpotent but \(G\) is not, then \(G\) is soluble and \(|G|=p^aq^b\) for two distinct primes \(p\) and \(q\), and \(G\) has a normal \(A\)-invariant Sylow subgroup.
The second main result generalises a theorem of Thompson.
Theorem B. Let \(G\) and \(A\) be finite groups of coprime orders such that \(A\) acts on \(G\) by automorphisms. If \(G\) has a nilpotent maximal \(A\)-invariant subgroup of odd order, then \(G\) is soluble.
Some extensions of Theorem A are also proved.
Theorem C. Let \(G\) and \(A\) be finite groups of coprime orders such that \(A\) acts on \(G\) by automorphisms. If every non-nilpotent maximal \(A\)-invariant proper subgroup of \(G\) has prime index, then \(G\) is soluble.
Theorem D. Let \(G\) and \(A\) be finite groups of coprime orders such that \(A\) acts on \(G\) by automorphisms and let \(p\) be a prime divisor of \(|G|\). If the indices of all non-nilpotent maximal \(A\)-invariant subgroups of \(G\) are powers of \(p\), then \(G\) is soluble.
Theorem E. Let \(G\) and \(A\) be finite groups of coprime orders such that \(A\) acts on \(G\) by automorphisms. If every maximal \(A\)-invariant proper subgroup of \(G\) is supersoluble, then \(G\) is soluble.
Reviewer: Ramón Esteban-Romero (València)
MSC:
| 20D20 | Sylow subgroups, Sylow properties, \(\pi\)-groups, \(\pi\)-structure |
| 20D10 | Finite solvable groups, theory of formations, Schunck classes, Fitting classes, \(\pi\)-length, ranks |
| 20D15 | Finite nilpotent groups, \(p\)-groups |
Keywords:
finite group; maximal subgroup; coprime action; group action on groups; soluble group; nilpotent group; supersoluble groupReferences:
| [1] | Schmidt, O.J.: Uber Gruppen, deren samtliche Teiler spezielle Gruppen sind. Mat. Sb. 31, 366-372 (1924) · JFM 55.0672.04 |
| [2] | Shao, C., Beltrán, A.: Indices of maximal invariant subgroups and solvability of finite groups (submitted) · Zbl 1491.20045 |
| [3] | Lu, L., Pang, L., Zhong, X.: Finite groups with non-nilpotent maximal subgroups. Monatshefte Math. 171, 425-431 (2013) · Zbl 1277.20017 · doi:10.1007/s00605-012-0432-7 |
| [4] | Guralnick, R.M.: Subgroups of prime power index in a simple group. J. Algebra 81(2), 304-311 (1983) · Zbl 0515.20011 · doi:10.1016/0021-8693(83)90190-4 |
| [5] | Huppert, B.: Endliche Gruppen. I. Springer, Berlin (1967) · Zbl 0217.07201 · doi:10.1007/978-3-642-64981-3 |
| [6] | Conway, J.H., Curtis, R.T., Norton, S.P., Parker, R.A., Wilson, R.A.: Atlas of Finite Groups. Oxford University Press, London (1985) · Zbl 0568.20001 |
| [7] | Kurzweil, H., Stellmacher, B.: The Theory of Finite Groups. An introduction. Springer, Berlin (2004) · Zbl 1047.20011 · doi:10.1007/b97433 |
| [8] | Beltrán, A., Shao, C.: On the number of invariant Sylow subgroups under coprime action. J. Algebra 490, 380-389 (2017) · Zbl 1385.20010 · doi:10.1016/j.jalgebra.2017.07.005 |
| [9] | Beltrán, A.: Action with nilpotent fixed point subgroup. Arch. Math. 69(3), 177-184 (1997) · Zbl 0917.20005 · doi:10.1007/s000130050107 |
| [10] | Gorenstein, D.: Finite Groups. Harper & Row, New York (1968) · Zbl 0185.05701 |
| [11] | Huppert, B., Blackburn, H.: Finite Groups II, III. Springer, Berlin (1982) · Zbl 0514.20002 |
| [12] | Rose, J.: On finite insoluble groups with nilpotent maximal subgroups. J. Algebra 48, 182-196 (1977) · Zbl 0364.20034 · doi:10.1016/0021-8693(77)90301-5 |
| [13] | Bianchi, M., Mauri, A.G.B., Hauck, P.: On finite groups with nilpotent Sylow normalizers. Arch. Math. (Basel) 47(3), 193-197 (1986) · Zbl 0605.20017 · doi:10.1007/BF01191993 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
