On the solvability of finite groups. (English) Zbl 0656.20031
In earlier papers the author has shown that normality of certain subgroups insures solvability or supersolvability. In this paper he shows that normality can be replaced by quasinormality.
Let G be a finite group and define \(A_ 1=\{H\leq G:\) H has prime order or is cyclic of order \(4\}\), \(A_ 2=\{H\leq G:\) H has order 2p, p an odd prime\(\}\) and \(A_ 3=\{H\leq G:\) H has order 2pq, p and q primes not necessarily odd or distinct\(\}\).
Theorem 3.1. If each element of \(A_ 1\) is quasinormal in G then G is supersolvable. Theorem 3.2. If G has even order and each element of \(A_ 2\) is quasinormal in G then G is solvable. Theorem 3.3. If G has even order and each element of \(A_ 3\) is quasinormal in G then G is solable. (Note: The proof of Theorem 3.3. does not seem to allow \(A_ 3\) to contain a subgroup of order \(2p^ 2\), p an odd prime.)
Let G be a finite group and define \(A_ 1=\{H\leq G:\) H has prime order or is cyclic of order \(4\}\), \(A_ 2=\{H\leq G:\) H has order 2p, p an odd prime\(\}\) and \(A_ 3=\{H\leq G:\) H has order 2pq, p and q primes not necessarily odd or distinct\(\}\).
Theorem 3.1. If each element of \(A_ 1\) is quasinormal in G then G is supersolvable. Theorem 3.2. If G has even order and each element of \(A_ 2\) is quasinormal in G then G is solvable. Theorem 3.3. If G has even order and each element of \(A_ 3\) is quasinormal in G then G is solable. (Note: The proof of Theorem 3.3. does not seem to allow \(A_ 3\) to contain a subgroup of order \(2p^ 2\), p an odd prime.)
Reviewer: W.E.Deskins
MSC:
| 20D35 | Subnormal subgroups of abstract finite groups |
| 20D10 | Finite solvable groups, theory of formations, Schunck classes, Fitting classes, \(\pi\)-length, ranks |
| 20D60 | Arithmetic and combinatorial problems involving abstract finite groups |
References:
| [1] | W. Feit andJ. G. Thompson, Solvability of groups of odd order. Pacific J. Math.13, 755-1029 (1963). · Zbl 0124.26402 |
| [2] | J. Buckley, Finite groups whose minimal subgroups are normal. Math. Z.116, 15-17 (1970). · Zbl 0202.02303 · doi:10.1007/BF01110184 |
| [3] | M.Asaad, On the solvability and supersolvability of finite groups. Egyptian J. Math. Phys., to appear. · Zbl 0293.20015 |
| [4] | M. Asaad, Sufficient conditions for solvability and supersolvability in finite groups. J. Pure Appl. Algebra33, 225-234 (1984). · Zbl 0544.20019 · doi:10.1016/0022-4049(84)90057-4 |
| [5] | H.Huppert, Endliche Gruppen 1. Berlin-Heidelberg-New York 1967. · Zbl 0217.07201 |
| [6] | M.Asaad, Normal 2-subgroups of finite groups. J. Africa Math., to appear. · Zbl 0584.20012 |
| [7] | R. Maier andP. Schmid, The embedding of quasinormal subgroups in finite groups. Math. Z.131, 269-272 (1973). · Zbl 0259.20017 · doi:10.1007/BF01187244 |
| [8] | N. S. N. Sastry andW. E. Deskins, Influence of normality conditions of almost minimal subgroups of a finite group. J. Algebra52, 364-377 (1978). · Zbl 0544.20018 · doi:10.1016/0021-8693(78)90246-6 |
| [9] | K. Doerk, Minimal nicht überauflösbare, endliche Gruppen. Math. Z.91, 198-205 (1966). · Zbl 0135.05401 · doi:10.1007/BF01312426 |
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.
