On a conjecture of Thompson. (English) Zbl 0748.20012
Let \(A\) be a finite \(p\)-group of order \(p^ n\) acting on a finite \(p\)- soluble group, and suppose it acts fixed-point-freely on every \(A\)- invariant \(p'\)-section. The conjecture in question is that in this situation, the \(p\)-length \(l_ p(G)\) of \(G\) is bounded by a linear function of \(n\). It is known that if \(p\) is odd, then \(l_ p(G)\leq 2^{2+n}-1\) [A. Rae and the reviewer, Bull. Lond. Math. Soc. 5, 197-198 (1973; Zbl 0273.20015)]. The author has conjectured that the correct bound is \(n+1\), and proved this if \(A\) is cyclic of odd order [Math. Z. 196, 323-329 (1987; Zbl 0612.20008)]. In this paper this is established for \(p\geq 5\), provided \(G\) satisfies certain quite strong restrictions. Theorem. With the hypotheses stated in the first sentence, assume that \(p\geq 5\), and that \(G\) is of \(p\)-splitting type with respect to \(G\). If 2 divides \(| G|\) and \(p\) is a Mersenne prime, assume further that \(A\) is \(C_ p\wr C_ p\)-free. Then \(l_ p(G)\leq n+1\). This bound is best possible.
One of the difficulties that beset attempts to prove theorems of this type is the shortage of useful \(A\)-invariant subgroups of \(G\). Another is the absence of an “invariance of centralizers” theorem for the action of \(A\) on sections of \(G\). The latter is to some extent compensated for by the hypothesis on the action of \(A\) on the \(A\)-invariant \(p'\)- sections. The \(p\)-splitting type hypothesis ensures a reasonable supply of \(A\)-invariant subgroups. Even with it, as often is the case in theorems of this type, the proof is quite involved, and finally comes down to character-theoretic questions, regular orbit theorems, and the like, which are too technical to discuss in detail here. We give the definition of \(p\)-splitting type. Definition. Let the finite group \(A\) act on the finite group \(G\). Then \(G\) is of \(p\)-splitting type with respect to \(G\), if (a) \(G=P_ 1P_ 2\dots P_ n\), where \(P_{i+1}\) is \(AP_ 1\dots P_ i\)-invariant for all \(i\). (b) \(P_ i\) is either a \(p\)-group or a \(p'\)-group and \((| P_ i|,| P_{i+1}|)=1\). (c) \(P_ i\) acts faithfully on \(P_{i+1}\). (d) \(AP_ 1\dots P_ i\) normalizes a Sylow \(r\)-subgroup of \(P_{i+1}\) for each prime \(r\).
One of the difficulties that beset attempts to prove theorems of this type is the shortage of useful \(A\)-invariant subgroups of \(G\). Another is the absence of an “invariance of centralizers” theorem for the action of \(A\) on sections of \(G\). The latter is to some extent compensated for by the hypothesis on the action of \(A\) on the \(A\)-invariant \(p'\)- sections. The \(p\)-splitting type hypothesis ensures a reasonable supply of \(A\)-invariant subgroups. Even with it, as often is the case in theorems of this type, the proof is quite involved, and finally comes down to character-theoretic questions, regular orbit theorems, and the like, which are too technical to discuss in detail here. We give the definition of \(p\)-splitting type. Definition. Let the finite group \(A\) act on the finite group \(G\). Then \(G\) is of \(p\)-splitting type with respect to \(G\), if (a) \(G=P_ 1P_ 2\dots P_ n\), where \(P_{i+1}\) is \(AP_ 1\dots P_ i\)-invariant for all \(i\). (b) \(P_ i\) is either a \(p\)-group or a \(p'\)-group and \((| P_ i|,| P_{i+1}|)=1\). (c) \(P_ i\) acts faithfully on \(P_{i+1}\). (d) \(AP_ 1\dots P_ i\) normalizes a Sylow \(r\)-subgroup of \(P_{i+1}\) for each prime \(r\).
Reviewer: B.Hartley (Manchester)
MSC:
| 20D45 | Automorphisms of abstract finite groups |
| 20D10 | Finite solvable groups, theory of formations, Schunck classes, Fitting classes, \(\pi\)-length, ranks |
| 20C15 | Ordinary representations and characters |
| 20D60 | Arithmetic and combinatorial problems involving abstract finite groups |
| 20D15 | Finite nilpotent groups, \(p\)-groups |
Keywords:
fixed-point-free automorphisms; finite \(p\)-group; finite \(p\)-soluble group; \(p\)-length; \(p\)-splitting type; action; regular orbit theoremsReferences:
| [1] | Berger, T. R., Automorphisms of solvable groups, J. Algebra, 27, 311-340 (1973) · Zbl 0281.20010 |
| [2] | Berger, T. R., Nilpotent fixed point free automorphism groups of solvable groups, Math. Z., 131, 305-312 (1973) · Zbl 0246.20017 |
| [3] | Berger, T. R., Hall-Higman type theorems, I, Canad. J. Math., 26, 513-531 (1974) · Zbl 0302.20024 |
| [4] | Berger, T. R., Hall-Higman type theorems, II, Trans. Amer. Math. Soc., 205, 47-49 (1975) · Zbl 0304.20005 |
| [5] | Berger, T. R., Hall-Higman type theorems, V, Pacific J. Math., 73, 1-62 (1977) · Zbl 0412.20004 |
| [6] | Espuelas, A., A noncoprime Shult type theorem, Math. Z., 196, 323-329 (1987) · Zbl 0612.20008 |
| [7] | Espuelas, A., The existence of regular orbits, J. Algebra, 127, 259-268 (1989) · Zbl 0654.20003 |
| [8] | Espuelas, A., Regular orbits on symplectic modules, J. Algebra, 138, 1-12 (1991) · Zbl 0654.20004 |
| [9] | Gorenstein, D., Finite Groups (1980), Chelsea: Chelsea New York · Zbl 0185.05701 |
| [10] | Hartley, B., Sylow \(p\)-subgroups and local \(p\)-solubility, J. Algebra, 23, 347-369 (1972) · Zbl 0246.20022 |
| [11] | Hartley, B.; Rae, A., Finite \(p\)-groups acting on \(p\)-soluble groups, Bull. London Math. Soc., 5, 197-198 (1973) · Zbl 0273.20015 |
| [12] | Huppert, B.; Blackburn, N., Finite Groups, II (1982), Springer: Springer Berlin/Heidelberg/New York · Zbl 0477.20001 |
| [13] | Isaacs, M., Characters of solvable and symplectic groups, Amer. J. Math., 95, 594-635 (1973) · Zbl 0277.20008 |
| [14] | Isaacs, M., Character Theory of Finite Groups (1976), Academic Press: Academic Press New York · Zbl 0337.20005 |
| [15] | Shult, E., On groups admitting fixed point free abelian operator groups, Illinois J. Math., 9, 701-720 (1965) · Zbl 0136.28504 |
| [16] | Thompson, J. G., Automorphisms of solvable groups, J. Algebra, 1, 259-267 (1964) · Zbl 0123.02602 |
| [17] | Turull, A., Supersolvable automorphism groups of solvable groups, Math. Z., 183, 47-73 (1983) · Zbl 0496.20016 |
| [18] | Turull, A., Generic fixed point free action of arbitrary finite groups, Math. Z., 187, 491-503 (1984) · Zbl 0574.20013 |
| [19] | Turull, A., Fixed point free action with regular orbits, J. Reine Angew. Math., 371, 67-91 (1986) · Zbl 0587.20017 |
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.
