We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the étale homotopy theory of schemes in which higher profinite étale homotopy groups fit well with the étale fundamental group which is always profinite. We show that the profi...

We solve an open problem of Herfort and Ribes: Profinite Frobenius groups of certain type do occur as closed subgroups of free profinite products of two profinite groups. This also solves a question of Pop about prosolvable subgroups of free profinite products.

A directed set I is a partially ordered set such that for all i, j ∈ I there exists a k ∈ I such that k ≥ i and k ≥ j. An inverse system of groups is a collection of groups {Gi} indexed by a directed set I together with group homomorphisms πij : Gi −→ Gj whenever i ≥ j such that πii = idGi and πjk ◦ πij = πik. Let H be a group. We call a family of homomorphisms {ψi : H −→ Gi : i ∈ I} compatible...

We investigate the continuous cohomology of infinite permutation groups on modules whose topology is profinite. To obtain acyclics we expand the class of modules to include those which are directed unions of their profinite submodules. As an application we give a criterion which implies finiteness of the continuous cohomology groups on finitely generated profinite modules for some familiar perm...