in this paper we introduce the construction of free profinite products of profinite groups withcommuting subgroups. we study a particular case: the proper free profinite products of profinite groups with commuting subgroups. we prove some conditions for a free profinite product of profinite groups with commuting subgroups to be proper. we derive some consequences. we also compute profinite comp...

We investigate the profinite completions of a certain family of groups acting on trees. It turns out that for some of the groups considered, the completions coincide with the closures of the groups in the full group of tree automorphisms. However, we introduce an infinite series of groups for which that is not so, and describe the kernels of natural homomorphisms of the profinite completions on...

This paper surveys recent developments in the theory of profinite Heyting algebras (resp. bounded distributive lattices, Boolean algebras) and profinite completions of Heyting algebras (resp. bounded distributive lattices, Boolean algebras). The new contributions include a necessary and sufficient condition for a profinite Heyting algebra (resp. bounded distributive lattice) to be isomorphic to...

Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean algebras to be isomorphic.

The true prosoluble completion PS(Γ) of a group Γ is the inverse limit of the projective system of soluble quotients of Γ. Our purpose is to describe examples and to point out some natural open problems. We discuss a question of Grothendieck for profinite completions and its analogue for true prosoluble and true pronilpotent completions.

We study profinite completion of spaces in the model category of profinite spaces and construct a rigidification of the completion functors of Artin-Mazur and Sullivan which extends also to non-connected spaces. Another new aspect is an equivariant profinite completion functor and equivariant fibrant replacement functor for a profinite group acting on a space. This is crucial for applications w...