On the Number of Generators of Finite Images of Free Products of Finite Groups

We prove that the analog of the Grushko–Neumann theorem does not hold for profinite free products of profinite groups. To do that we bound the number of generators of a finite group generated by a family of subgroups of pairwise coprime orders.