We prove that in every finitely generated profinite group, every subgroup of finite index is open; this implies that the topology on such groups is determined by the algebraic structure. This is deduced from the main result about finite groups: let $w$ be a `locally finite' group word and $d\in\mathbb{N}$. Then there exists $f=f(w,d)$ such that in every $d$-generator finite group $G$, every element of the verbal subgroup $w(G)$ is equal to a product of $f$ $w$-values.
An analogous theorem is proved for commutators; this implies that in every finitely generated profinite group, each term of the lower central series is closed.
The proofs rely on some properties of the finite simple groups, to be established in Part II.
We define and study the class of positively finitely related (PFR) profinite groups. Positive finite relatedness is a probabilistic property of profinite groups which provides a first step to defining higher finiteness properties of profinite groups which generalize the positively finitely generated groups introduced by Avinoam Mann. We prove many asymptotic characterisations of PFR groups, for instance we show the following: a finitely presented profinite group is PFR if and only if it has at most exponential representation growth, uniformly over finite fields (in other words: the completed g…
We construct the first example of a finitely-presented, residually-finite group that contains an infinite sequence of non-isomorphic finitely-presented subgroups such that each of the inclusion maps induces an isomorphism of profinite completions.
In this paper we prove that the profinite completion $\mathcal{\hat G}$ of the Grigorchuk group $\mathcal{G}$ is not finitely presented as a profinite group. We obtain this result by showing that $H^2(\mathcal{\hat G},\field{F}_2)$ is infinite dimensional. Also several results are proven about the finite quotients $\mathcal{G}/ St_{\mathcal{G}}(n)$ including minimal presentations and Schur Multipliers.
This article explores the interplay between the finite quotients of finitely generated residually finite groups and the concept of amenability. We construct a finitely generated, residually finite, amenable group $A$ and an uncountable family of finitely generated, residually finite non-amenable groups all of which are profinitely isomorphic to $A$. All of these groups are branch groups. Moreover, picking up Grothendieck's problem, the group $A$ embeds in these groups such that the inclusion induces an isomorphism of profinite completions. In addition, we review the concept of uniform amenabil…
We discuss whether finiteness properties of a profinite group $G$ can be deduced from the probabilistic zeta function $P_G(s)$. In particular we prove that if $P_G(s)$ is rational and all but finitely many nonabelian composition factors of $G$ are groups of Lie type in a fixed characteristic, then $G$ contains only finitely many maximal subgroups.
We give new and improved results on the freeness of subgroups of free profinite groups: A subgroup containing the normal closure of a finite word in the elements of a basis is free; Every infinite index subgroup of a finitely generated nonabelian free profinite group is contained in an infinitely generated free profinite subgroup. These results are combined with the twisted wreath product approach of Haran, an observation on the action of compact groups, and a rank counting argument to prove a conjecture of Bary-Soroker, Fehm, and Wiese, thus providing a quite general sufficient condition for …
Finitely generated (non-abelian) free metabelian pro-p groups, and wreath products of f.g. free abelian pro-p groups, are all finitely axiomatizable in the class of all profinite groups.
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 show this in the case where the subgroups are periodic or of finite rank. If $G$ contains finitely many subgroups $G_1,G_2,...,G_s$ of finite exponent $e$ whose union contains all $γ_k$-values in $G$, it is shown that $γ_k(G)$ has finite $(e,k,s)$-bounded exponent. If $G$ contains finitely many subgroups $G_1,G_2,...,G_s$ of finite rank $r$ whose union contain…
We fix a finitely presented group $Q$ and consider short exact sequences $1\to N\to G\to Q\to 1$ with $G$ finitely generated. The inclusion $N\to G$ induces a morphism of profinite completions $\hat N\to \hat G$. We prove that this is an isomorphism for all $N$ and $G$ if and only if $Q$ is super-perfect and has no proper subgroups of finite index. We prove that there is no algorithm that, given a finitely presented, residually finite group $G$ and a finitely presentable subgroup $P\subset G$, can determine whether or not $\hat P\to\hat G$ is an isomorphism.
Let $S$ be a finitely generated pro-$p$ group. Let $\Emb(S)$ be the class of profinite groups $G$ that have $S$ as a Sylow subgroup, and such that $S$ intersects non-trivially with every non-trivial normal subgroup of $G$. In this paper, we investigate the question of whether or not $\Emb(S)$ has finitely many isomorphism classes. For instance, we give an example where $\Emb(S)$ contains an infinite ascending chain of soluble groups, and on the other hand show that $\Emb(S)$ contains only finitely many isomorphism classes in the case that $S$ is just infinite.
We present novel constructions concerning the homology of finitely generated groups. Each construction draws on ideas of Gilbert Baumslag. There is a finitely presented acyclic group $U$ such that $U$ has no proper subgroups of finite index and every finitely presented group can be embedded in $U$. There is no algorithm that can determine whether or not a finitely presentable subgroup of a residually finite, biautomatic group is perfect. For every recursively presented abelian group $A$ there exists a pair of groups $i:P_A\hookrightarrow G_A$ such that $i$ induces an isomorphism of profinite c…
We investigate whether a finitely generated profinite group G could have a finitely generated infinite image. A result of Dan Segal shows that this is impossible if G is prosoluble. We prove that such an image does not exist if G is semisimple or nonuniversal. We also investigate the existense of dense normal subgroups in $G$.
Profinite detection of free products and free factors
Instituto de Ciencias Matemáticas, CSIC-UAM-UC3M-UCM（数学科学研究所）；Departamento de Matemáticas, Universidad Autónoma de Madrid（马德里自治大学数学系）；Departamento de Matemática, Universidade de Brasília（巴西利亚大学数学系）
We present two uncountable families of finitely generated residually finite groups all having the same profinite completion. One consists of soluble groups, the other of branch groups.
We extend Haran's Diamond Theorem to closed subgroups of a finitely generated free profinite group. This gives an affirmative answer to Problem 25.4.9 in the book Field Arithmetics of Fried and Jarden.
We consider finitely presented,residually finite groups $G$ and finitely generated normal subgroups $A$ such that the inclusion $A\hookrightarrow G$ induces an isomorphism from the profinite completion of $A$ to a direct factor of the profinite completion of $G$. We explain why $A$ need not be a direct factor of a subgroup of finite index in $G$; indeed $G$ need not have a subgroup of finite index that splits as a non-trivial direct product. We prove that there is no algorithm that can determine whether $A$ is a direct factor of a subgroup of finite index in $G$.
We answer a question of Margolis from 1997 by establishing that the maximal subgroup of the minimal ideal of a finitely generated free profinite monoid is a free profinite group. More generally if $\mathbf H$ is variety of finite groups closed under extension and containing $\mathbb Z/p\mathbb Z$ for infinitely may primes $p$, the corresponding result holds for free pro-$\bar{\mathbf H}$ monoids.
We show that property (T) is not profinite, that is, we construct two finitely generated residually finite groups which have isomorphic profinite completions while one admits property (T) and the other does not. This settles a question raised by M. Kassabov.
We introduce and investigate a class of profinite groups defined via extensions of centralizers analogous to the extensively studied class of finitely generated fully residually free groups, that is, limit groups (in the sense of Z. Sela). From the fact that the profinite completion of limit groups belong to this class, results on their group-theoretical structure and homological properties are obtained.
We obtain some general restrictions on the continuous endomorphisms of a profinite group G under the assumption that G has only finitely many open subgroups of each index (an assumption which automatically holds, for instance, if G is finitely generated). In particular, given such a group G and a continuous endomorphism phi we obtain a semidirect decomposition of G into a 'contracting' normal subgroup and a complement on which phi induces an automorphism; both the normal subgroup and the complement are closed. If G is isomorphic to a proper open subgroup of itself, we show that G has an infini…
We prove two results. (1) There is an absolute constant $D$ such that for any finite quasisimple group $S$, given 2D arbitrary automorphisms of $S$, every element of $S$ is equal to a product of $D$ `twisted commutators' defined by the given automorphisms. (2) Given a natural number $q$, there exist $C=C(q)$ and $M=M(q)$ such that: if $S$ is a finite quasisimple group with $| S/\mathrm{Z}(S)| >C$, $β_{j}$ $ (j=1,...,M)$ are any automorphisms of $S$, and $q_{j}$ $ (j=1,...,M)$ are any divisors of $q$, then there exist inner automorphisms $α_{j}$ of $S$ such that $S=\prod_{1}^{M}[S,(α_{j}β_{j})^…
We prove that if a Cartesian product of alternating groups is topologically finitely generated, then it is the profinite completion of a finitely generated residually finite group. The same holds for Cartesian producs of other simple groups under some natural restrictions.
To a finitely generated profinite group $G$, a formal Dirichlet series $P_G(s)=\sum_{n \in \mathbb N} {a_n(G)}/{n^s}$ is associated, where $a_n(G)=\sum_{|G:H|=n}μ(H, G)$ and $μ(H,G)$ denotes the Möbius function of the lattice of open subgroups of $G.$ Its formal inverse $P_G^{-1}(s)$ is the probabilistic zeta function of $G$. When $G$ is prosoluble, every coefficient of $(P_G(s))^{-1}$ is nonnegative. In this paper we discuss the general case and we produce % existence of a non-prosoluble example and We construct a non-prosoluble finitely generated group $G$ with the same property.
We introduce a class $\A$ of finitely generated residually finite accessible groups with some natural restriction on one-ended vertex groups in their JSJ-decompositions. We prove that the profinite completion of groups in $\A$ almost detects its JSJ-decomposition and compute the genus of free products of groups in $\A$.
A soluble pro-p group of finite rank is finitely axiomatizable in the class of all profinite groups if and only if for each open subgroup H, the image of Z(H) in the abelianization of H is finite, subject to some suitable hypothesis of finite presentability.
The residual closure of a subgroup $H$ of a group $G$ is the intersection of all virtually normal subgroups of $G$ containing $H$. We show that if $G$ is generated by finitely many cosets of $H$ and if $H$ is commensurated, then the residual closure of $H$ in $G$ is virtually normal. This implies that separable commensurated subgroups of finitely generated groups are virtually normal. A stream of applications to separable subgroups, polycyclic groups, residually finite groups, groups acting on trees, lattices in products of trees and just-infinite groups then flows from this main result.
We study a generalisation of the family of non-(virtually pro-$p$) hereditarily just infinite profinite groups introduced by J.\! S.\! Wilson in 2010. We prove that this family contains groups of finite lower rank. We also show that many groups in this family are not topologically finitely presentable.
Let $\C$ be a variety of finite groups. We use profinite Bass--Serre theory to show that if $u:H\hookrightarrow G$ is a map of finitely generated residually $\C$ groups such that the induced map $\hat{u}:\hat{H}\rightarrow\hat{G}$ is a surjection of the pro-$\C$ completions, and $G$ has more than one end, then $H$ has the same number of ends as $G$. However if $G$ has one end the number of ends of $H$ may be larger; we observe cases where this occurs for $\C$ the class of finite $p$-groups. We produce a monomorphism of groups $u:H\hookrightarrow G$ such that: either $G$ is hyperbolic but not r…
A profinite group is called small if it has only finitely many open subgroups of index n for each positive integer n. We show that every Frattini cover of a small profinite group is small. A profinite group is called strongly complete if every subgroup of finite index is open. We show that two profinite groups that are elementarily equivalent, in the first-order language of groups, are isomorphic if one of them is strongly complete, extending a result of Moshe Jarden and Alexander Lubotzky which treats the case of finitely generated profinite groups.
We completely describe the finitely generated pro-$p$ subgroups of the profinite completion of the fundamental group of an arbitrary $3$-manifold. We also prove a pro-$p$ analogue of the main theorem of Bass--Serre theory for finitely generated pro-$p$ groups.
We introduce various probablistic finiteness conditions for profinite groups related to positive finite generation (PFG). We investigate completed group rings which are PFG as modules, and use this to answer a question of Kionke and the second author on positively finitely related groups. Using the theory of projective covers, we define and characterise a probabilistic version of the $\mathrm{FP}_n$ property for profinite groups, called $\mathrm{PFP}_n$. Finally, we prove how these conditions are related to previously defined finiteness conditions and each other.
Let $G$ be a profinite group in which for every element $x\in G$ there exists a natural number $q=q(x)$ such that $x^q$ is Engel. We show that $G$ is locally virtually nilpotent. Further, let $p$ be a prime and $G$ a finitely generated profinite group in which for every $γ_k$-value $x\in G$ there exists a natural $p$-power $q=q(x)$ such that $x^q$ is Engel. We show that $γ_k(G)$ is locally virtually nilpotent.
We consider pairs of finitely presented, residually finite groups $P\hookrightarrow\G$ for which the induced map of profinite completions $\hat P\to \hat\G$ is an isomorphism. We prove that there is no algorithm that, given an arbitrary such pair, can determine whether or not $P$ is isomorphic to $\G$. We construct pairs for which the conjugacy problem in $\G$ can be solved in quadratic time but the conjugacy problem in $P$ is unsolvable. Let $\mathcal J$ be the class of super-perfect groups that have a compact classifying space and no proper subgroups of finite index. We prove that there does…
We consider profinite groups in which all commutators are contained in a union of finitely many procyclic subgroups. It is shown that if G is a profinite group in which all commutators are covered by m procyclic subgroups, then G possesses a finite characteristic subgroup M contained in G' such that the order of M is m-bounded and G'/M is procyclic. If G is a pro-p group such that all commutators in G are covered by m procyclic subgroups, then G' is either finite of m-bounded order or procyclic.
Examples are given of profinite groups that are not strongly complete, and have other `bad' properties, yet have only finitely many open subgroups of each finite index. It is shown that a profinite group with the latter property must be finite if it has finite exponent. The problem of characterizing strongly complete groups in terms of their power subgroups is discussed.
We study infinitely iterated wreath products of finite permutation groups with respect to product actions. In particular, we prove that, for every non-empty class of finite simple groups $\mathcal{X}$, there exists a finitely generated hereditarily just infinite profinite group $W$ with composition factors in $\mathcal{X}$ such that any countably based profinite group with composition factors in $\mathcal{X}$ can be embedded into $W$. Additionally we investigate when infinitely iterated wreath products of finite simple groups with respect to product actions are co-Hopfian or non-co-Hopfian.
A topological group G is profinite if it is compact and totally disconnected. Equivalently, G is the inverse limit of a surjective system of finite groups carrying the discrete topology. We discuss how to represent a countably based profinite group as a point in a Polish space. Then we study the complexity of isomorphism using the theory of Borel reducibility in descriptive set theory. For topologically finitely generated profinite groups this complexity is the same as the one of identity for reals. In general, it is the same as the complexity of isomorphism for countable graphs.
A profinite group $G$ is just infinite if every closed normal subgroup of $G$ is of finite index. We prove that an infinite profinite group is just infinite if and only if, for every open subgroup $H$ of $G$, there are only finitely many open normal subgroups of $G$ not contained in $H$. This extends a result recently established by Barnea, Gavioli, Jaikin-Zapirain, Monti and Scoppola, who proved the same characterisation in the case of pro-$p$ groups. We also use this result to establish a number of features of the general structure of profinite groups with regard to the just infinite propert…
Let $w$ be a multilinear commutator word. In the present paper we describe recent results that show that if $G$ is a profinite group in which all $w$-values are contained in a union of finitely (or in some cases countably) many subgroups with a prescribed property, then the verbal subgroup $w(G)$ has the same property as well. In particular, we show this in the case where the subgroups are periodic or of finite rank.
This article is concerned with the representation growth of profinite groups over finite fields. We investigate the structure of groups with uniformly bounded exponential representation growth (UBERG). Using crown-based powers we obtain some necessary and some sufficient conditions for groups to have UBERG. As an application we prove that the class of UBERG groups is closed under split extensions but fails to be closed under extensions in general. On the other hand, we show that the closely related probabilistic finiteness property $PFP_1$ is closed under extensions. In addition, we prove that…
In this expanded account of a talk given at the Oberwolfach Arbeitsgemeinschaft "Totally Disconnected Groups", October 2014, we discuss results of Nikolay Nikolov and Dan Segal on abstract quotients of compact Hausdorff topological groups, paying special attention to the class of finitely generated profinite groups. Our primary source is a paper, entitled "Generators and commutators in finite groups; abstract quotients of compact groups", that was published by Nikolov and Segal in 2012. Sidestepping all difficult and technical proofs, we present a selection of accessible arguments to illuminat…
Given a group word $w$ and a group $G$, the set of $w$-values in $G$ is denoted by $G_w$ and the verbal subgroup $w(G)$ is the one generated by $G_w$. In the present paper we consider profinite groups admitting a word $w$ such that the cardinality of $G_w$ is less than $2^{\aleph_0}$ and $w(G)$ is generated by finitely many $w$-values. For several families of words $w$ we show that under these assumptions $w(G)$ must be finite. Our results are related to the concept of conciseness of group words.
We give two examples of a finitely generated subgroup of a free group and a subset, closed in the profinite topology of a free group, such that their product is not closed in the profinite topology of a free group.
We present examples of closed subsets of a free group such that their product is not closed in the profinite topology. We discuss how to characterize a subset of a free group which is closed in the profinite topology and its product with any finitely generated subgroup of a free group is also closed in the profinite topology.
We exhibit infinitely many pairs of non-isomorphic finitely presented, residually finite groups $Δ$ and $Γ$ with $Δ$ having Property FA, $Γ$ having a non-trivial action on a tree and $Δ$ and $Γ$ having isomorphic profinite completions.
A group word $w$ is said to be strongly concise in a class $\mathscr C$ of profinite groups if, for any group $G$ in $\mathscr C$, either $w$ takes at least continuum values in $G$ or the verbal subgroup $w(G)$ is finite. It is conjectured that all words are strongly concise in the class of all profinite groups. Earlier Detomi, Klopsch, and Shumyatsky proved this conjecture for multilinear commutator words, as well as for some other particular words. They also proved that every group word is strongly concise in the class of nilpotent profinite groups. In the present paper we prove that for any…
