Elementary abelian operator groups (Q1320368): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 13:06, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Elementary abelian operator groups |
scientific article |
Statements
Elementary abelian operator groups (English)
0 references
8 November 1994
0 references
Let \(A\) be an elementary abelian \(p\)-group which acts on a solvable \(p'\)- group \(G\). If \(\phi \in A\), \(C_ G(\phi)\) denotes the fixed point subgroup of \(\phi\). Previous results of \textit{A. Turull} [J. Algebra 86, 555-566 (1984; Zbl 0526.20017)] and of \textit{F. Gross} [Bull. Aust. Math. Soc. 7, 91-100 (1972; Zbl 0241.20016)] indicate that there is a strong connection between the nilpotency length \(l(G)\) of \(G\) and the nilpotency length of the fixed point subgroups of the nontrivial elements of \(A\). The paper contains two main results: 1) Let \(n\) be a positive integer and let \(G\) be a finite solvable \(p'\)-group acted upon by an elementary abelian \(p\)-group \(A\) of order \(p^{n + 1}\). If \(l(C_ G(\phi)) \leq n\) for every nontrivial element \(\phi\) of \(A\), then \(l(G) \leq n + 1\). This theorem shows that the results of Turull and Gross (loc. cit.) provide the best bounds for \(l(G)\) in their cases. 2) Let \(G\) be a periodic solvable \(2'\)-group acted upon by an elementary abelian group \(A\) of order 8. Suppose that \(C_ G(\phi)\) has a nilpotent derived subgroup for every nontrivial element \(\phi\) of \(A\). Then \(l(G') \leq 2\).
0 references
finite solvable groups
0 references
Fitting length
0 references
elementary abelian \(p\)-group
0 references
fixed point subgroup
0 references
nilpotency length
0 references
periodic solvable \(2'\)-group
0 references
nilpotent derived subgroup
0 references