Closed subgroups of free profinite monoids are projective profinite groups

Abstract

We prove that the class of closed subgroups of free profinite monoids is precisely the class of projective profinite groups. In particular, the profinite groups associated to minimal symbolic dynamical systems by Almeida are projective. Our result answers a question raised by Lubotzky during the lecture of Almeida at the Fields Workshop on Profinite Groups and Applications, Carleton University, August 2005. We also prove that any finite subsemigroup of a free profinite monoid consists of idempotents.

References in corpus (1)

• A Profinite Approach to Stable Pairs

Cited by in corpus (6)

• Presentations of Schutzenberger groups of minimal subshifts
• Profinite Groups Associated to Sofic Shifts are Free
• A geometric interpretation of the Schützenberger group of a minimal subshift
• Pronilpotent quotients associated with primitive substitutions
• On free profinite subgroups of free profinite monoids
• A profinite approach to complete bifix decodings of recurrent languages