1: \begin{abstract}
2: We answer a question of Margolis from 1997 by establishing that the
3: maximal subgroup of the minimal ideal of a finitely generated free
4: profinite monoid is a free profinite group. More generally if $\pv
5: H$ is variety of finite groups closed under extension and containing
6: $\mathbb Z/p\mathbb Z$ for infinitely may primes $p$, the
7: corresponding result holds for free pro-$\ov{\pv H}$ monoids.
8: \end{abstract}
9: