arXiv:1608.02085v1 [math.GR] 6 Aug 2016

AN AXIOMATIZABLE PROFINITE GROUP WITH
INFINITELY MANY OPEN SUBGROUPS OF INDEX 2
OR BEN PORATH AND MARK SHUSTERMAN
Abstract. We show that a profinite group with the same first-order
theory as the direct product over all odd primes p of the dihedral group
of order 2p, is necessarily isomorphic to this direct product.

1. Introduction
We say that a profinite group Γ is axiomatizable if for every profinite
group Λ with the same first-order theory as that of Γ, we have Λ ∼
= Γ.
The study of axiomatizable profinite groups began in [3], where it is shown
that finitely generated profinite groups are axiomatizable, and an example
of a profinite group that is not axiomatizable is given (for instance, Zℵ2 0 ).
More generally, it is shown in [2] that a strongly complete profinite group
(that is, a profinite group all of whose finite index subgroups are open) is
axiomatizable. Are there more axiomatizable profinite groups?
By [2, Corollary 3.8] a strongly complete profinite group is small (that
is, it has only finitely many open subgroups of index n, for every n ∈ N).
Thus, a possible precise formulation given by [2, Question 3.15 (i)] for the
question we have just raised is whether every axiomatizable profinite group
is small. Here, a negative answer to this question is given.
Theorem 1.1. The profinite group G given by the direct product of the
dihedral groups Dp over all odd primes p, is axiomatizable.
From our proof of Theorem 1.1 one can extract an explicit (infinite) set
of axioms characterizing G up to an isomorphism.
2. The group G and its properties
Definition 2.1. For a profinite group Γ we set
(2.1)

Inv(Γ) ··= {τ ∈ Aut(Γ) | τ 2 = IdΓ }

and note that this defines a group if Aut(Γ) is abelian.
Definition 2.2. For a prime number p we denote by Cp the cyclic group of
order p. If p is odd, then Aut(Cp ) ∼
= Cp−1 so Inv(Cp ) is a group isomorphic
to C2 . The semidirect product Cp ⋊ Inv(Cp ) is the dihedral group Dp . Let
ρp be a generator of Cp , and let ǫp be a generator of Inv(Cp ) so that they
generate Dp and we have ǫp ρp ǫp = ρ−1
p .
1

2

OR BEN PORATH AND MARK SHUSTERMAN

Proposition 2.3. For an odd prime p we have Cp = {[a, b] | a, b ∈ Dp }.
Proof. For one inclusion note that Dp /Cp is abelian, and for the other one
take some ρnp ∈ Cp . As p is odd, there exists a k ∈ Z such that 2k ≡ n (p).
k
−k
k k
2k
n
We find that [ǫp , ǫp ρkp ] = ǫp ǫp ρkp ǫp ρ−k
p ǫp = ρp ǫp ρp ǫp = ρp ρp = ρp = ρp . 
Remark 2.4. A similar argument shows that Cp ≤ Dp is its own centralizer.
Q
Q
Q
Definition 2.5. We set G ··=
Dp , C ··=
Cp , E ··= hǫp i where the
products (here and in the sequel) are always taken over all odd primes p.
Since Cp ⊳ Dp and Dp /Cp ∼
= C2 for all odd primes p, we conclude that C
is a closed normal procyclic subgroup of G with G/C ∼
= (Z/2Z)ℵ0 . Hence,
∀g ∈ G g 2 ∈ C

(2.2)

and G/C is not small. Therefore, G is not small as well. Furthermore, we
have G = C ⋊ E. Since the Sylow subgroups of C are normal, we see that
Y
Y
Cp−1
(2.3)
Aut(C) =
Aut(Cp ) ∼
=
p

p

is an abelian group, so
(2.4)

Inv(C) =

Y

Inv(Cp ) = E.

p

Thus,
(2.5)

G∼
= C ⋊ Inv(C).

Definition 2.6. For a profinite group Γ we denote by Γ′ its profinite commutator, which is the closed subgroup of Γ generated by {[a, b] | a, b ∈ Γ}.
It follows from Proposition 2.3 that
(2.6)

G′ = C = {[a, b] | a, b ∈ G}

so the following first-order sentence holds in G
(2.7)

∀a, b, c, d ∃r, s [a, b][c, d] = [r, s].

Remark 2.7. By (2.2), (2.6) the following first-order sentence is valid in G
(2.8)

∀g ∃h, k g 2 = [h, k].

Remark 2.8. It follows from Remark 2.4 that C is its own centralizer in G.
In view of (2.6), this is tantamount to the following first-order sentence
!


∀y, z x[y, z]x−1 = [y, z] −→ ∃a, b x = [a, b] .
(2.9)
∀x
Remark 2.9. Fix an odd prime p. We can think of ǫp , ρp as elements of E, C
respectively, and thus also as elements of G. The first-order sentence
(2.10)

∃x ∀y, z x[y, z]x−1 = [y, z]−1 ←→ [y, z]p = 1

holds in G since we can take x = ǫp .

AN AXIOMATIZABLE PROFINITE GROUP WITH INFINITELY MANY OPEN SUBGROUPS OF INDEX 2
3

Definition 2.10. We say that profinite groups Γ, Λ are elementarily equivalent if they have the same first-order theory, and denote this by Γ ≡ Λ.
3. The proof of Theorem 1.1
e be a profinite group for which G ≡ G.
e Set
Let G

(3.1)

e ··= {[g, h] | g, h ∈ G}
e
C

e of the compact space G
e2 under the
and note that it is the image in G
2
e
e
e is
continuous map sending (g, h) ∈ G to [g, h] ∈ G. It follows that C
e By (2.7) C
e is a subgroup of G.
e
compact, and thus closed in G.
e
Let us now show that C ≡ C. For that take a first-order sentence ϕ that
holds in C. For every variable x that appears in ϕ, replace each appearance
of Qx by Qx1 , x2 where Q ∈ {∀, ∃} and x1 , x2 are new variables. Furthermore, replace any instance of x in any atomic formula in ϕ by [x1 , x2 ] and
denote the resulting first-order sentence by ψ. It follows from (2.6) that ψ
e By (3.1), ϕ holds in C
e as required.
holds in G, and thus also in G.
e and by (2.8) every element of G/
e C
e is of order
By [3, Theorem A], C ∼
=C
∼
e
e
e
e
dividing 2, so |G/C| is prime to |C| = |C|. Since C = C is abelian and
e the action by conjugation of G
e on C
e gives rise to a continuous
normal in G,
e
e
e
homomorphism τ : G/C → Inv(C). By the Schur-Zassenhaus theorem (see
[1, Lemma 22.10.1]) we get that
(3.2)

e∼
e ⋊τ G/
e C.
e
G
=C

By Remark 2.8 τ is injective, and in order to see that it is also surjective,
e with Inv(C). A generating set for Inv(C)
e is thus given
first identify Inv(C)
by {ǫp }p . By Remark 2.9 the image of τ contains ǫp for each odd prime p,
so τ is a surjection, and thus an isomorphism. We conclude that
(3.3)

2.5
3.2
e ⋊ Inv(C)
e ∼
e ⋊τ G/
e C
e ∼
e
G ∼
= C ⋊ Inv(C) ∼
=C
=C
= G.
Acknowledgments

We would like to sincerely thank Arno Fehm for telling us about the
question that motivated this work, and for many helpful discussions.
References
[1] M. D. Fried, M. Jarden, Field Arithmetic, Third Edition, revised by M. Jarden,
Ergebnisse der Mathematik, 3, 11, Springer, Heidelberg, 2008.
[2] P. Helbig, On small profinite groups, preprint, 2015.
[3] M. Jarden, A. Lubotzky, Elementary equivalence of profinite groups, Bull. London
Math. Soc. 40 (2008), 887-896.

4

OR BEN PORATH AND MARK SHUSTERMAN

Raymond and Beverly Sackler School of Mathematical Sciences, Tel-Aviv
University, Tel-Aviv, Israel
E-mail address: orbenporath@mail.tau.ac.il
Raymond and Beverly Sackler School of Mathematical Sciences, Tel-Aviv
University, Tel-Aviv, Israel
E-mail address: markshus@mail.tau.ac.il

