Frobenius subgroups of free products of prosolvable groups (Q749658)

Let \({\mathcal C}\) be a class of finite groups closed under the operations of taking subgroups, quotients and extensions. Let A and B be finite groups in \({\mathcal C}\), and let \(G=A\amalg B\) be their free pro-\({\mathcal C}\) product, i.e. G is the coproduct of A and B in the category of pro-C groups. In [Group theory, Proc. Conf., Singapore 1987, 391-403 (1989; Zbl 0705.20021)] we have given a description of the possible structure of a solvable subgroup H of G. Besides from the socalled Zassenhaus groups and dihedral groups, we there found rather special Frobenius subgroups \(H\cong \hat Z_{\pi}\rtimes C\), where \(\pi\) is some set of primes, C is a finite cyclic group, being the Frobenius complement. In the paper under review we show under the additional assumption that \({\mathcal C}\) consists of solvable groups only, Frobenius groups may be realized in G. (The other groups can be always embedded in a free product.) The result depends on the following observation, which is true for solvable groups: Let \(A\hookrightarrow B\twoheadrightarrow C\) be a short exact sequence of finite groups so that A is a minimum normal subgroup of B. Assume C is a dicyclic Frobenius group, such that the Frobenius complement can be lifted to A, so that it still has the same order (after the lifting). Then one can find a dicyclic Frobenius group in B which maps onto C.