1: \begin{abstract}

2: We prove that the class of closed subgroups of free profinite

3: monoids is precisely the class of projective profinite groups. In

4: particular, the profinite groups associated to minimal symbolic

5: dynamical systems by Almeida are projective. Our result answers a question

6: raised by Lubotzky during the lecture of Almeida at the Fields

7: Workshop on Profinite Groups

8: and Applications, Carleton University, August~2005.  We

9: also prove that any finite subsemigroup of a free profinite monoid

10: consists of idempotents.

11: \end{abstract}

12: