×

The Fitting length of solvable \(H_{p^ n}\)-groups. (English) Zbl 0584.20010

Let p be a prime and \(n\geq 1\) an integer. The generalized Hughes subgroup \(H_{p^ n}(G)\) of a finite group G is defined by \(H_{p^ n}(G)=<x\in G:\) \(x^{p^ n}\neq 1>\). It is known that if \(H_ p(G)<G\), then \(H_ p(G)\) is nilpotent. The present paper is concerned with bounding the nilpotent or Fitting length of \(H_{p^ n}(G)\), under the assumption that it is soluble and a proper subgroup of G. Actually this gives the same bound as the Fitting length h(G) of G. Under the assumptions just stated, it is shown that h(G)\(\leq 2n\) if \(p\neq 2\) and h(G)\(\leq 4n\) if \(p=2\). This improves a quadratic bound obtained by A. Rae and the reviewer [Bull. Lond. Math. Soc. 5, 197-198 (1973; Zbl 0273.20015)]. Problems of this type are analogous to fixed point free automorphism questions, since each element \(x\in G\setminus H_{p^ n}(G)\) has order dividing \(p^ n\) and acts fixed point freely on every invariant p’-section of \(H_{p^ n}(G)\), and so the method of proof involves studying actions of sections of the upper Fitting series on one another by representation theoretic methods. It is suggested that the correct bound is perhaps h(G)\(\leq n\) if \(H_{p^ n}(G)\) is a soluble proper subgroup of G, and there is some discussion of this. A. Espuelas [J. Algebra (to appear)] has since verified that this is the case if \(p\neq 2\). Also Turau has shown that with the same hypothesis, the 2-length of \(H_{2^ n}(G)\) is at most 2n.
Reviewer: B.Hartley

MSC:

20D10 Finite solvable groups, theory of formations, Schunck classes, Fitting classes, \(\pi\)-length, ranks
20D45 Automorphisms of abstract finite groups
20D60 Arithmetic and combinatorial problems involving abstract finite groups

Citations:

Zbl 0273.20015
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Berger, T., Nilpotent fixed-point-free automorphism groups of solvable groups, Math. Z., 131, 305-312 (1973) · Zbl 0246.20017 · doi:10.1007/BF01174905
[2] J. A. Gallian,The Hughes Problem and Generalisations, Conference on Finite Groups (Salt Lake City, Utah, 1975), New York (1976), 521-528. · Zbl 0384.20018
[3] Gorenstein, D., Finite Groups (1968), New York: Harper and Row, New York · Zbl 0185.05701
[4] Gross, F., The 2-length of finite solvable groups, Pac. J. Math., 15, 1221-1237 (1965) · Zbl 0136.01501
[5] Gross, F., Solvable groups admitting a fixed-point-free automorphism of prime power order, Proc. Am. Math. Soc., 17, 1440-1446 (1966) · Zbl 0147.27201 · doi:10.2307/2035759
[6] Gross, F., Groups admitting a fixed-point-free automorphism of order 2^n, Pac. J. Math., 24, 269-275 (1968) · Zbl 0157.05702
[7] Gross, F., Elementary abelian operator groups, Bull. Aust. Math. Soc., 7, 91-100 (1972) · Zbl 0241.20016 · doi:10.1017/S0004972700044841
[8] Hall, P.; Higman, G., On the p-length of p-solvable groups and reduction theorems for Burnside’s problem, Proc. London Math. Soc., 6, 3, 1-42 (1956) · Zbl 0073.25503 · doi:10.1112/plms/s3-6.1.1
[9] B. Hartley,A theorem of Gross on exceptional elements in (2-)soluble linear groups over fields of characteristic two, unpublished.
[10] Hartley, B.; Rae, A., Finite p-groups acting on p-soluble groups, Bull. London Math. Soc., 5, 197-198 (1973) · Zbl 0273.20015 · doi:10.1112/blms/5.2.197
[11] Hughes, D. R., A problem in group theory (research problem), Bull. Am. Math. Soc., 63, 209-209 (1957)
[12] Hughes, D. R.; Thompson, J. G., The H_p-problem and the structure of H_p-groups, Pac. J. Math., 9, 1097-1102 (1959) · Zbl 0098.25201
[13] Huppert, B., Endliche Gruppen I (1967), New York-Heidelberg-London: Springer, New York-Heidelberg-London · Zbl 0217.07201
[14] Kegel, O. H., Die Nilpotenz der H_p-Gruppen, Math. Z., 75, 373-376 (1961) · Zbl 0104.24904 · doi:10.1007/BF01211033
[15] Kurzweil, H., Eine Verallgemeinerung von Fixpunktfreien Automorphismen endlicher Gruppen, Arch. Math., 22, 136-145 (1971) · Zbl 0218.20022 · doi:10.1007/BF01222552
[16] Shult, E., On groups admitting fixed point free abelian operator groups, Illinois J. Math., 9, 701-720 (1965) · Zbl 0136.28504
[17] Yoshida, T., On the Hall-Higman and Shult theorems (II), Hokkaido Math. J., 9, 275-276 (1980) · Zbl 0479.20004
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.