Profinite groups with abelian Sylow subgroups

Abstract

We extend the definition of a finite -group to profinite groups and give a description of profinite -groups as a triple semidirect product of two prosoluble groups with a semisimple group, extending an old result of A. M. Broshi to the profinite case. We also prove that a profinite -group with finitely generated non-trivial Fitting subgroup is metabelian-by-(finite exponent). If, in addition, G is finitely generated then it is virtually metabelian polycyclic. Communicated by Mandi Schaeffer Fry