English

On the length of finite groups and of fixed points

Group Theory 2015-01-30 v3

Abstract

The generalized Fitting height of a finite group GG is the least number h=h(G)h=h^*(G) such that Fh(G)=GF^*_h(G)=G, where the Fi(G)F^*_i(G) is the generalized Fitting series: F1(G)=F(G)F^*_1(G)=F^*(G) and Fi+1(G)F^*_{i+1}(G) is the inverse image of F(G/Fi(G))F^*(G/F^*_{i}(G)). It is proved that if GG admits a soluble group of automorphisms AA of coprime order, then h(G)h^*(G) is bounded in terms of h(CG(A))h^* (C_G(A)), where CG(A)C_G(A) is the fixed-point subgroup, and the number of prime factors of A|A| counting multiplicities. The result follows from the special case when A=φA=\langle\varphi\rangle is of prime order, where it is proved that F(CG(φ))F9(G)F^*(C_G(\varphi ))\leqslant F^*_{9}(G). The nonsoluble length λ(G)\lambda (G) of a finite group GG is defined as the minimum number of nonsoluble factors in a normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. It is proved that if AA is a group of automorphisms of GG of coprime order, then λ(G)\lambda (G) is bounded in terms of λ(CG(A))\lambda (C_G(A)) and the number of prime factors of A|A| counting multiplicities.

Keywords

Cite

@article{arxiv.1405.1946,
  title  = {On the length of finite groups and of fixed points},
  author = {E. I. Khukhro and P. Shumyatsky},
  journal= {arXiv preprint arXiv:1405.1946},
  year   = {2015}
}

Comments

new corrections made