Related papers: Profinite properties of residually free groups
Answering a question of Dan Haran and generalizing some results of Aschbacher-Guralnick and Suzuki, we prove that given a set of primes pi, any finite group can be generated by a pi-subgroup and a pi'-subgroup. This gives a free product…
Let $p$ be a prime. In this paper, we classify the geometric 3-manifolds whose fundamental groups are virtually residually $p$. Let $M=M^3$ be a virtually fibered 3-manifold. It is well-known that $G=\pi_1(M)$ is residually solvable and…
For profinite branch groups, we first demonstrate the equivalence of the Bergman property, uncountable cofinality, Cayley boundedness, the countable index property, and the condition that every non-trivial normal subgroup is open; compact…
The structure of finite and locally finite groups in which every element has prime power order (CP-groups) is well known. In this paper we note that the combination of our earlier results with the available information on the structure of…
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…
We prove that any compact, orientable 3-manifold with empty or toral boundary is profinitely almost rigid among all compact, orientable 3-manifolds. In other words, the profinite completion of its fundamental group determines its…
We prove that the irreducible affine Coxeter groups are first-order rigid and deduce from this that they are profinitely rigid in the absolute sense. We then show that the first-order theory of any irreducible affine Coxeter group does not…
We identify the simple algebraic groups over number fields that are, in a suitable sense, determined by their finite adele points. Assuming CSP and Grothendieck rigidity, our results essentially characterize higher rank arithmetic groups…
Suppose $R$ is a profinite ring. We construct a large class of profinite groups $\widehat{{\scriptstyle\bf L}'{\scriptstyle\bf H}_R}\mathfrak{F}$, including all soluble profinite groups and profinite groups of finite cohomological dimension…
We give a description of finitely generated prosoluble subgroups of the profinite completion of $3$-manifold groups and virtually compact special groups.
Solid abelian groups, as introduced by Dustin Clausen and Peter Scholze, form a subcategory of all condensed abelian groups satisfying some ''completeness'' conditions and having favourable categorical properties. Given a profinite ring…
We study fundamental groups of non compact Riemannian manifolds. We find conditions which ensure that the fundamental group is trivial, finite or finitely generated.
Let $\Pi$ be the \'etale fundamental group of a smooth affine curve over an algebraically closed field of characteristic $p>0$. We establish a criterion for profinite freeness of closed subgroups of $\Pi$. Roughly speaking, if a closed…
We say that a group $G$ is of \textit{profinite type} if it can be realized as a Galois group of some field extension. Using Krull's theory, this is equivalent to the ability of $G$ to be equipped with a profinite topology. We also say that…
We prove that every finite direct product of crystallographic groups arising from an irreducible root system (in the sense of Lie theory) is profinitely rigid (equiv. first-order rigid). This is a generalization of recent proofs of…
We introduce the notion of corestricted free products of a family of profinite groups indexed over an arbitrary profinite space. Using arithmetic results of the second author, this enables us to prove an analogue of Riemann's existence…
For a family of group words $w$ we show that if $G$ is a profinite group in which all $w$-values are contained in a union of finitely many subgroups with a prescribed property, then $w(G)$ has the same property as well. In particular, we…
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 \'etale…
It was conjectured by Milnor in 1968 that the fundamental group of a complete manifold with nonnegative Ricci curvature is finitely generated. The main result of this paper is a counterexample, which provides an example $M^7$ with ${\rm…
We prove that every right-angled Coxeter group (RACG) is profinitely rigid amongst all Coxeter groups. On the other hand we exhibit RACGs which have infinite profinite genus amongst all finitely generated residually finite groups. We also…