Some model theory of profinite groups

arXiv:1705.07264v1 [] 20 May 2017

Tim Clausen and Katrin Tent
May 23, 2017
Abstract

Introduction
The main purpose of these notes is to give more background and details for the
results obtained in [10] which rely heavily on deep results by Lazar, Lubotzky,
Mann, du Sautoy and others. [10] studies profinite groups as two-sorted model
theoretic structures in the language Lprof . A profinite group as Lprof -structure
G = (G, I) consists of a group G, a partial order I, and a binary relation
K ⊆ G×I which encodes a neighborhood basis of the identity consisting of open
subgroups. If K encodes the family of all open subgroups, we call G = (G, I)
a full profinite group. The main result in [10] shows that the theory of a full
profinite group G is NIP if and only if it is NTP2 if and only if G has an open
subgroup which is a finite direct product of compact p-adic analytic groups.
Their theorem yields another characterization for compact p-adic analytic prop groups: A pro-p group G is compact p-adic analytic if and only if the full
profinite group G = (G, I) has NIP (or NTP2 ). A direct proof for will be given
in Section 7. In Section 8 we will study elementary extensions of groups as
Lprof -structures, extending the final remarks of [10].

1

Profinite groups and pro-C groups

Profinite groups are inverse limits of inverse systems of finite groups. Viewing
finite groups as topological groups with the discrete topology, profinite groups
carry the inverse limit topology. Thus, profinite groups are compact Hausdorff
and totally disconnected. Conversely, every such group is profinite.
Suppose C is a formation of finite groups, i.e. a nonempty class of finite groups
closed under isomorphism, taking quotients and subquotients (so if G is a finite
group, N1 , N2 E G, with G/N1 , G/N2 ∈ C then G/(N1 ∩ N2 ) ∈ C. Then a
pro-C group is the inverse limit of a surjective inverse system of groups in C.
Important examples of such classes C of finite groups are the class of all finite
groups, the class of finite solvable groups, the class of finite nilpotent groups,
the class of finite p-groups, where p is a prime, and the class of finite cyclic
groups.
Closed subsets of a profinite groups can be described in terms of open normal
subgroups. In particular, the closed subgroups of a profinite groups can be
approximated by open subgroups in the following sense:
1

Proposition 1.1 (Proposition 1.2 (ii) of [3] and Proposition 2.1.4 (d) of [15]).
Suppose G is a profinite group.
T
(a) For X ⊆ G the closure X of X is given by X = N Eo G XN .
(b) If H ≤c G is a closed (normal) subgroup, then H is the intersection of all
open (normal) subgroups containing H.

1.1

Generating sets and rank

A topological group G is topologically generated by a set X ⊆ G if the subgroup
generated by X is dense in G, that is hXi = G. We denote the minimal size of a
topologically generating set by d(G) and call G (topologically) finitely generated
if this is number is finite.
In many cases, statements about profinite groups can be obtained by pulling
back the information from the finite quotients to the inverse limit. We illustrate
this kind of argument by showing how topological generating sets for profinite
groups are connected to generating sets for their quotients by open normal
subgroups:
Proposition 1.2 (Proposition 1.5 of [3]). Suppose G is a profinite group and
H ≤c G is a closed subgroup.
(a) A subset X ⊆ H generates H topologically if and only if XN/N generates
HN/N for all N Eo G.
(b) Suppose d is a positive integer and d(HN/N ) ≤ d for all N Eo G. Then
d(H) ≤ d.
Proof. (a) If X generates H topologically, then XN/N generates HN/N for
all N Eo G. Now assume XN/N generates HN/N for all N Eo G. Then
hXiN = G for all N Eo G and thus hXi = H by Proposition 1.1.
(b) For an open normal subgroup N Eo G, we denote by YN the set of all dtuples which generate HN/N . By assumption YN is nonempty for all N Eo G.
If N ≤ M are two open normal subgroups of G, then the canonical projection πN M : G/N → G/M maps a generating d-tuple for HN/N to a generating d-tuple for HM/M . Hence we obtain an inverse system {YN , πN M } of
nonempty finite sets. The inverse limit lim YN is nonempty by compactness, so
←−
if (a1 , . . . , ad ) ∈ lim YN , then a1 N, . . . , ad N generate HN/N for all N Eo G.
←−
Hence a1 , . . . , ad generate H topologically by (a).
Since profinite groups are compact, open subgroups have finite index. By
considering continuous homomorphisms to the finite symmetric groups Sm , we
see as in the case of (abstract) finitely generated groups that they have few open
subgroups.
Proposition 1.3 (Proposition 1.6 of [3]). Suppose G is a finitely generated
profinite group. Then G has only finitely many open subgroups of any given
finite index and every open subgroup of G is finitely generated.
Note that in general the converse of Proposition 1.2 (b) need not hold (but it
does hold in powerful pro-p groups, see Theorem 2.10). Therefore we define:
Definition 1.4 (Definition 3.12 of [3]). The rank of a profinite group G is
defined as
rk(G) = sup{d(H) : H ≤o G} ∈ N ∪ {∞}.
2

1.2

Order of profinite groups and Hall subgroups

By Proposition 1.1 every closed subgroup H of a profinite group G is the intersection of the open subgroups of G which contain H. This can be used to
give a definition for the index of closed subgroup H in G that generalizes the
notion of index for finite index subgroups, is well behaved with respect to the
above intersection property, and allows us to perform divisibility arguments for
the index of H in G even when it is not finite. We follow Section 2.3 of [15].
Q
Definition 1.5. A supernatural number is a formal product n = p pn(p) , where
p runs through the set of all primes and each n(p) is an element of N ∪ {∞}.

These numbers generalize certain aspects of natural numbers. Obviously every
natural number can be viewed as a supernatural number. We can multiply two
supernatural numbers by
Y
n·m=
pn(p)+m(p) .
p

We say n divides m, n|m, if n(p) ≤ m(p)Q
holds for all primes p. For a set of
primes π, we call a supernatural number p pn(p) a π-number if n(p) = 0 for
all p ∈ π ′ where π ′ denotes the set of all primes which are not contained in π.
Given a family {ni : i ∈ I} of supernatural numbers, we define the least
common multiple as
Y
lcm{ni : i ∈ I} =
pn(p) , where n(p) = sup{ni (p) : p prime}.
p

Definition 1.6. Given a profinite group G and a closed subgroup H ≤c G. We
define the index of H in G to be the supernatural number
|G : H| = lcm{|G/U : HU/U | : U Eo G}.
The order of G is the index of the trivial subgroup in G, |G| = |G : 1|.
With these definitions it is not hard to see that this notion of index for closed
subgroups behaves as it should. In particular we have
Proposition 1.7 (Proposition 4.2.3 of [15]). Let G be a profinite group and let
H ≤ G be a subgroup of finite index. Then |G : H| divides |G|.
T
Proof. Let N = g∈G H g be the core of H in G. Then N is a finite index normal
subgroup of G and it suffices to show that |G : N | divides |G|. Let p be a prime
dividing |G : N | and pick x ∈ G \ N such that xp ∈ N . Then x has order p in
hxi/hxi ∩ N . Every procyclic group is a quotient of Ẑ and hence hxi ∩ N is an
open normal subgroup of hxi. Therefore p divides |hxi| = |hxi : hxi∩N |·|hxi∩N |,
and thus p divides |G| = |G : hxi| · |hxi|.
Now let n and m be maximal such that pn divides |G : N | and pm divides |G|.
Suppose towards a contradiction that m < n. We have
|G| = lcm{|G : U | : U ≤o G},
and as m is finite, there is an open subgroup U ≤o G such that pm divides
|G : U |. Then p does not divide |U | because m is maximal. In particular, p
does not divide |U : U ∩ N | by the first part of this proof. Hence m is maximal
such that pm divides |G : U ∩ N | contradicting our assumption that pn divides
|G : N |.
3

We also give the following definition in analogy to the finite case:
Definition 1.8. Let G be a profinite group, H a closed subgroup of G, and let
π be a set of primes.
(a) H is a π-group if |H| is a π-number.
(b) H is a π-Hall subgroup of G if |H| is a π-number and |G : H| is a π ′ number.
A p-Sylow subgroup of G is a π-Hall subgroup of G where π = {p} consists of a
single prime number.
As in the finite case, π-groups are preserved under continuous homorphisms
and we have:
Lemma 1.9. Suppose ϕ : G → K is a continuous homomorphism between
profinite groups and H ≤c G is a closed subgroup of G. If H is a π-Hall
subgroup of G, then ϕ(H) is a π-Hall subgroup of ϕ(K).
From this observation it follows easily that H is a π-Hall subgroup of a profinite
group G if and only if HN/N is a π-Hall subgroup in G/N for all N Eo G. Thus
we obtain:
Theorem 1.10 (Theorem 2.3.5 of [15]). Suppose π is a set of primes and
G = lim Gi is the inverse limit of a surjective inverse system of finite groups
←−
{Gi , ϕij }. Assume that every Gi satisfies
(i) Gi contains a π-Hall subgroup,
(ii) any π-subgroup of Gi is contained in a π-Hall subgroup of Gi ,
(iii) any two π-Hall subgroups of Gi are conjugate.
Then G satisfies the corresponding condition
(i’) G contains a π-Hall subgroup,
(ii’) any closed π-subgroup of G is contained in a π-Hall subgroup of G,
(iii’) any two π-Hall subgroups of G are conjugate.
As a corollary we obtain the Sylow Theorem for profinite groups:
Corollary 1.11 (Corollary 2.3.6 of [15]). Suppose G is a profinite group and p
is a prime. Then the following hold:
(a) G contains a p-Sylow subgroup,
(b) any p-subgroup of G is contained in a p-Sylow subgroup of G and
(c) any two p-Sylow subgroups of G are conjugate.
We also need the following analog of the finite situation:
Corollary 1.12 (Proposition 2.3.8 of [15]). A profinite group G is pronilpotent
if and only if for each prime p, G contains a unique p-Sylow subgroup. In that
case, G is the direct product of its Sylow subgroups.
4

Proof. If G is pronilpotent, then G is the inverse limit G = lim Gi of a surjective
←−
inverse system of finite nilpotent groups. Let ϕi : G → Gi be the projection map
and assume that P1 and P2 are p-Sylow subgroups of G. Then ϕi (P1 ) = ϕi (P2 )
for all i as both ϕi (P1 ) and ϕi (P2 ) are p-Sylow subgroups of Gi by Lemma 1.9
and Gi is nilpotent.
Let K be a closed normal subgroup of a profinite group G. A complement of
K in G is a closed subgroup H of G such that G = KH and K ∩ H = 1, so
G = K ⋊ H. In particular, if K is a π-Hall subgroup of G then H ∼
= G/K is a
π ′ -subgroup of G.
The following is a generalization of the Schur-Zassenhaus Lemma for finite
groups (see Theorem 7.41 and Theorem 7.42 in [2]) to profinite groups.
Proposition 1.13 (Proposition 2.3.15 of [15]). Suppose K is a closed normal
Hall subgroup of a profinite group G. Then K has a complement in G and any
two complements of K are conjugate in G.
Proof. For any open normal subgroup N Eo G, the group KN/N is a Hall
subgroup of the finite group G/N and hence has a complement by the SchurZassenhaus theorem for finite groups. The set of complements of the KN/N in
G/N forms an inverse system of finite subgroups whose limit H, say, is a closed
subgroup of G and a complement for K in G.
Now assume L is another complement of K in G. To see that H and L
are conjugate in G, note that HN/N and LN/N are both complements of
KN/N in G/N for all N Eo G and hence conjugate in G/N by the SchurZassenhaus theorem for finite groups. As before we obtain an inverse system of
the conjugating elements whose limit will conjugate L to H.

1.3

Frattini subgroup

A proper subgroup H < G is said to be maximal in G if there is no subgroup
K < G such that H < K < G. A maximal open subgroup is an open subgroup
which is maximal with respect to open subgroups.
Definition 1.14. Let G be a profinite group. The Frattini subgroup Φ(G) of G
is the intersection of all maximal open subgroups.
Clearly, the Frattini subgroup of a profinite group is topologically characteristic. Moreover, as in the finite case it is precisely the set of nongenerators:
Proposition 1.15 (Proposition 1.9 (iii) of [3]). Suppose G is a profinite group
and X ⊆ G is a subset of G. Then X generates G topologically if and only if
X ∪ Φ(G) generates G topologically.
Proof. Clearly, if X generates, then so does X ∪ Φ(G). For the converse let
H ≤o G be an open subgroup such that X ⊆ H. If H 6= G, then H is contained
in some maximal open subgroup M <o G and therefore
hXiΦ(G) ≤ M 6= G.

5

1.4

Pro-p groups

Using the analogous results for finite p-groups and pulling back along the inverse
system one proves the following:
Lemma 1.16 (Lemma 2.8.7 of [15]). Suppose G is a pro-p group.
(a) Every maximal open subgroup M ≤o G has index p and is normal in G.
(b) The quotient G/Φ(G) is an elementary abelian profinite group and thus a
vector space over Fp .
(c) The Frattini subgroup is given by Φ(G) = Gp [G, G].
Corollary 1.17 (Lemma 2.8.10 of [15]). Suppose G is a pro-p group. Then G
is finitely generated if and only if Φ(G) is open in G.
Proof. Since every maximal open subgroup of G has index p, if G is finitely
generated, then by Proposition 1.3 there are only finitely many. Hence Φ(G) is
a finite intersection of open subgroups and thus open.
If conversely, Φ(G) is open, there is a finite set X ⊆ G such that the finite
group G/Φ(G) is generated by the image of X. Then G = hXiΦ(G) and thus
G = hXi by Proposition 1.15.
Definition 1.18 (Definition 1.15 of [3]). Let G be a pro-p group. The lower
p-series is given by
P1 = G and Pi+1 = Pi (G)p [Pi (G), G] for all i ≥ 1.
We will use the notation Gi = Pi (G).
Note that all Pi (G) are topologically characteristic, that P2 (G) = Φ(G), and
that Pi+1 (G) ≥ Φ(Pi (G)) for all i by Lemma 1.16.
Proposition 1.19 (Proposition 1.16 of [3]). Suppose G is a pro-p group.
(a) Pi (G/K) = Pi (G)K/K for all K Ec G and all i.
(b) If G is finitely generated, then {Pi (G) : i ≥ 1} is a basis for the open
neighborhoods of 1 in G.
Proof. (a) Fix K Ec G. We argue by induction on i. Note that P1 (G/K) =
G1 K/K. Assume Pn (G/K) = Gn K/K holds for some n. Let M be the preimage of Pn+1 (G/K) under the natural projection G → G/K. Then M is a closed
subgroup of G, M/K = Pn+1 (G/K) and M ≥ Gpn [Gn , G]K. In particular
M ≥ Gn+1 K and therefore M = Gn+1 K.
(b) We argue by induction. G1 = G is finitely generated and open in G. Suppose Gn is finitely generated and open in G. Then Φ(Gn ) is open in Gn and thus
Gn+1 ≥ Φ(Gn ) is open in Gn and hence finitely generated by Proposition 1.3.
Now let N Eo G be an open normal subgroup. Then G/N is a finite p-group
and therefore Pi (G/N ) = 1 for all sufficiently large i. Then Pi (G) ≤ N for all
sufficiently large i by (a).
If G is a finitely generated pro-p group, we can simplify the definition of the
Frattini subgroup (see Theorem 1.17 of [3]) using the fact that [G, G] is closed
in G (see Proposition 1.19 of [3]).
6

Proposition 1.20. Suppose G is a finitely generated pro-p group. Then Φ(G) =
Gp [G, G].
Proof. Set G{p} = {g p : g ∈ G}. Note that G{p} is a closed subset of G as it
is the image of the continuous map x 7→ xp . As G/[G, G] is abelian, we obtain
Gp [G, G] = G{p} [G, G].

1.5

Subgroups of finite index

Nikolov and Segal proved in [12] and [13] that every finite index subgroup of a
finitely generated profinite group is open. For our purposes we can do with a
much weaker result. We will only prove Anderson’s theorem that this holds for
finitely generated pronilpotent groups. We start with Serre’s Theorem, which
is the first step:
Theorem 1.21 (Theorem 1.17 of [3]). Let G be a finitely generated pro-p group.
Then every subgroup of finite index is open in G.
Proof. By Corollary 1.17 a pro-p group is finitely generated if and only if its
Frattini-subgroup is open. Combining this fact with Proposition 1.20, we have
Gp [G, G] = Φ(G) Eo G.
It clearly suffices to prove the theorem for normal subgroups N ⊳ G of finite
index. We argue by induction on |G : N |. Hence N is open in M whenever M
is a finitely generated pro-p group such that N ≤ M < G.
Set M = Gp [G, G]N , then G/N is a finite nontrivial p-group. We have M/N =
Φ(G/N ) < G and hence M < G is a proper subgroup. Moreover, M is an
open subgroup of G as it contains Φ(G). Therefore it is finitely generated by
Corollary 1.17 and we can apply the induction hypothesis. Now N ≤o M and
M ≤o G, and thus N ≤o G.
To extend this result to pronilpotent groups, the following observation is crucial.
Proposition 1.22 (Proposition 7 of [1]). Let G be a prosolvable group and let
N E G be a normal subgroup of finite index. Then G/N is solvable.
Proof. By a theorem of Hall (see, for example, [2, Theorem 5.29]) a finite group
is solvable if it contains p′ -Hall subgroups for all primes p.
Let p be a prime number. By Corollary ?? there is a p′ -Hall subgroup H ≤c G
of G. We will show that HN/N is a p′ -Hall subgroup of G/N . We have
|G : N | = |G : HN | · |HN : N |.
Proposition 1.7 implies that |G : HN | divides |G : H| and thus is a power of
p. On the other hand HN/N ∼
= H/(H ∩ N ). Hence |HN : N | divides |H| by
Proposition 1.7. Therefore p does not divide |HN : N |, and hence HN/N is a
p′ -Hall subgroup of G/N .
Theorem 1.23 (Corollary following Theorem 3 of [1]). Let G be a finitely
generated pronilpotent group. Then every subgroup of finite index is open.

7

Proof. Fix a subgroup N ≤ G of finite index.
We may assume that N is normal
T
in G by replacing N by CoreG (N ) = g∈G N g . Since G is pronilpotent, it is
prosolvable and so G/N is a finite solvable group. Therefore G/N admits a
subnormal series with cyclic quotients of prime order. Hence we may assume
that p = |G : N | is prime.
Let q 6= p be a different prime and let Sq be the unique q-Sylow subgroup of
G. Then |Sq : Sq ∩ N | divides |Sq | by Proposition 1.7 and as
Sq /(Sq ∩ N ) ∼
= Sq N/N ≤ G/N,
we see that |Sq : Sq ∩N | divides p. Therefore |Sq : Sq ∩N | = 1 and thus Sq ≤ N .
As G is the product of its Sylow subgroups, it is enough to show that Sp ∩ N is
open in Sp . As G is finitely generated, Sp has only finitely many open subgroups
of index p. Therefore Φ(Sp ) is open in Sp and hence Sp is finitely generated by
Corollary 1.17. Now use Theorem 1.21 to see that Sp ∩ N is an open subgroup
of Sp .

1.6

Pro-Fitting subgroup

In a finite group the Fitting subgroup is the maximal normal nilpotent subgroup.
We will see that the pro-Fitting subgroup of a profinite group is the maximal
normal pronilpotent subgroup. We can define it as follows:
Definition 1.24 (Definition 1.3.9 of [14]). Let G be a profinite group.
(a) The pro-Fitting subgroup F (G) of G is the closed subgroup generated by
all subnormal pro-p subgroups of G where p runs over all primes.
(b) If π is a set of primes then the π-core Oπ (G) of G is the closed subgroup
generated by all subnormal pro-π subgroups of G.
Obviously, both F (G) and Oπ (G) are topologically characteristic subgroups
of G. The π-core of a finite groups is the unique maximal normal π-subgroup.
Lemma 1.25 (Lemma 1.3.10 of [14]). Let G be a profinite group and let π
be a set of primes. Let RN be the preimage of Oπ (G/N ) under
the canonical
T
projection G → G/N for all N Eo G. Then Oπ (G) = N Eo G RN and in
particular Oπ (G) is a π-group.

Proof. Note that R is a pro-π group as RN/N ≤ RN /N = Oπ (G/N ) is a πgroup for all N Eo G. As Oπ (G) is generated by all subnormal pro-π groups we
have R ≤ Oπ (G).
On the other hand , Oπ (G)N/N is generated by subnormal π-groups and
therefore Oπ (G)N/N ≤ RN for all N Eo G and t herefore Oπ (G) ≤ R by
Proposition 1.1.
If p and q are different primes, then Op (G) ∩ Oq (G) = 1 by the above lemma.
Therefore F (G) is the direct product of the Op (G) and it follows easily from
Corollary 1.12 that F (G) is pronilpotent. As each Op (G) is contained in F (G),
F (G) must be the maximal normal pronilpotent subgroup. Moreover, by Theorem 5.4.4 and Corollary 5.4.5 of [14] the following holds.
Theorem 1.26. Let G be a profinite group of finite rank. Then there is an
open normal subgroup A Eo G, F (G) ≤ A ≤ G, such that A/F (G) is finitely
generated abelian.
8

1.7

Automorphisms of profinite groups

For a profinite group G we want to consider the group Aut(G) of continuous
automorphisms of G again as a profinite group. If γ is a continuous automorphism of G and g ∈ G is an element, we write g γ = γ(g) and [g, γ] = g −1 g γ .
Given an open normal subgroup N Eo G of G, we consider
Γ(N ) = {γ ∈ Aut(G) : [G, γ] ⊆ N }.
Note that a continuous automorphism γ of G is in Γ(N ) if and only if it leaves
N invariant and acts trivially on G/N . We view Aut(G) as a topological group,
where the family {Γ(N ) : N Eo G} is a neighborhood basis of the identity.
Theorem 1.27 (Proposition 4.4.3 of [15]). Suppose G is a profinite group and
Uc is a neighbourhood basis of the identity consisting of open characteristic subgroups. Then Aut(G) is profinite.
Proof. Let U ∈ Uc . Then Γ(U ) is the kernel of the natural homomorphism
ωU : Aut(G) → Aut(G/U ).
Hence ωU is continuous. Put AU = ωU (Aut(G)). Given V ≤ U in Uc , there is
a canonical map
ωV U : AV → AU , ϕ/V 7→ ϕ/U.
The maps ωV U are well-defined homomorphisms inducing an epimorphism
ω : Aut(G) ։ lim AU .
←−
U∈Uc

T
Now ker(ω) = U∈Uc Γ(U ) = 1. Hence ω is injective and therefore Aut(G) =
limU∈U AU is profinite.
←−
c
Corollary 1.28. Suppose G is a finitely generated profinite group. Then Aut(G)
is profinite.
Proof. Let i > 0 and let Ni be the intersection of all open subgroups of index
at most i. Then Ni is an open subgroup by Proposition 1.3 and it is obviously
topological characteristic. Hence the family {Ni : i > 0} is a neighbourhood
basis of the identity. Now we can apply the previous theorem.
Lemma 1.29 (Section 5 Exercise 4 of [3]). Suppose G is a finite p-group and
H = {α ∈ Aut(G) : [G, α] ⊆ Φ(G)}. Then H is a finite p-group.
Proof. Suppose α ∈ H \ {1} has prime order q. We fix a generating set
{x1 , . . . , xd } for G. Set Ω = {(u1 x1 , . . . , ud xd ) : ui ∈ Φ(G)} ⊆ Gd . Each
set {u1 x1 , . . . , ud xd } generates G by Proposition 1.15 and hence no element of
Ω is fixed under the action of α. Thus any orbit has length q and hence q divides
|Φ(G)|d . It follows q = p.
Proposition 1.30 (Proposition 5.5 of [3]). Suppose G is a finitely generated
pro-p group. Then Γ(Φ(G)) is a pro-p group.

9

Proof. The subgroups {Γ(Gn ) : n ≥ 2} are normal in Γ(Φ(G)) and form a basis
for the neighborhoods of 1. It suffices to show that Γ(Φ(G))/Γ(Gn ) is pro-p for
each n ≥ 2. Notice that Γ(Φ(G))/Γ(Gn ) acts faithfully on the finite p-group
G/Gn and induces the trivial action on G/Φ(G) = (G/Gn )/Φ(G/Gn ). Now
apply the above lemma to see that Γ(Φ(G))/Γ(Gn ) is a finite p-group.
A profinite group G has virtually a property P if it has an open normal subgroup N Eo G such that N has property P.
Theorem 1.31 (Theorem 5.6 of [3]). Suppose G is a finitely generated profinite
group. If G is virtually a pro-p group then so is Aut(G).
Proof. The group G has a topological characteristic open normal pro-p subgroup
H. Note that H is finitely generated and therefore Φ(H) is open and topological
characteristic in G. Let ∆ = Γ(Φ(H)) be the kernel of the action of Aut(G) an
G/Φ(H). Then ∆ Eo Aut(G) and we will see that ∆ is pro-p.
Consider the restriction map π : ∆ → Aut(H) and set Ξ = ker π. Given
N Eo H we have (∆ ∩ Γ(N ))π ⊆ ΓH (N ) and therefore π is continuous. Hence
Ξ is a closed normal subgroup of ∆.
By Lemma 5.4 of [3], Ξ is isomorphic to a closed subgroup of Z(H)(m) , where
m = d(G/H) is finite. As H is pro-p, so is Ξ. The group ∆/Ξ is isomorphic
to the closed subgroup ∆π of Aut(H). Note that in fact ∆π ≤ ΓH (Φ(H)) and
therefore ∆π is pro-p by Proposition 1.30. Hence ∆ is pro-p.

2

Powerful groups

In this section we study powerful pro-p groups. These are pro-p groups in which
the subgroup generated by the p-th powers is large. The lower p-series then
gives them a canonical structure reminscent of an abelian pro-p group. This
analogy will be used later in order to identify certain groups as p-adic analytic.
Throughout this section, p will be a fixed prime number different from 2. If G
is a p-group or a pro-p group we will set Gi = Pi (G) to be the i-th group in the
lower p-series (1.18).

2.1

Powerful p-groups

We start by studying finite p-groups. We follow Section 2 of [3] to develop the
theory of powerful p-groups. Throughout we assume p 6= 2 (and refer to [3] for
the general case).
Definition 2.1. Suppose G is a finite p-group, p 6= 2.
(a) G is powerful if G/Gp is abelian.
(b) A subgroup N ≤ G is powerfully embedded in G if [N, G] ≤ N p .
A finite p-group G is powerful if and only if G embeds powerfully into itself.
If N ≤ G is powerfully embedded in G, then [N, G] ≤ N and therefore N is a
normal subgroup of G. We will write N ⊳p.e G if N is powerfully embedded in
G.
Lemma 2.2 (Lemma 2.4 of [3]). Suppose G is a powerful p-group. Then for
each i ≥ 1:
10

(a) Gi is powerfully embedded in G and Gi+1 = Gpi = Φ(Gi ).
(b) The map Θi : Gi /Gi+1 → Gi+1 /Gi+2 , x 7→ xp is a well-defined surjective
homomorphism.
Proof. As G is powerful, G1 = G is powerfully embedded into itself. Now
we argue by induction. Assume Gi ⊳p.e G. Then, by the above Proposition,
Gpi ⊳p.e G. Notice Gi+1 = Gpi [Gi , G] = Gpi . Hence Gi ⊳p.e G for each i ≥ 1.
We have Gpi ≤ Gpi [Gi , Gi ] ≤ Gpi [Gi , G] = Gi+1 = Gpi . This shows (a).
In particular, each Gi is powerful and we have Gi+1 = P2 (Gi ) and Gi+2 =
P3 (Gi ). It is sufficient to prove (b) in the case i = 1 as we can replace G by Gi .
Additionally we can assume G3 = 1 by replacing G by G/G3 .
Now [G2 , G] ≤ G3 = 1 and thus G2 ≤ Z(G). Hence [G, G] ≤ G2 ≤ Z(G).
Given x, y ∈ G, we have (xy)p = xp y p [x, y]p(p−1)/2 , so p(p − 1)/2 is divided by
p and we obtain [y, x]p(p−1)/2 ∈ [G, G]p ≤ Gp2 = G3 = 1. Thus (xy)p = xp y p .
The image of G2 under Θ is contained in G3 as Gp2 = G3 . Therefore Θ is a
well-defined surjective homomorphism.
Lemma 2.3 (Lemma 2.5 of [3]). Suppose G = ha1 , . . . , ad i is a powerful p-group.
Then Gp = hap1 , . . . , apd i.
Proof. Let Θ : G/G2 → G2 /G3 , x 7→ xp be the homomorphism from the
previous Lemma. As Θ is surjective, G2 /G3 is generated by {a1 G3 , . . . ad G3 }.
Therefore G2 = hap1 , . . . , apd iG3 . Now G3 = Φ(G2 ) is the Frattini subgroup of
G2 and therefore Gp = G2 is generated by {ap1 , . . . , apd }.
Proposition 2.4 (Proposition 2.6 of [3]). Suppose G is a powerful p-group.
Then every element of Gp is a p-th power.
Proof. We prove the statement by induction on |G|. Fix g ∈ Gp . Then gG3 is
contained in the image of Θ. Hence there is some x ∈ G such that xp G3 = gG3 .
Set y = (xp )−1 g ∈ G3 .
Now consider the group H = hGp , yi. H is powerful. As y ∈ G3 = Gp2 ⊆ Gp
we obtain g ∈ H p . If H 6= G then by induction g is a p-th power in H. If
G = H then G = hxi as Φ(G) = Gp .
Inductively we obtain the following theorem from the previous results
Theorem 2.5 (Theorem 2.7 of [3]). Suppose G = ha1 , . . . , ad i is a powerful
p-group. Then the following hold:
k

(a) Pk+1 (Gi ) = Gpi for all i ≥ 1 and k ≥ 0.
(i−1)

(b) Gi = Gp

(i−1)

= {xp

(i−1)

: x ∈ G} = ha1p

(i−1)

, . . . , adp

i for all i ≥ 1.

k

(c) The map x 7→ xp induces a surjective homomorphism Gi /Gi+1 → Gi+k /Gi+k+1
for all i ≥ 1 and k ≥ 0.
We now see that a finitely generated powerful p-group is a product of cyclic
groups:
Corollary 2.6 (Corollary 2.8 of [3]). Suppose G = ha1 , . . . , ad i is a powerful
p-group. Then G = ha1 i · · · had i is a product of cyclic groups.

11

Proof. Let l be the length of the lower p series, i.e. Gl > Gl+1 = 1. By induction
on l, we may assume that the claim holds for G/Gl . Hence
G/Gl = ha1 Gl , . . . , ad Gl i = ha1 Gl i · · · had Gl i.
l−1

l−1

Therefore G = ha1 i · · · had iGl . But Gl = ha1p , . . . , adp i and as Gl ⊳p.e G,
we have [Gl , G] ≤ Gpl = Gl+1 = 1. Hence Gl is central in G and therefore
Gl ⊆ ha1 i · · · had i.

2.2

Powerful pro-p groups

We follow Section 3.1 of [3] to develop the theory of powerful pro-p groups.
Again we restrict to the assumption p 6= 2 and refer to [3] for the general case.
Definition 2.7. Suppose G is a pro-p group.
(a) G is powerful if G/Gp is abelian.
(b) An open subgroup N ≤o G is powerfully embedded in G if [N, G] ≤ N p .
As in the finite case we see that a pro-p group G is powerful if and only if G
embeds powerfully into itself. Furthermore, if N ≤o G is powerfully embedded
in G, then N is a normal subgroup of G, so we continue to write N ⊳p.e G if N
is powerfully embedded in G. The exact connection between powerful p-groups
and powerful pro-p groups is given by
Proposition 2.8 (Corollary 3.3 of [3]). A topological group G is powerful pro-p
if and only if it is the inverse limit of a surjective inverse system of powerful
p-groups.
Using this connection it is not hard to see that the following results carry over
from the finite to the profinite situation:
Theorem 2.9 (Theorem 3.6 of [3]). Suppose G = ha1 , . . . , ad i is a finitely
generated powerful pro-p group and i ≥ 0. Then the following hold:
(a) Gi ⊳p.e G.
k

(b) Gi+k = Pk+1 (Gi ) = Gpi for all k ≥ 0. In particular Φ(Gi ) = Gi+1 .
i−1

(c) Gi = Gp

i−1

= {xp

: x ∈ G} = ha1 , . . . , ad i.

k

(d) The map x 7→ xp induces a surjective continuous homomorphism Gi /Gi+1 →
Gi+k /Gi+k+1 for every k ≥ 0.
(e) G = ha1 i · · · had i.

2.3

Powerful pro-p groups and finite rank

If G is a powerful p-group and H ≤ G, then d(H) ≤ d(G) (cp Theorem 2.9 of
[3]). This transfers to closed subgroups of profinite groups by Proposition 1.2
and yields in particular that every finitely generated powerful pro-p group has
(indeed) finite rank:

12

Theorem 2.10 (Theorem 3.8 of [3]). Suppose G is a finitely generated powerful
pro-p group and H ≤c G is a closed subgroup. Then d(H) ≤ d(G). In particular,
G has finite rank.
We next show a kind of converse, namely every pro-p group of finite rank has
a characteristic open powerful subgroup. Here is the candidate:
Definition 2.11. Given a finite (or profinite) p-group G, we define
\
V (G, r) = { ker f | f : G → GLr (Fp ) is a homomorphism }.

Note that if G is a finitely generated pro-p group and r is a positive integer,
then V (G, r) is an open characteristic subgroup of G because every homomorphism f : G → GLr (Fp ) is continuous by Theorem 1.21 and there are only
finitely many such homomorphisms by Proposition 1.3.
The nice thing about V (G, r) is the fact that for any finite p-group G any
normal subgroup N with d(N ) ≤ r and N ≤ V , is powerfully embedded in V
(cp. Proposition 2.12 of [3]). This transfers to the profinite setting as:
Proposition 2.12 (Proposition 3.9 of [3]). Suppose G is a finitely generated
pro-p group, r is a positive integer and N ⊳o G is an open normal subgroup with
d(N ) ≤ r. Set V = V (G, r). If N ≤ V , then N ⊳p.e V . In particular, V itself
is powerful.

2.4

Uniform pro-p groups

In order to further continue the analogy between a powerful and an abelian
pro-p group we would like to have that the elementary abelian p-groups arising
as quotients of the lower p-series all have the same Fp -dimension. We follow
Section 4.1 of [3].
Definition 2.13. A pro-p group G is uniformly powerful (or uniform) if
(a) G is finitely generated,
(b) G is powerful, and
(c) for each i ≥ 1, the map x 7→ xp induces an isomorphism Gi /Gi+1 →
Gi+1 /Gi+2 .
Theorem 2.14 (Theorem 4.2 of [3]). Let G be a finitely generated powerful
pro-p group. Then Pk (G) is uniform for all sufficiently large k.
Proof. Write pdi = |Gi : Gi+1 | for all i ≥ 1. As the map x 7→ xp induces an
epimorphism Gi /Gi+1 ։ Gi+1 /Gi+2 , we have d1 ≥ d2 ≥ d3 ≥ . . . and hence
there is some m such that di = dm for all i ≥ m. Then the group Gk is uniform
by Theorem 2.9.
Corollary 2.15 (Corollary 4.3 of [3]). Any pro-p group G of finite rank has a
uniform characteristic open subgroup.
Proof. G has a powerful characteristic open subgroup H by Proposition 2.12.
Then, by the above theorem, there is k ≥ 1 such that Hk is uniform. Hk is an
open characteristic subgroup of H and hence an open characteristic subgroup
of G.
In fact, one can now see that a pro-p group G has finite rank if and only if it
has an open uniform subgroup N since rk(G) ≤ rk(N ) + rk(G/N ).
13

2.5

Zp -action and good bases

By Theorem 2.9 every uniform pro-p group G is a product of procyclic subgroups. We show that this gives rise to a homeomorphism Zdp → G where
d = d(G). We use this to define good bases for open subgroups of G. These are
special generating sets which were introduced by du Sautoy in [4] and allow a
kind of ’stratification’ of the underlying group. They will be used in Section 5 to
prove that the open subgroups of a uniform pro-p group are uniformly definable
in Zan
p .
We start with defining a Zp -action on a pro-p group G
Definition 2.16. Let G be a pro-p group, g ∈ G and λ ∈ Zp . Then g λ is the
limit of (g ai ) in G, where (ai ) is a sequence of integers that converges to λ in
Zp .
It is not hard to see that this is well-defined, i.e. if (ai ), (bi ) are two sequences
of integers that have the same limit in Zp , then for any g ∈ G the sequences
(g ai ) and (g bi ) converge and have the same limit in G. This definition extends
in a natural way to an action of the ring Zp and turns G into a (topological)
Zp -module:
Proposition 2.17 (Proposition 1.26 of [3]). Suppose G is a pro-p group, g, h ∈
G and λ, µ ∈ Zp .
(a) g λ+µ = g λ g µ and g λµ = (g λ )µ .
(b) If gh = hg then (gh)λ = g λ hλ .
(c) The map ν 7→ g ν is a continuous homomorphism from Zp to G whose
image is the closure of hgi in G.
Proof. Note that (a) and (b) hold in G/N for all open normal subgroups N Eo
G. Hence they hold in G. (a) implies that ν 7→ g ν is a homomorphism. Every
homomorphism with domain Zp is continuous. g Zp is the image of a compact
group, hence compact and thus closed. Clearly hgi ⊆ g Zp . Each element of g Zp
is the limit of a sequence in hgi and therefore g Zp ⊆ hgi. Hence g Zp = hgi.
Let G be a uniform pro-p group. Recall that the map x 7→ xp induces an
isomorphism
fi : Gi /Gi+1 → Gi+1 /Gi+2
for all i. Moreover, by Theorem 2.9 we have Gi+1 = Φ(Gi ) for all i and hence
the quotient Gi /Gi+1 is a d(G) dimensional Fp -vector space.
Proposition 2.18 (Theorem 4.9 of [3]). Suppose G is a uniform pro-p group
with d = d(G) and {a1 , . . . , ad } is a generating set for G. Then the map
ψ : Zdp → G, (λ1 , . . . , λd ) 7→ aλ1 1 · · · aλd d
is a homeomorphism.
Proof. Fix a ∈ G. By Theorem 2.9, G = ha1 i · · · had i so, by the above proposition, we can find λ1 , . . . , λd ∈ Zp such that a = aλ1 1 · · · aλd d . It remains to

14

show that these λi are unique. Fix k > 0 and consider the finite powerful group
G/Gk+1 . Gk+1 has index pkd in G and by Corollary 2.6, we have
G/Gk+1 = ha1 Gk+1 i · · · had Gk+1 i.
By Theorem 2.5, each cyclic subgroup of G/Gk+1 has order at most pk . Hence
k
the groups hai Gk+1 i have index exactly pk in G/Gk+1 . We have api ≡ 1
(mod Gk+1 ) and hence every element bGk+1 can be written as
bGk+1 = ae11 · · · aedd Gk+1 for some ei ∈ Z/pk Z.
But as |G : Gk+1 | = pkd , these ei must be uniquely determined.
Hence the λi are uniquely determined modulo pk for all k and thus are uniquely
determined.
If G is a uniform pro-p group with d = d(G) and λ = (λ1 , . . . λd ) ∈ Zdp , we
denote the corresponding element of G by x(λ) ∈ G. If x ∈ G is an element of
G, we denote the corresponding tuple λ = (λ1 , . . . λd ) ∈ Zdp by λ(x).
Definition 2.19. Let G be a pro-p group. Then we define ω : G → N ∪ {∞} by
ω(g) = n if g ∈ Pn (G) \ Pn+1 (G) and put ω(1) = ∞.
Note that ω(ab) ≥ min{ω(a), ω(b)} and ω(ab) = ω(a) if ω(a) < ω(b).
Let ν be the usual valuation on Zp . If G is a uniform pro-p group then ω is
compatible with ν.
Lemma 2.20. Let G be a uniform pro-p group, g ∈ G, and λ ∈ Zp . Then
ω(g λ ) = ω(g) + ν(λ).
Proof. Set d = d(G). In case g = 1 or λ = 0 there is nothing to show. Suppose
g 6= 1 and λ 6= 0. Set k = ν(λ). Then λ = rpk ρ with 0 ≤ r < p and ν(ρ) > k.
k+1
k
As g p
∈ Gω(g)+k+1 and ν(ρ) > k, it follows g ρ ∈ Gω(g)+k+1 . Hence g λ ≡ g rp
(mod Gω(g)+k+1 ) and therefore g λ ∈ Gω(g)+k+1 .
k
The map x 7→ xp induces an isomorphism
f : Gω(g) /Gω(g)+1 → Gω(g)+k /Gω(g)+k+1 .
k

k

Hence g p ∈ Gω(g)+k \ Gω(g)+k+1 and hence g rp ∈ Gω(g)+k \ Gω(g)+k+1 because
r does not divide pd = |Gω(g)+k : Gω(g)+k+1 |.
Proposition 2.21 (Theorem 1.18 (iv) of [4]). Let G be a uniform pro-p group,
d = d(G), and {x1 , . . . , xd } a generating set for G. If x = x(λ) then ω(x) =
min{ν(λi ) + 1 : i = 1, . . . , d}.
Proof. As G2 = Φ(G) is the set of nongenerators, we have ω(xi ) = 1 for each i.
In particular, ω(xλi i ) ≥ n := min{ν(λi ) + 1 : i = 1, . . . , d}. Therefore xλi i ∈ Gn
n−1
for each i. Write xλi i ≡ xiri p
(mod Gn ). By the minimality of n, not all ri
pn−1
are zero. Note that the xi
are a basis of the vector space Gn /Gn+1 . We have
n−1

x(λ) ≡ xr11 p

n−1

· · · · · xrdd p

(mod Gn+1 ).

This is a nontrivial linear combination of base vectors and thus nontrivial. Thus
x(λ) 6∈ Gn+1 .
15

We will use a construction from Section 2 of [4]. Let G be a uniform pro-p
group. If x(λ) ∈ Gn . Then n ≤ ω(x(λ)) = min{ν(λi ) + 1 : i = 1, . . . , d} and
hence ν(λ(i)) ≥ n − 1 for all i = 1, . . . d. Therefore p−(n−1) λi ∈ Zp for all i. We
define the map
πn : Gn → Fdp , x(λ) 7→ (π(p−(n−1) λ1 ), . . . π(p−(n−1) λd ))
where π : Zp → Fp is the residue map. If x(λ1 = (λ11 , . . . λ1d )) and x(λ2 =
λk

(λ21 , . . . λ2d )) are elements of Gn then xi i ∈ Gn for i = 1, . . . d and k = 1, 2. Take
λ ∈ Zdp such that x(λ) = x(λ1 )x(λ2 ). Then
λ1 +λ21

xλ1 1 · · · xλd d ≡ x1 1

λ1 +λ2d

· · · xd d

(mod Gn+1 )

as Gn /Gn+1 is abelian. Hence x(λ1 + λ2 − λ) ≡ 1 (mod Gn+1 ) and thus x(λ1 +
λ2 − λ) ∈ Gn+1 . This implies
n + 1 ≤ ω(x(λ1 + λ2 − λ)) = min{ν(λ1i + λ2i − λi ) + 1 : i = 1, . . . d}
and therefore ν(λ1i +λ2i −λi ) ≥ n for all i. We see that πn (x(λ)) = πn (x(λ1 +λ2 ))
and therefore πn is a homomorphism.
Moreover, x(λ) ∈ ker πn if and only if ν(p−(n−1) λi ) > 0 for all i. But this
is equivalent to ω(x(λ)) > n and hence ker πn = Gn+1 . Therefore πn is an
isomorphism between the d dimensional Fp vector spaces Gn /Gn+1 and Fdp .
Let fi : Gi /Gi+1 → Gi+1 /Gi+2 be the isomorphism induced by x 7→ xp . Then
pλd
1
fi (x(λ)Gi+1 ) = fi (xλ1 1 Gi+1 ) · · · fi (xλd d Gi+1 ) = xpλ
1 Gi+2 · · · xd Gi+2 = x(pλ)Gi+2 .

Definition 2.22. Let G be a uniform pro-p group, d = d(G), and let H ≤o G
be an open subgroup. A tuple (h1 , . . . , hd ) ∈ H d is a good basis of H if
(a) ω(hi ) ≤ ω(hj ) whenever i ≤ j, and
n−ω(hj )

(b) for each n, {πn (hj ) : j ∈ In } extends the linearly independent set {πn (hpj
j ∈ I1 ∪ · · · ∪ In−1 } to a basis of πn (H ∩ Gn ), where In := {j : ω(hj ) = n}.
Lemma 2.23. Let G be a uniform pro-p group and let H ≤o G be an open
subgroup. Then there is a good basis for H.

Proof. Set d = d(G). Assume (h1 , . . . , hm ) satisfy (a) and (b) up to r for some
r ≥ 0. Note that GN ≤ H for sufficiently large N and therefore
πN (H ∩ GN ) = πN (GN ) = Fdp .
If m < d then there is a minimal s > r such that dimFp (πs (H ∩ Gs )) >
dimFp (πr (H ∩ Gr )). As πs : Gs /Gs+1 → Fdp is an isomorphism, we can find
hm+1 , . . . , hm+k ∈ H ∩ Gs \ Gs+1 such that {πs (hm+1 ), . . . , πs (hm+k )} extends
n−ω(hj )

the linearly independent set {πs (hpj

) : j ≤ m} to a basis of πs (H ∩Gs ).

If (h1 , . . . , hd ) is a good basis and λ1 , . . . , λd ∈ Zp are elements of Zp then
we will denote hλ1 1 · · · hλd d by h(λ). The valuation-like map ω and the p-adic
valuation ν are compatible with respect to good bases. Using the fact that the
quotients of the lower p-series are Fp -vector spaces one then shows that a good
basis deserves its name in the following sense:
16

):

Lemma 2.24. Suppose H ≤o G is an open subgroup and (h1 , . . . , hd ) a good
basis for H. Then for every h ∈ H there are (unique) λ1 , . . . , λd ∈ Zp such that
h = hλ1 1 · · · hλd d . Furthermore, if h = h(λ), then ω(h) = min{ω(hi ) + ν(λi ) : i =
1, . . . , d}.
With this one can finally prove du Sautoy’s characterization of good bases.
Lemma 2.25 (Lemma 2.5 of [4]). Let G be a uniform pro-p group, d = d(G),
and (h1 , . . . hd ) ∈ Gd . Then (h1 , . . . hd ) is a good basis for some open subgroup
of G if and only if
(a) ω(hi ) ≤ ω(hj ) whenever i ≤ j;
(b) hi 6= 1 for i = 1, . . . d;
(c) the set {hλ1 1 · · · hλd d : λi ∈ Zp } is a subgroup of G; and
(d) for all λ1 , . . . λd ∈ Zp , ω(h(λ)) = min{ω(hi ) + ν(λi ) : i = 1, . . . d}.
Proof. Let (h1 , . . . hd ) be a good basis for some open subgroup H. Then (a)
holds by definition and (c) and (d) hold by the previous lemma. Note that
e(n,i)

πn (H ∩ Gn ) = πn (Gn ) = Fdp for sufficiently large n. Then {πn (hpi
):i =
d
1, . . . d} is a basis for Fp . In particular, hi 6= 1 for all i.
Now assume (h1 , . . . hd ) satisfies (a) to (d). Set H = {hλ1 1 · · · hλd d : λ1 , . . . λd ∈
Zp }. Then H is a closed subgroup of G. We have H ∩ Gk = {hλ1 1 · · · hλd d :
ω(hλ1 1 · · · hλd d ) ≤ k} and hence (d) implies
H ∩ Gk = {hλ1 1 · · · hλd d : λi ∈ pe(k,i) Zp }.
e(k,i)

Therefore {hpi
: i ∈ I1 ∪ · · · ∪ Ik } generates the Fp vector space H ∩ Gk /H ∩
Gk+1 . As πn : Gn /Gn+1 → Fdp is an isomorphism of vector spaces, the set
e(k,i)

{πk (hpi

) : i ∈ I1 ∪ · · · ∪ Ik } generates πk (H ∩ Gk+1 ). Set m = |I1 ∪ · · · ∪ Ik |.
e(k,i)

Note that the πip

, i = 1, . . . m are linearly independent if and only if there are
e(k,1)

no λ1 , . . . λm ∈ Zp \ pZp such that πk (hλ1 1 p
e(k,1)
ω(hλ1 1 p

e(k,d)
· · · hλd d p
)
e(k,1)

ω(hλ1 1 p

e(k,d)

· · · hλd d p

) = 0, or equivalently

> k. But ν(λi ) = 0 for all λi ∈ Zp \ pZp and hence
e(k,d)

· · · hλd d p

) = min{ω(hi ) + ν(λi ) + e(k, i)} = k.

It remains to show that H is open. By (b), πn (H ∩ Gn ) has dimension d
for sufficiently large n. Then πn (H ∩ Gk ) = Fdp = πn (Gn ) and hence (H ∩
Gn )Gn+1 = Gn . But then H ∩ Gn = Gn as Gn+1 is the set of nongenerators of
Gn . Therefore, H contains the open subgroup Gn and is thus open.

3
3.1

Compact p-adic analytic groups
p-adic analytic groups

In this section we will explain the notions of p-adic analytic manifolds and p-adic
analytic groups. We follow Section 8 in [3].

17

Let r ≥ 0 be a positive integer. A basis for the topology of Zrp is given by the
sets
B(y, p−h ) = {z ∈ Zrp : |zi − yi | ≤ p−h for i = 1, . . . , r} = {y + ph x : x ∈ Zrp }
where y ∈ Zrp , h ≥ 0, and | · | is the usual norm on Zp . We are interested in
functions that can be described in terms of formal power series over Qp .
Definition 3.1. Let V ⊆ Zrp be a nonempty open subset and f : V → Zsp be a
function with components f = (f1 , . . . , fs ).
(a) The function f is analytic at y ∈ V if there is h ∈ N such that B(y, p−h ) ⊆
V and there are formal power series Fi (X) ∈ Qp [[X]] such that
fi (y + ph x) = Fi (x) for all x ∈ Zrp .
(b) The function f is analytic on V if it is analytic at each point of V .
Definition 3.2. Let X be a topological space.
(a) A chart on X is a tuple (U, ϕ, n) where U ⊆ X is a non-empty open subset
and ϕ is a homeomorphism from U onto an open subset of Znp .
(b) Two charts (U, ϕ, n) and (V, ψ, m) are compatible if both ψ ◦ ϕ−1 and
ϕ ◦ ψ −1 are analytic functions on ϕ(U ∩ V ) respectively ψ(U ∩ V ).
(c) An atlas on X is a family
{(Ui , ϕi , ni ) : i ∈ I} of pairwise compatible
S
charts such that X = i∈I Ui .

As usual, two atlases A and B are compatible if every chart in A is compatible
with every chart in B. This is an equivalence relation on the set of atlases on
X. Hence we can give the definition of a p-adic analytic manifold.
Definition 3.3. (a) A p-adic analytic manifold is a topological space X together with an equivalence class of compatible atlases on X.
(b) A function f : X → Y between two p-adic analytic manifolds is analytic
if for each pair of charts (U, ϕ, n) of X and (V, ψ, m) of Y the following
hold:
(i) f −1 (V ) is open, and
(ii) ψ ◦ f ◦ ϕ−1 is analytic on ϕ(U ∩ f −1 (V )).
Note that any f : X → Y analytic function between analytic manifolds is
continuous (see e.g. Lemma 8.13 of [3]).
If X and Y are p-adic analytic manifolds then the space X × Y has naturally
the structure of a p-adic analytic manifold (see [3, Examples 8.9 (vi)]). A padic analytic group is a p-adic analytic manifold equipped with analytic group
operations.
Definition 3.4. A p-adic analytic group G is a topological group that is a p-adic
analytic manifold such that both
(x, y) 7→ x · y and x 7→ x−1
are analytic functions.
18

3.2

Analytic structure on uniform groups

By Lazard’s theorem a topological group has the structure of a p-adic analytic
group if and only if it has an open uniformly powerful pro-p subgroup.
Let G be a uniform pro-p group, d = d(G), and fix a generating set {x1 , . . . xd }
for G. By Proposition 2.18 the map
Zdp → G, (λ1 , . . . λd ) 7→ xλ1 1 · · · xλd d
is a continuous bijection between Zdp and G and hence a homeomorphism as
both G and Zdp are compact Hausdorff spaces.
This homeomorphism gives us a global chart on G and hence we may view G
as a compact p-adic analytic manifold of dimension d. We cite two important
facts.
Theorem 3.5 (Theorem 8.18 of [3]). G is a compact p-adic analytic group with
respect to the p-adic analytic manifold structure induced by the above homeomorphism Zdp ∼
= G.
Moreover, continuous homomorphisms and analytic homomorphisms between
p-adic analytic groups coincide by the following theorem.
Theorem 3.6 (Theorem 9.4 of [3]). Every continuous homomorphism between
p-adic analytic groups is analytic.

4

NIP and NTP2

We now turn to the model theoretic side and recall some definitions around
the independence property and the tree property. We consider formulas ϕ(x, y)
where x, y are tuples of variables.
Definition 4.1. Suppose L is a language, T is a complete L-theory and ϕ(x, y)
is an L-formula. The formula ϕ(x, y) has the independence property (IP) if
there is a model M |= T and constants (ai : i < ω), (bA : A ⊆ N) such that
M |= ϕ(ai , bA ) ⇐⇒ i ∈ A. The theory T has NIP if no formula in T has IP.
We say that a model M has NIP if its theory Th(M ) has NIP. By the compactness theorem, a formula ϕ(x, y) has IP if and only if for all finite sets F ⊆ N
there are (ai : i ∈ F ) and (bA : A ⊆ F ) such that
∀i ∈ F, A ⊆ F : M |= ϕ(ai , bA ) ⇐⇒ i ∈ A.
If F is fixed, this is a finite condition and does not depend on the model.
Furthermore also by compactness, a formula ϕ(x, y) has NIP if and only if the
formula ϕopp (y, x) = ϕ(x, y) has NIP.
The model theoretic notion of NIP is closely connected to the combinatorial
Vapnik-Chervonenkis dimension, see e.g. Section 6.1 in [16].
Definition 4.2. Let X be a set and let S be a family of subsets of X.
(a) A subset A ⊆ X is shattered by S if for every A′ ⊆ A there is S ∈ S such
that A′ = S ∩ A.

19

(b) We say S has Vapnik-Chervonenkis dimension n, VC(S) = n, if it shatters
a subset of size n and does not shatter any subset of size n + 1. If S
shatters a subset of size n for all n, then we say that S has infinite VapnikChervonenkis dimension.
If M is a model and ϕ(x, y) is a formula, we consider the set X = M together
with the family Sϕ = {ϕ(M, b) : b ∈ M }. Then ϕ(x, y) has NIP if and only if
Sϕ has finite VC-dimension. The VC-dimension of Sϕ does not depend on the
choice of the model M and we will denote it by VC(ϕ(x, y)).
The Baldwin-Saxl lemma states an important property for families of uniformly definable subgroup (see, for example, [16, Theorem 2.13]).
Lemma 4.3 (Baldwin-Saxl lemma). Suppose G is a ∅-definable group and
ϕ(x, y) has NIP. Put k = VC(ϕopp (y, x)). Suppose that (Hi : i ∈ I) is a
family of subgroups H ≤ G such that each Hi can be defined by some instance
of ϕ. Then for all finite subsets If ⊆ I, there are i1 , . . . , ik ∈ If such that
\
Hi = Hi1 ∩ · · · ∩ Hik .
i∈If

Proof. Suppose the lemma
T there is some subset If = {i0 , . . . , ik } ⊆ I
T fails. Then
of size k + 1 such that i∈If Hi ( i∈If \{in } Hi for all n ∈ {0, . . . , k}. Fix some
T
T
an ∈ i∈If \{in } Hi \ i∈If Hi for each n. Note that an ∈ Hit ⇐⇒ n 6= t. For
F ⊆ {0, . . . k} put
Y
an .
aF =
n∈{0,...k}\F

Then aF ∈ Hit ⇐⇒ t ∈ F and hence ϕopp (y, x) has VC dimension at least
k + 1. This contradicts the assumption.
If X is a set and S is a family of subsets, the shatter function is given by
πS (n) = max{|{S ∩ A : S ∈ S}| : A ⊆ X, |A| ≤ n}.
We have πS (n) = 2n if and only if there is a set A ⊆ X of size at most n
that is shattered by S. Hence V C(S) = n if and only if n is maximal such
that πS (n) = 2n and S has infinite VC dimension if and only if πS (n) = 2n for
all n. By the Sauer-Shelah lemma (see, for example, [16, Lemma 6.4]), either
πS (n) = 2n for all n or the shatter function is bounded by some polynomial.
Lemma 4.4 (Sauer-Shelah lemma). Suppose S has VC-dimension at most k.
Then
k  
X
n
πS (n) ≤
i
i=0
for all n ≥ k. In particular, there is a constant C such that πS (n) ≤ Cnk for
all n.

Another model theoretic property is the tree property of second kind (TP2 ).
By [16, Proposition 5.31] every theory that has TP2 also has IP. Like the independence property, TP2 can be formulated as a combinatorial condition on
formulas.
20

Definition 4.5. Suppose L is a language, T is an L-theory and ϕ(x, y) is an
L-formula. ϕ(x, y) has TP2 if there is some k ∈ N, some model M |= T , and a
family of constants (aij : i, j ∈ N) such that
(a) for each i ∈ N the formulas (ϕ(x, aij ) : j ∈ N) are k-inconsistent, i.e. any
conjunction of k distinct such formulas is inconsistent, and
(b) for any function f : N → N, the set {ϕ(x, ai,f (i) ) : i ∈ N} is consistent.
The theory T is NTP2 if no formula in T has TP2 .
We say that a model M has NTP2 if its theory Th(M ) has NTP2 . By the
compactness theorem a formula has TP2 if and only if conditions (a) and (b)
are satisfied for arbitrary large finite subsets of N.

5

Interpretablility of uniform pro-p groups

We introduce the structure Zan
p which was studied by du Sautoy in [4]. It
follows from results by van den Dries, Haskell, and Macpherson in [17] that the
structure Zan
p has NIP. Let X = (X1 , . . . Xm ) be a tuple of variables. Given
i = (i1 , . . . im ) ∈ Nm we write X i = X i1 · · · X im and |i| = i1 + · · · + im . Then
X
Qp [[X]] = {
ai X i : ai ∈ Q p }
i∈Nm

is the ring of formal power series with coefficients in Qp . Zp [[X]] is the subring
consisting of all formal power series with coefficients in Zp . Let
X
Qp {X} = {
ai X i : ai ∈ Qp , |ai | → 0 as |i| → ∞}
i∈Nm

and set Zp {X} = Qp {X} ∩ Zp [[X]].
Definition 5.1. The language Lan
D consists of
(a) for every m and every F (X) ∈ Zp {X} an m-ary function symbol F ,
(b) a binary function symbol D, and
(c) a unary relation symbol Pn for every n > 0.
We can view Zp as an Lan
D -structure: Let ν be the usual valuation on Zp . The
relation Pn is given by the set of nonzero n-th powers, the binary function D is
given by
(
x/y if ν(x) ≥ ν(y) and y 6= 0
D(x, y) =
0
otherwise
and each function F is the function induced by the corresponding power series
an
F (X). Set TD
= Th(Zan
p ).
Haskell and Macpherson give a definition for P-minimal theories in [6]. By
Proposition 7.1 of [6] every P-minimal theory has NIP. Theorem A of [17] essentially states that the theory of Zan
p is P-minimal. Therefore we have the
following:
21

an
Theorem 5.2 (Theorem 3.1 of [10]). The theory TD
has NIP.

We will need the following two facts. The first uses topological compactness
of Zp , the second is an application of Hensel’s lemma.
Lemma 5.3 (Lemma 1.9 of [4]). Every analytic function is definable in Zan
p .
Lemma 5.4 (Lemma 1.10 of [4]). The binary relation ν(x) ≤ ν(y) is definable
in Zan
p .
Let G be a uniform pro-p group and put d = d(G). Fix a topologically
generating set {x1 , . . . xd }. As seen in Section 2.5, the map λ 7→ xλ1 induces
a homeomorphism Zdp ∼
= G. By Section 3.2 this is an analytic structure on G
which makes G into a p-adic analytic group. In particular, the group operations
are analytic and hence definable by the previous lemma. By Theorem 3.6 the
Zp -action on G is also analytic and thus definable in Zan
p .
Proposition 5.5. Suppose G is a uniform pro-p group. Then the set of all good
bases is definable in Zan
P .
Proof. Set d = d(G), let (h1 , . . . hd ) ∈ Gp and write hi = x(λi ). We will show
that the conditions (a) to (d) in Lemma 2.25 are definable in Zan
p .
i
i
(a) We have ω(hi ) = min{ν(λ1 ), . . . ν(λd )} + 1 by Proposition 2.21 and therefore ω(hi ) ≤ ω(hj ) if and only if
min{ν(λi1 ), . . . ν(λid )} + 1 ≤ min{ν(λj1 ), . . . ν(λjd )} + 1.
But this is clearly definable as ν(x) ≤ ν(y) is definable by the above lemma.
(b) Note that hi = 0 if and only if λi = 0.
(c) By the results of Section 3.2 the group operation and exponentiation
with elements from Zp are analytic and hence definable in Zan
p . Note that
{hλ1 1 · · · hλd d : λi ∈ Zp } is definable from the parameters h1 , . . . hd .
(d) Follows easily from definability of ν(x) ≤ ν(y) and definability of the
Zp -action.
Definition 5.6. The language Lprof is a two-sorted language with sorts G and I
with the group language on G, a partial order ≤ on I, and a relation K ⊆ G × I.
If G is a profinite group together with a family {Ki : i ∈ I} of open subgroups,
which is a neighborhood basis at 1 ∈ G, then G = (G, I) becomes an Lprof structure by defining K(G, i) = Ki for each i ∈ I and i ≤ j ⇐⇒ Ki ⊇ Kj . We
say that G is a full profinite group, if the family {Ki : i ∈ I} consists of all open
subgroups of G.
We have already seen that G is definable in Zan
p as a group. By Lemma 2.23
every open subgroup of G admits a good basis. The set of all good bases is
definable by Proposition 5.5. By Lemma 2.25 the open subgroups are uniformly
definable from good bases. Moreover, the relation saying that two good bases
generate the same open subgroup is definable. Therefore we obtain the following:
Theorem 5.7 (Proposition 1.2 of [10]). Let G be a uniform pro-p group. Then
the full profinite group G = (G, I) is interpretable in Zan
p and hence has NIP.

22

6

Classification of full profinite NIP groups

We have seen that examples of full profinite NIP groups are given by compact padic analytic groups. It turns out that there are essentially no further examples.
Every full profinite NIP group is virtually a finite direct product of compact padic analytic groups.
Theorem 6.1 (Theorem 1.1 of [10]). Let G = (G, I) be a full profinite group.
Then the following are equivalent:
(a) G has an open normal subgroup N Eo G such that N = P1 × · · · × Pt is
a direct product of compact pi -adic analytic groups Pi , where the pi are
different primes.
(b) Th(G) is NIP.
(c) Th(G) is NTP2 .
We just sketch the proof. Its details are contained in [10]:
(a) implies (b) Suppose G is a group and N Eo G is an open normal subgroup
of G such that
N = P1 × · · · × Pt
is a Cartesian product of compact pi -adic analytic groups Pi , where the pi are
different primes. We have to show that G has NIP when viewed as a full profinite
group.
By Lazard’s Theorem, every Pi has an uniformly powerful pro-pi normal subgroup of finite index. Hence we may assume that each Pi is uniformly powerful
and hence interpretable in Zan
pi as a full profinite group. Let M be the disjoint
union of the structures Zan
pi in the language that is the disjoint union of their
languages.
Naming constants for the finite group F = G/N , it is left to show that G can
be described in terms of N , F and functions F × F → N and F → Aut(G), and
that the open subgroups of G are uniformly definable in (M, F ), proving (b).
The following combinatorial lemma will be used repeatedly in the proof that
either of (b) or (c) implies (a).
Lemma 6.2 (Lemma 4.3 of [10]). Suppose G is an ∅-definable group in a structure with NTP2 theory and ψ(x, y) is a formula implying x ∈ G. Then there
is a constant k = Q
kψ , depending only on ψ, such that whenever H ≤ G is a
subgroup, π : H ։ i∈J Ti is an epimorphism from H onto a product of groups
and for each j ∈ J there are Rj ≤ G and Rj < Tj such that Rj ∩ H = πj−1 (Rj )
and finite intersections of the Rj are uniformly definable by instances of ψ, then
|J| ≤ k. If G is a NIP group, then it suffices that the Rj are definable.
Since we are working in full groups, it is clear from this lemma that the
distinction between NIP and NTP2 groups disappears in this setting.
(b) or (c) imply (a)
Using the fact that if all Sylow subgroups of a finite group G can be generated
by d elements, then d(G) ≤ d + 1 (proved independently by Lucchini in [8] and

23

by Guralnick in [5]) we first show that if G = (G, I) is a full profinite group with
NTP2 theory, then G has finite rank.
By Theorem 1.26, the group G has closed normal subgroups N ≤ A ≤ G such
that N = F (G) is the pro-Fitting subgroup, A/N is finitely generated abelian
and G/A is finite. In particular, N is pronilpotent of finite rank.
We may assume G = A. The quotient G/N is abelian, hence pronilpotent and
thus the Cartesian product of its Sylow subgroup. Similarly, the pronilpotent
group N is a Cartesian product of its Sylow subgroups. So write
Y
Y
G/N =
Ql and N =
Pj
j∈J

l∈L

where the Ql are rl -Sylow subgroups for different primes rl and the Pj are pj Sylow subgroups for different primes pj . Using Lemma 6.2 one shows that the
sets L and J are finite.
−1
(U ) where U
Let πN : G ։ G/N be the natural projection. Write U = πN
is the direct product of finitely many Sylow subgroups of G/N with respect to
primes different from the primes appearing in N . As |N | and |U | are coprime,
it follows that N is a Hall subgroup in U and we can use the Schur-Zassenhaus
theorem to find a complement V of N in U , i.e. U = N ⋊ V . By Theorem 1.31,
V induces a finite group of automorphisms on N and we eventually conclude
that G = N = P1 × · · · × Pt . As G has finite rank, so has each Pi . Hence each
Pi is a compact pi -adic analytic group.

7

NIP groups and polynomial subgroup growth

We show here that every family of uniformly definable subgroups of a NIP group
satisfies a polynomial growth condition. By Lazard’s theorem and Lubotzky and
Mann’s results in [7], a pro-p group is compact p-adic analytic if and only if it
has polynomial subgroup growth, i.e. there is some polynomial f (X) such that
for all n there are at most f (n) many open subgroups of index at most n. This
then yields a more immediate proof that a full pro-p group with NIP theory is
p-adic analytic.
Theorem 7.1. Let T be a theory, M |= T a model of T , and let G be an ∅definable group. Assume further that ϕ(x, y) is a formula which has NIP and
implies x ∈ G.
Let σϕ (n) be the number of subgroups H ≤ G such that H has index at most
n and can be defined by an instance of ϕ. Then there is a constant c such that
σϕ (n) ≤ cnVC(ϕ) VC(ϕ

opp

)

for all n.
Proof. By the Baldwin-Saxl lemma (4.3), the intersection of any finite number
opp
of such subgroups has index at most nVC(ϕ ) and hence σϕ (n) is finite for all
n and therefore does not depend on our choice of M .
As ϕ(x, y) has NIP, the family {ϕ(M, b) : b ∈ M } has finite VC dimension.
By the Sauer-Shelah lemma (4.4), there is a constant c such that the shatter
function for this family satisfies
πϕ (n) = max{|{X ∩ ϕ(M, b) : b ∈ M }| : X ⊆ M, |X| ≤ n} ≤ cnVC(ϕ)
24

for all n. Note that this function does not depend on the model M . Combining
this with the bounds from the next lemma yields the desired result.
Lemma 7.2. We have σϕ (n) ≤ πϕ (nVC(ϕ

opp

)

) for all n.

Proof. Let n be fixed and let (Hi : i ∈ I) be the family of subgroups H ≤ G
such T
that H has index at most n and is definable by some instance of ϕ. Let
opp
C = i∈I Hi . Then C has index at most nVC(ϕ ) by the Baldwin-Saxl lemma.
Let X be a transversal of G/C and note that
Hi = Hj ⇐⇒ X ∩ Hi = X ∩ Hj .
Therefore we have
σϕ (n) ≤ |{X ∩ ϕ(M, b) : b ∈ M }| ≤ πϕ (nVC(ϕ

opp

)

).

Note that we have only assumed that ϕ(x, y) has NIP. If G is a pro-p group,
then the above corollary, together with Theorem 6.1, tells us that the full profinite group (G, I) has NIP if and only if the formula, which defines the family
of open subgroups, has NIP. We obtain the following combinatorial characterization of p-adic analytic pro-p groups:
Corollary 7.3. Let G be a pro-p group. Then G is compact p-adic analytic if
and only if the family of all open subgroups has finite VC dimension.

8

Elementary extensions of profinite groups as
two-sorted structures

In this last section we show that elementary extensions of profinite groups work
well in this model theoretic setting, in fact, even in the sense that the original
group can be recovered.
Lemma 8.1. Let G be a profinite group and let (Ni : i ∈ I) be a neighborhood basis of the identity consisting of open normal subgroups Ni Eo G. Let
G = (G, I) be the corresponding Lprof -structure and let G ∗ = (G∗ , I ∗ ) be an
elementary extension of G. Then the natural homomorphism
\
G → G∗ /
Ni∗
i∈I

is an isomorphism.

Proof. Note that |G : Ni | = |G∗ : Ni∗ | holds for all i ∈ I. The natural maps
G → G∗ /Ni∗ are surjective for all i ∈ I. Therefore
f : G → lim G∗ /Ni∗
←−
i∈I

T
is surjective. On the other hand we have ker f = i∈I Ni = 1 by elementarity,
and hence f is an isomorphism. Therefore the natural homomorphism
g : G∗ → lim G∗ /Ni∗
←−
i∈I

is surjective. We have
G∗ /Ni∗ ∼
G∼
= G∗ /
= lim
←−
i∈I

25

\

i∈I

Ni∗ .

Let T be an NIP theory and let G be a ∅-definable group. Then G0 denotes the
intersection of all ∅-definable subgroups of finite index. By Baldwin-Saxl, the
quotient G/G0 is independent from the choice of a (sufficiently saturated) model
(see e.g. [16, Section 8.1.2]). If G = (G, I) is a full profinite NIP group then the
finite index subgroups are open (by Theorem 1.23 and Theorem 6.1) and hence
uniformly definable. The normal subgroups of finite index are also uniformly
definable and every subgroup of finite index contains a normal subgroup of finite
index. Therefore we can apply the previous lemma to obtain the following (see
[10, Remark 5.5]).
Corollary 8.2. Suppose G = (G, I) is a full profinite NIP group. Then the
invariant quotient G/G0 is isomorphic to G.
In [11], Mariano and Miraglia showed that profinite L-structures are retracts
of ultraproducts of finite L-structures. We can use Lemma 8.1 to give a short
proof in the case of profinite groups.
Let G be an infinite profinite group and let (Ni : i ∈ I) be a neighborhood
basis of the identity consisting of open normal subgroups Ni Eo G. For t ∈ I
set Bt = {j ∈ I : t ≤ j}. Then F≥ = {X ⊆ I : ∃t ∈ I Bt ⊆ X} is a filter on I
and contains every cofinite subset of I.
Lemma 8.3. Let G and (Ni : i ∈ I) be as above and let G = (G, I) be the
corresponding Lprof -structure. Let U ⊇ F≥ be an ultrafilter and let G ∗ = (G∗ , I ∗ )
be the ultrapower of G with
T respect tu U. Let α be the equivalence class α = [(i :
i ∈ I)] ∈ I ∗ . Then Nα∗ ⊆ i∈I Ni∗ and the composition
G → G∗ → G∗ /Nα∗ → G∗ /

\

Ni∗

i∈I

is an isomorphism.
Proof. Let [(gi )] ∈ Nα , i.e. {i ∈ I : gi ∈ Ni } ∈ U. For t ∈ I we have {i ∈ I :
gi ∈ Ni } ∩ Bt ∈ U. As i ≥ t ⇐⇒T Ni ⊆ Nt , it follows {i ∈ I : gi ∈ Nt } ∈ U
∗
∗
∗
and thus [(g
t . Hence Nα ⊆
i∈I Ni and by Lemma 8.1 the natural map
T i )] ∈ N
∗
∗
G → G / i∈I Ni is an isomorphism.
Q
Note that the natural
map G∗ → (G/Ni )/U, [(g
Q
Qi )] 7→ [(gi Ni )] induces an isomorphism G∗ /Nα∗ ∼
= (G/Ni )/U. In particular, (G/Ni )/U is the semidirect
product
Y
\
(G/Ni )/U = ( Ni∗ )/Nα∗ ⋊ G.
i∈I

The following proposition is the first result in [10, Remark 5.5]. It uses [9,
Lemma 3.2] and an observation on externally definable sets in [10, Remark 5.5].
Proposition 8.4. Let G be a profinite group and let (Ni : i ∈ I) be a neighborhood basis of the identity consisting of open normal subgroups Ni Eo G.
Let G = (G, I) be the corresponding Lprof -structure. For each t ∈ I the group
G/Nt naturally becomes an Lprof -structureQ
Gt = (G/Nt , I≤t ). Let U ⊃ F≥ be an
ultrafilter. Then G has NIP if and only if t∈I Gt /U has NIP.

Proof. If G has Q
NIP then the structures (Gt : t ∈ I) are uniformly interpretable
in G and hence t∈I Gt /U has NIP by [9, Lemma 3.2].
26

Now assume (H, J) =

Q

t∈I

Gt /U has NIP and put

J0 = {j ∈ J : Nj has finite index in H}.
Given j, j ′ ∈ J0 there is t ∈ J0 such that Nj and Nj ′ both contain Nt . Hence
there is t∗ in some elementary extension such that
J0 = {j ∈ J : Nj ⊃ Nt∗ }.
Hence J0 is externally definable in the sense of [16, Definition 3.8]. By [16,
Corollary 2.24] the expansion of an NIP structure by externally definable sets
still has NIP.
If j = [(jk )] is an element of J0 then there is i ∈ I such that jk = i for almost
all k. By the previous lemma the structure G is interpretable in (H, J, J0 ) and
hence has NIP.
Lemma 8.5. Let H be a group and let (Ni : i ∈ I) be a family of normal
subgroups of finite index such that ∀i, j∃k : Nk ≤ Ni ∩ Nj . We view H as an
Lprof -structure H = (H, I). Let fj : lim H/Ni → H/Nj be the projection maps.
←−
Then {ker fj : j ∈ I} is a neighborhood basis at the identity. Therefore we may
view lim H/Ni as an Lprof -structure (lim H/Ni , I).
←−
←−
Let H∗ = (H ∗ , I ∗ ) be an |I|+ -saturated elementary extension of H. Then
\
H∗ /
H/Ni
Ni∗ ∼
= lim
←−
i∈I

i∈I

T
and (Nj∗ / i∈I Ni∗ : j ∈ I) is a neighborhood basis for the identity consisting of
open normal subgroups.
Proof. By elementarity, we have |H ∗ : Ni∗ | = |H : Ni | for all i ∈ I. Using this
and elementarity, it is easy to see that
lim H ∗ /Ni∗ = lim H/Ni .
←−
←−
i∈I

i∈I

Now write
lim H ∗ /Ni∗ = {(gi Ni∗ )i : ∀i ≥ j : gi Nj∗ = gj Nj∗ }
←−
i∈I

and let f : H → limi∈I H ∗ /Ni∗ , g 7→ (gNi∗ )i be the natural homomorphism.
T ←−
Clearly ker f = i∈I Ni∗ . It remains to show that f is surjective.
Fix (gi Ni )i ∈ limi∈I H ∗ /Ni∗ and consider the partial type
←−
∗

Σ(x) = {x ∈ gi Ni∗ : i ∈ I}.
T
Given Io ⊆ I finite, there is j ∈ I such that Nj ≤ i∈I0 Ni . Then gi Nj = gi′ Nj
for all i, i′ ∈ I0 . Hence Σ(x) is finitely satisfiable and as H∗ is |I|+ -saturated,
∗
there exists g ∈ H ∗ such that g ∈ gi NiT
for all i ∈ I and hence f (g) = (gi Ni∗ ).
∗
TheTabove isomorphism maps Nj / i∈I Ni∗ to ker fj and hence the family
(Nj∗ / i∈I Ni∗ : j ∈ I) is a neighborhood basis for the identity consisting of
open normal subgroups.
Lemma 8.6. Let H = (H, I) be as in the previous lemma. If H has NIP then
the profinite group (limi∈I H/Ni , I) has NIP.
←−
27

Proof. As H has NIP, there are only finitely many normal subgroups Ni of index
at most n for all n.
Fix an ℵ1 -saturated elementary extension H∗ = (H ∗ , I ∗ ) of H. Note that
|H ∗ : Ni∗ | must be infinite for all i ∈ I ∗ \ I. By a similar argument as in 8.4 the
set I ⊆ I ∗ is externally definable.
In particular, the structure (H ∗ , I ∗ , I), where I is a unary predicate, has NIP.
By the previous lemma, the structure (limi∈I H/Ni , I) is interpretable in the
←−
NIP structure (H ∗ , I ∗ , I) and thus has NIP.
The previous lemma allows us to study families of uniformly definable subgroups of finite index in NIP groups by considering certain profinite NIP groups
in the language Lprof . As an application we obtain the following generalization
of [10, Proposition 5.1]:
Theorem 8.7. Let G be an NIP group and let ϕ(x, y) be a formula. Let (Ni :
i ∈ I) be the family of all normal subgroups of finite index which are definable
by an instance
If this family is infinite then there is a finite subset I0 ⊆ I
T of ϕ. T
such that j∈I0 Nj /( j∈J0 Nj ∩ Ni ) is solvable for all i ∈ I.

Proof. By the Baldwin-Saxl lemma we may assume that (Ni : i ∈ I) is closed under finite intersections. Now consider the corresponding Lprof -structure (G, I).
We aim to show that (G, I) has NIP. The set {b : ϕ(G, b) is a normal subgroup of G}
is definable. Since we assume the family (Ni : i ∈ I) to be closed under finite
intersections, the set
J = {b : ϕ(G, b) is a normal subgroup of finite index in G}
is externally definable. Therefore (G, I) has NIP since it is interpretable after
naming J.
By the previous lemma the profinite group (limi∈I G/Ni , I) has NIP. Therefore
←−
it is virtually prosolvable by [10, Proposition 5.1].

References
[1] Michael Peter Anderson. Subgroups of finite index in profinite groups.
Pacific Journal of Mathematics, 62, 1976.
[2] Joseph J. Rotman (auth.). An Introduction to the Theory of Groups. Graduate Texts in Mathematics 148. Springer-Verlag New York, 4 edition, 1995.
[3] J. D. Dixon, M. P. F. Du Sautoy, A. Mann, and D. Segal. Analytic Pro-P
Groups, volume 61 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2 edition, 1999.
[4] Marcus P. F. du Sautoy. Finitely generated groups, p-adic analytic groups
and poincare series. Annals of Mathematics, 137, 1993.
[5] R. Guralnick. On the number of generators of a finite group. Arch. Math,
53:521 – 523, 1989.
[6] D. Haskell and H.D. Macpherson. A version of o-minimality for the p-adics.
J. Symb. Logic, 62:1075 – 1092, 1997.
28

[7] Alexander Lubotzky and Avinoam Mann. On groups of plolynomial subgroup growth. Inventiones mathematicae, 104(3):521–534, 1991.
[8] A. Lucchini. A bound on the number of generators in a finite group. Arch.
Math, 42:313 – 317, 1989.
[9] Dugald Macpherson and Katrin Tent. Pseudofinite groups with NIP theory and definability in finite simple groups. In Groups and model theory,
Contemp. Math., volume 576, pages 255–267. AMS, 2012.
[10] Dugald Macpherson and Katrin Tent. Profinite groups with NIP theory
and p-adic analytic groups. Bull. London Math. Soc., 48:1037 – 1049, 2016.
[11] Hugo Luiz Mariano and Francisco Miraglia. Profinite structures are retracts of ultraproducts of finite structures. Reports on Mathematical Logic,
42:169–182, 2007.
[12] N. Nikolov and D. Segal. On finitely generated profinite groups, i: strong
completeness and uniform bounds. Ann. Math., 165:171–238, 2007.
[13] N. Nikolov and D. Segal. On finitely generated profinite groups, ii: products
in quasisimple groups. Ann. Math., 165:239 – 273, 2007.
[14] Collin David Reid. Finiteness Properties of Profinite Groups. PhD thesis,
Queen Mary, University of London, 2010.
[15] Luis Ribes and Pavel Zalesskii. Profinite Groups, volume 40 of A Series of
Modern Surveys in Mathematics. Springer, 2 edition, 2000.
[16] Pierre Simon. A guide to NIP theories, volume 44 of Lecture Notes in Logic.
Cambridge University Press, 2015.
[17] L. van den Dries, D. Haskell, and H.D. Macpherson. One-dimensional padic analytic subsets. J. London Math. Soc., 59(2):1 – 20, 1999.

29

