arXiv:1310.7623v2 [math.NT] 30 Oct 2013

DETECTING FAST SOLVABILITY OF EQUATIONS VIA SMALL
POWERFUL GALOIS GROUPS
S. K. CHEBOLU, J. MINÁČ, AND C. QUADRELLI
To Professors Tsit-Yuen Lam and Helmut Koch with admiration and respect.
Abstract. Fix an odd prime p, and let F be a field containing a primitive
pth root of unity. It is known that a p-rigid field F is characterized by the
property that the Galois group GF (p) of the maximal p-extension F (p)/F is
a solvable group. We give a new characterization of p-rigidity which says that
a field F is p-rigid precisely when two fundamental canonical quotients of the
absolute Galois groups coincide. This condition is further related to analytic
p-adic groups and to some Galois modules. When F is p-rigid, we also show
that it is possible to solve for the roots of any irreducible polynomials in F [X]
whose splitting field over F has a p-power degree via non-nested radicals.
We provide new direct proofs for hereditary p-rigidity, together with some
characterizations for GF (p) – including a complete description for such a group
and for the action of it on F (p) – in the case F is p-rigid.

1. Introduction
The problem of solving algebraic equations by radicals has a long and rich history
which dates back to the 7th century when the Indian mathematician Brahmagupta
obtained the famous quadratic formula. After the Italian mathematicians Niccolò
Tartaglia and Girolamo Cardano obtained the solution of the cubic equation in the
16th century, mathematicians naturally wondered whether it is possible to solve
equations of any degree by radicals. Évariste Galois, in his theory of equations,
gave an elegant answer in the 19th century. It is possible to solve an equation by
radicals, provided the Galois group of the underlying equation is a solvable group.
An important consequence is the result on the insolvability of general algebraic
equations of degree 5 and above by radicals. Since every finite p-group is a solvable
group, we know that every irreducible polynomial in F [X] whose splitting field over
F has p-power degree, is solvable by radicals. In this paper, we will show that if
the underlying field F is p-rigid (see definition below), then it is possible to do even
better: we can “fast-solve” for the roots. That is, we can solve for the roots√of
these irreducible polynomials via non-nested radicals,
i.e., elements of the type n a
p
√
n
m
a + b, with a, b ∈ F r {0} and
with a ∈ F r {0}. (An element of the form
n, m > 1 is, for instance, nested.) This improves the following result: the Galois
Date: November 4, 2017.
2010 Mathematics Subject Classification. 12F10, 12G10, 20E18.
Key words and phrases. Rigid fields, Galois modules, Absolute Galois groups, Bloch-Kato
groups, Powerful pro-p groups.
The first author is partially supported by NSA grant H98230-13-1-0238 and the second author
from NSERC grant RO37OA1OO6.
1

2

S. K. CHEBOLU, J. MINÁČ, AND C. QUADRELLI

group of the maximal p-extension F (p)/F is a solvable group if and only if the field
F is p-rigid (proved first in [EK98]).
We make the blanket assumption that p is an odd prime, and all fields in this
paper contain a primitive pth root of unity – unless explicitly stated otherwise. Let
F be such a field and let F p denote the collection of elements in F that are pth
powers. An element a in F r F p is said to be p-rigid if the image of the norm
Sp−1
√
map F ( p a) → F is contained in k=0 ak F p . We say that F is p-rigid if all of
the elements of F r F p are p-rigid. The notion of p-rigidity was introduced by K.
Szymiczek in [Sz77, Ch. III, §2], and it was developed and thoroughly studied first
in the case of p = 2, and then in the case of p odd.
For p = 2, the definition of 2-rigidity depends on the behavior of certain quadratic
forms. The consequences of 2-rigidity were studied in several papers including
[Wr78, Wr81, Ja81, JW89, AGKM01, LS02]. Today many results about 2-rigid
fields are known, and these fields are relatively well understood.
For p odd, the study of p-rigid fields was developed by Ware in [Wr92], and later
on by others (see [Ef06] and [MST] for some highlights on the history of p-rigidity).
In [Wr92], Ware introduced a different notion of rigidity called hereditary p-rigidity.
A field F is said to be hereditarily p-rigid if every subextension of the maximal pextension F (p)/F is p-rigid. As Ware pointed out, to conclude that F is hereditary
p-rigid, it is enough to check that each finite extension K of F is p-rigid. Ware
also gave a Galois-theoretic description of hereditarily p-rigid fields. In [EK98], A.
Engler and J. Koenigsmann showed that p-rigidity implies hereditary p-rigidity.
In this paper we establish some new characterizations and deeper connections
for p-rigid fields. Associated√to a field F , we now introduce some important field
extensions. Let F (2) = F ( p F ). Let F {3} denote the compositum of all Galois
extensions K/F (2) of degree p. Similarly, let F (3) denote the compositum of all
Galois extensions K/F (2) of degree p for which K/F is also Galois. Finally, let
F (p) denote the compositum of all Galois extensions K/F that are of degree a
power of p. Our main theorem then states:
Theorem A. Let p be an odd prime, and let F be a field containing a primitive
p-th root of unity. F is p-rigid if and only if F (3) = F {3} .
It is worth pointing out that the fields F (3) and F {3} play an important role in
studying the arithmetic and Galois cohomology of fields. For instance, in [MSp96]
it is shown that Gal(F (3) /F ) in the case when p = 2 determines essentially the Witt
ring of quadratic forms. More recently, in [CEM12] it is shown that Gal(F (3) /F )
determines the Galois cohomology of GF (p) := Gal(F (p)/F ) with Fp coefficients!
In [EM13], an even smaller Galois group over F ; namely Gal(F {3} /F ), was shown to
have this property. Therefore, Theorem A answers the natural question: “For which
fields F , does one have F {3} = F (3) ?”, a question which has its own importance
beyond the connection to p-rigid fields.
Furthermore, we provide a Galois-theoretic characterization for p-rigid fields,
together with an explicit description of the maximal p-extension F (p) of a p-rigid
field F , and of its maximal pro-p Galois group GF (p). In particular, we prove the
equivalence of the following three statements: GF (p) is solvable; F is p-rigid; and F
is hereditarily p-rigid (see Theorem 3.16 and Corollary 3.22). Although this result
is proved in [EK98, Prop. 2.2], this earlier proof is less direct than our approach.
In particular, it relies on a number of results on Henselian valuations, covered in

DETECTING FAST SOLVABILITY OF EQUATIONS

3

several papers, and on some results of [Wr92]. On the other hand, we refer to [Wr92]
only for some definitions, and we develop and prove our results independently of
both [Wr92] and [EK98]. In fact our approach is substantially different from the
approach of Engler and Koenigsmann, as our proofs use only elementary methods
from Galois theory and the theory of cyclic algebras – in the spirit of Ware’s paper.
Using relatively simple argument but powerful Serre’s theorem on cohomological
dimensions of open subgroups of pro-p groups and corollary of Rost-Voevodsky’s
proof of the Bloch-Kato conjecture we are able to prove “going down p-rigidity
theorem” in the case when GF (p) is finitely generated; see Theorem 4.16. Then,
using this result and the well-known Lazard’s group theoretic characterization of
p-adic analytic pro-p groups we are able to show that if GF (p) is finitely generated
then F is p-rigid if and only if GF (p) is a p-adic analytic pro-p group.
We also investigate how p-rigid fields are related to certain powerful pro-p groups,
studied by the third author in [Qu13], and with certain Galois modules, studied by
J. Swallow and the second author in [MS03].
Maximal pro-p Galois groups play a fundamental role in the study of absolute
Galois groups of fields. Moreover, the cases where F is a p-rigid field and where
GF (p) is a free pro-p group, or a Demuškin group, are cornerstones in the study of
maximal pro-p Galois groups. Therefore, it is important to have a clear, complete
and explicit description of the former case. In fact we will be able to recover the
entire group GF (p) from rather small Galois groups and the structure of the pth
roots of unity contained in F .
This paper is organized as follows. In Section 2 we review some preliminary
definitions and basic facts about pro-p groups and their cohomology. In Section 3
we state and prove results on the cohomology and the group structure of the Galois
group GF (p), which will be used in proving that p-rigidity implies hereditary prigidity, and in characterizing GF (p) for p-rigid fields. Finally in Section 4 we prove
Theorem A and we study the connections with the fast-solvability of equations and
other group-theoretic consequences of p-rigidity.
2. Preliminaries
2.1. Pro-p groups. Henceforth we will work in the category of pro-p groups and
assume that all our subgroups of pro-p groups will be closed. Let G be a pro-pgroup. For σ, τ in G, σ τ := στ σ −1 , and [σ, τ ] := σ τ ·τ −1 is the commutator of σ and
τ . The closed subgroup of G generated by all of the commutators, will be denoted
by [G, G]. Note that [DdSMS03] has a slighlt different convention for commutators.
They define as a commutator [σ, τ ] what in our notation is [σ −1 , τ −1 ]. However,
this will not effect the citation and use of results in [DdSMS03].
For a profinite group G, the Frattini subgroup Φ(G) of G is defined to be the
intersection of all maximal normal subgroups of G. If G is a pro-p group, it can be
shown that
Φ(G) := Gp [G, G]
[DdSMS03, Prop. 1.13], where Gp is the subgroup generated by the p-powers of the
elements of G. Hence G/Φ(G) is a p-elementary abelian group of possibly infinite
rank.
We define the subgroups γi (G) and λi (G) of G to be the elements of the lower
descending central series, resp. of the lower p-descending central series, of the pro-p

4

S. K. CHEBOLU, J. MINÁČ, AND C. QUADRELLI

group G. That is, γ1 (G) = λ1 (G) = G, and
γi+1 (G) := [γi (G), G],

λi+1 (G) := λi (G)p [λi (G), G],

for i ≥ 1. In this terminology, note that the Frattini subgroup Φ(G) is exactly
λ2 (G). If G is finitely generated, the subgroups λi (G) make up a system of open
neighborhoods of 1 in G.
Finally, we denote by d(G) the minimal number of generators of G. It follows
that d(G) = dim(G/Φ(G)) as an Fp -vector space. If d = d(G), we say that G is
d-generated. If G is a finitely generated, then the rank rk(G) of the group G is
rk(G) = sup {d(C)} = sup {d(C)|C is open}
C≤G

C≤G

(see [DdSMS03, §3.2]).
2.2. Maximal pro-p Galois groups and their cohomology. Consider Fp as
trivial G-module. The cohomology groups H k (G, Fp ) of G with coefficients in Fp
are defined for all k ≥ 0. In particular,
(2.1)

H 0 (G, Fp ) = Fp

and H 1 (G, Fp ) = Hom(G, Fp ).

By Pontryagin duality it follows that
(2.2)

H 1 (G, Fp ) = G∨ = (G/Φ(G))

∨


and d(G) = dimFp H 1 (G, Fp ) ,

where the symbol ∨ denotes the Pontryagin dual (see [NSW, Ch. III §9]). The
cohomological dimension cd(G) of a (pro-)p group G is the least positive integer k
such that H k+1 (G, Fp ) = 0, andL
if such k does not exist, one sets cd(G) = ∞.
The direct sum H • (G, Fp ) = k≥0 H k (G, Fp ), is equipped with the cup product
H r (G, Fp ) × H s (G, Fp )

∪

/ H r+s (G, Fp ),

which gives it a structure of a graded commutative Fp -algebra. For further facts
on the cohomology of profinite groups we refer the reader to [NSW].
We say that a pro-p group G is a Bloch-Kato pro-p group if for every closed
subgroups C of G the Fp -cohomology algebra H • (C, Fp ) is quadratic, i.e., it is
generated by H 1 (C, Fp ) and the relations are generated as ideal by elements in
H 2 (C, Fp ) (see [Qu13]).
Given a field F , let F̄ s denote the separable closure of F , and let F (p) be the
maximal p-extension of F , i.e., F (p) is the compositum of all finite Galois extensions
K/F of p-power degree. Then GF := Gal(F̄ s /F ) is the absolute Galois group of F ,
and the maximal pro-p Galois group GF (p) of F is the maximal pro-p quotient of
GF or, equivalently, GF (p) is the Galois group of the maximal p-extension F (p)/F .
We then have the Galois correspondence, according to which the closed subgroups
of GF (p) correspond to subextensions of F (p)/F and conversely.
By the proof of the Bloch-Kato conjecture, obtained by M. Rost and V, Voevodsky (with C. Weibel’s patch), one knows that the maximal pro-p Galois group of a
field containing the pth roots of unity is a Bloch-Kato pro-p group [We08, We09,
Vo11].
Another important feature of maximal pro-p Galois groups is the following: if
p is odd then GF (p) is torsion-free. This Artin-Schreier type result is due to E.
Becker (see [Be74]).

DETECTING FAST SOLVABILITY OF EQUATIONS

5

The study of maximal pro-p Galois groups is extremely important, since they
are easier to handle than absolute Galois groups; yet they provide substantial information about absolute Galois groups and the structure of their base fields.
2.3. Important subextensions. Throughout this paper, fields are assumed to
contain the pth roots of unity.
√
Given a field F , let F (2) = F ( p F ), i.e., F (2) is the compositum of all the
extensions
√ 
F p a , with a ∈ Ḟ .

For n ≥ 3, we define recursively the extensions F {n} /F and F (n) /F in the following
way:
• the field F {n} denotes the compositum of all the extensions
p

√
˙
˙
F {n−1} ( p γ) , with γ ∈ F {n−1}
r F {n−1}
,
where we put F (2) instead of F {2}
• the field F (n) denotes the compositum of all the extensions
p

√
˙
˙
r F (n−1)
F (n−1) ( p γ) , with γ ∈ F (n−1)
√
such that F (n−1) ( p γ)/F is Galois.

Notice that all extensions F {n} /F and F (n) /F are Galois.
Proposition 2.1. For any field F one has
[
F (p) =
F (n) .
n>1

Proof. The inclusion F (p) ⊇ n F (n) is obvious.
For the converse, let K/F be a finite Galois p-extension of degree |K : F | = pm ,
for some m ∈ N. Then, by the properties of finite p-groups, one has a chain
S

F = K0 ⊂ K1 ⊂ . . . ⊂ Km = K

of fields such that Ki /F is Galois and |Ki : F | = pi for every i = 1, . . . , m. In
particular, for every i the extension Ki+1 /Ki is cyclic of degree p, and Gal(Ki+1 /Ki )
is central in Gal(Ki+1 /F ).
We claim that Ki ⊆ F (i+1) for every i. This is clear for i = 0 and i = 1. Assume
Ki−1 ⊆ F (i) by induction. Then Ki /Ki−1 is Galois and cyclic of degree p, thus
√
Ki = Ki−1 ( p α) with α ∈ F (i) . Consequently Ki ⊆ F (i+1) , and the statement of
the Lemma follows.

Let Ḟ := F r {0}. Then, for every Galois p-extension K/F , K̇ is a GF (p)module. Moreover, since σ.γ p = (σ.γ)p for any γ ∈ Ḟ (p) and σ ∈ GF (p), one
has that K̇/K̇ p is also a GF (p)-module, with K as above. We denote the module
Ḟ (2) /(Ḟ (2) )p by J. The module J has been studied in [AGKM01] for p = 2, and in
[MST] for p odd,- where it has been shown that J provides substantial information
about the field F .
We can generalize the construction of J in the following way. For every n ≥ 3
let
˙
F (n)
p .
Jn = 
˙
F (n)

6

S. K. CHEBOLU, J. MINÁČ, AND C. QUADRELLI

We set J = J2 . Then each module Jn is a Fp -vector space and a GF (p)-module.
(Note that the notation used here is different from the one in [AGKM01] and
[MST].)
The following lemma is a well known fact from elementary Galois theory.
Lemma
2.2. Let K/F be a Galois p-extension of fields, and let a ∈ K̇ r K̇ p . Then
√
p
K( a)/F is Galois if, and only if,
σ.a
∈ K̇ p
a
for every σ ∈ Gal(K/F ).
It follows that
(2.3)

F

(n+1)

=F

(n)


q
p
G
(Jn )

for every n ≥ 2, where JnG denotes the submodule of Jn fixed by G = GF (p).
3. Rigid fields
Given a field F , the quotient group Ḟ /Ḟ p is a p-elementary abelian group, so
that we may consider it as Fp -vector space. Henceforth we will always assume that
Ḟ /Ḟ p is not trivial. For an element a ∈ Ḟ , [a]F = aḞ p denotes the coset of Ḟ /Ḟ p
to which a belongs. In particular, k.[a]F = [ak ]F for k ∈ Fp , and for
a, b ∈ Ḟ , [a]F
√
√
p
p
and [b]F are Fp -linearly independent if, and only if, F ( a) 6= F ( b). Moreover,
let µp ⊆ F be the group of the roots of unity of order p. Then one may fix an
isomorphism µp ∼
= Fp , so that by Kummer theory one has the isomorphism
√
σ. p a
p
1
.
(3.1)
φ : Ḟ /Ḟ −→H
˜
(GF (p), Fp ) , φ ([a]F ) (σ) = √
p
a
√
Definition. Let N denote the norm
map N : F ( p a) → F . An element a ∈ Ḟ r Ḟ p
√
is said to be p-rigid if b ∈ N (F ( p a)) implies that b ∈ [ak ]F for some k ≥ 0. The
field F is called p-rigid if every element of Ḟ r Ḟ p is p-rigid.
In [Wr92], R. Ware calls a field F hereditarily p-rigid if every p-extension of F is
a p-rigid field. In this paper we shall call such fields heriditary p-rigid.
Example 3.1.
i. Let q be a power of a prime such that p | (q − 1). Let
F = Fq ((X)), namely, F is the field of Laurent series on the indeterminate
X with coefficients in the finite field Fq . Then F is p-rigid [Wr92, p. 727].
ii. Let ζ be a primitive pth root of unity and ℓ a prime different from p. Then
F = Qℓ (ζ) is p-rigid. Indeed, by [NSW, Prop. 7.5.9] the maximal prop Galois group GF (p) is 2-generated and it has cohomological dimension
cd(GF (p)) = 2. Hence GF (p) satisfies Corollary 3.21, and F is p-rigid.
3.1. Powerful pro-p groups. A pro-p group G is said to be powerful if
 p
G for p odd,
[G, G] ⊆
G4 for p = 2,
where [G, G] is the closed subgroup of G generated by the commutators of G, and
Gp is the closed subgroup of G generated by the p-powers of the elements of G.

DETECTING FAST SOLVABILITY OF EQUATIONS

7

Moreover, a finitely generated pro-p group G is called uniformly powerful, or
simply uniform, if G is powerful, and
|λi (G) : λi+1 (G)| = |G : Φ(G)|

for all i ≥ 1.

A finitely generated powerful group is uniform if and only if it is torsion-free (see
[DdSMS03, Thm. 4.5]). Finally, a pro-p group G is called locally powerful if every
finitely generated closed subgroup of G is powerful.
In order to state the classification of torsion-free, finitely generated, locally powerful pro-p groups – which we shall use to describe explicitly the maximal pro-p
groups of rigid fields in § 3.2 – we shall introduce the notion of oriented pro-p
groups.
Definition. A pro-p group G together with a (continuous) homomorphism θ : G →
Z×
p is called an oriented pro-p group, and θ is called the orientation of G. If one
has that ghg −1 = hθ(g) for every h ∈ ker(θ) and every g ∈ G, then G is said to be
θ-abelian.
The above definition generalizes to all pro-p groups the notion of cyclotomic
character of an absolute (and maximal pro-p) Galois group. Such homomorphism
has been studied previously for maximal pro-p Galois groups in [Ef98] (where it
is called “cyclotomic pair”), and in [Ko01] for absolute Galois groups. (See also
[JW89] for the case p = 2.)
Proposition 3.2 ([Qu13], Proposition 3.4). Let G be an oriented pro-p group with
orientation θ. Then G is θ-abelian if and only if there exists a minimal set of
generators {x◦ , xi |i ∈ I} for some set of indices I, such that G has a presentation
D
E
θ(x )−1
(3.2)
G = x◦ , xi [x◦ , xi ] = xi ◦ , [xi , xj ] = 1, i, j ∈ I .
I.e., G ∼
= Zp ⋉ Z, with Z ∼
= ZIp , and the action of the first factor on Z is the
multiplication by θ(x◦ ).

Remark 3.3. Notice that the statement of [Qu13, Prop. 3.4] refers only to finitely
generated pro-p groups, yet the proof does not use this fact, so that it holds also
for infinitely generated pro-p groups.
In fact, torsion-free, finitely generated, locally powerful pro-p groups and θabelian groups coincide.
Theorem 3.4 ([Qu13], Thm. A). A finitely generated uniform pro-p group G is
locally powerful if and only if there exists an orientation θ : G → Z×
p such that G is
θ-abelian.
Actually, it is possible to extend the above result to infinitely generated pro-p
groups.
Proposition 3.5. A locally powerful torsion-free pro-p group G is θ-abelian for
some orientation θ : G → Z×
p.
Proof. By Theorem 3.4, we are left to the case when G is infinitely generated. If G
is abelian, then G is θ-abelian with θ ≡ 1. Hence, suppose G is non-abelian.
Let C < G be any finitely generated subgroup. Thus C is θC -abelian, for some
homomorphism θC . In particular, let HC = [C, C] be the commutator subgroup of
λC
C, and let ZC = ker(θC ). Then Z = CC (H), and HC = ZC
, for some λC ∈ pZp .

8

S. K. CHEBOLU, J. MINÁČ, AND C. QUADRELLI

Let H = [G, G] be the commutator subgroup of G, and let Z ≤ G be the
subgroup generated by all the elements y ∈ G such that y λ ∈ H for some λ ∈ pZp .
Then one has
[
[
HC and Z =
ZC ,
H=
C<G

C<G

where ∗ denotes the pro-p closure inside G. Notice that all the HC and the ZC
(and thus also H and Z) are abelian. In particular, G ) Z, since G is non-abelian,
and G/Z ∼
= Zp .
For every element x ∈ GrZ, one has [x, Z] = Z λx for some λx ∈ pZp and take x0
among all such x such that λx0 is minimal p-adic value. Define the homomorphism
θ : G → Z×
p such that ker(θ) = Z and θ(x0 ) = 1 + λx0 . Then θ|C = θC for every
finitely generated large enough subgroup C < G, so that G is in fact θ-abelian. 
Remark 3.6.
i. Notice that, although the theory of powerful pro-p groups
works effectively only for finitely generated groups, it extends nicely to the
infinitely generated case when we assume local powerfulness.
ii. It is possible to prove Proposition 3.5 using methods from Lie theory, since
every uniformly powerful pro-p group G is associated to a Zp -Lie algebra
log(G) (see [DdSMS03, §4.5] and [Qu13, §3.1]). In the case of a locally
powerful group, such Zp -Lie algebra has a very simple shape, so that it is
possible to “linearize” the proof.

3.2. The maximal pro-p Galois group of a rigid field. Throughout this subsection we shall denote the maximal pro-p Galois group GF (p) simply by G. Let
a, b ∈ Ḟ . The cyclic algebra (a, b)F is the F -algebra generated by elements u, v
subject to the relations up = a, v p = b and uv = ζp vu, where ζp is a pth primitive
root of unity.
From [Se79, Ch. XIV, §2, Proposition 5], one knows that [(a, b)F ] = 1 in the
Brauer group Br(F ) if and only if χa ∪ χb = 0 in H 2 (G, Fp ), with χa = φ([a]F ) and
χb = φ([b]F ) as in (3.1). (For the definition and the properties of the Brauer group
of a field see [GS06, Ch. √
2].) Moreover, it is well known that [(a, b)F ] = 1 if, and
only if, b is a norm of F ( p a). Therefore, F is p-rigid if, and only if, the map
(3.3)

Λ2 (∪) : H 1 (G, Fp ) ∧ H 1 (G, Fp ) −→ H 2 (G, Fp ),

induced by the cup product, is injective.
The following theorem is due to P. Symonds and Th. Weigel.
Theorem 3.7 ([SW00], Thm. 5.1.6). Let G be a finitely generated pro-p group.
Then the map
Λ2 (∪) : H 1 (G, Fp ) ∧ H 1 (G, Fp ) −→ H 2 (G, Fp )
is injective if, and only if, G is powerful.
By (2.2), (3.1), and [MS03] this implies the following.
Proposition 3.8. Assume that dimFp (Ḟ /Ḟ p ) is finite. Then F is rigid if and
only if G is powerful. Moreover, F is hereditary p-rigid if and only if G is locally
powerful.
Remark 3.9. The hereditary p-rigidity of F implies the locally powerfulness of G
for all fields by Proposition 3.8 and the definition of locally powerful groups.

DETECTING FAST SOLVABILITY OF EQUATIONS

9

Furthermore, it is possible to deduce that in the case Ḟ /Ḟ p is finite, p-rigidity
implies hereditary p-rigidity. Indeed, for a field F such that dimFp (Ḟ /Ḟ p ) < ∞,
by [Qu13, Thm. B] one has that either GF (p) is locally powerful, or it contains
a closed non-abelian free pro-p group. For a p-rigid field, GF (p) is powerful, and
therefore necessarily it is locally powerful, since powerful pro-p groups contain no
closed non-abelian free pro-p groups, and thus F is hereditary p-rigid.
Remark 3.10. Ware provided the same description for the maximal pro-p Galois
group GF (p) of a hereditary p-rigid field F , but with the further assumption that
F contains also a primitive p2 th root of unity [Wr92, Thm. 2]. The third author
already got rid of such assumption in [Qu13, Cor. 4.9].
Remark 3.11. Observe that one can prove directly for all fields F that if G = GF (p)
is poweful then F is p-rigid. Indeed if we assume using a contradiction argument
that G is powerful but F is not p-rigid, then by [Wr78, Lemma 4], G will have as
a quotient the group Hp3 (the unique non-abelian group of order p3 and exponent
p.) But this means that G/Gp is non-abelian and therefore G is not powerful. On
the other hand, from the explicit form of GF (p) for each rigid field, we shall see
(Corollary 3.17 and Theorem 4.10) that G/Gp is abelian and hence G is powerful.
Thus F is p-rigid if and only if G is powerful.
3.3. Rigidity implies hereditary rigidity. As above, let G = GF (p). Let
Brp (F ) denote the subgroup of Br(F ) consisting of elements of order p. From
Merkuryev and Suslin’s work, an element of Brp (F ) is a product of cyclic algebras,
i.e., one has the following commutative diagram:
Ḟ /Ḟ p ∧ Ḟ /Ḟ p

/ / Brp (F )

φ∧φ


H 1 (G, Fp ) ∧ H 1 (G, Fp )

Λ2 (∪)


/ / H 2 (G, Fp )

where the vertical arrows are isomorphisms, and φ is the Kummer isomorphism as
in (3.1). Therefore Brp (F ) is a quotient of Ḟ /Ḟ p ∧ Ḟ /Ḟ p . (In particular, if F is
p-rigid, also the horizontal arrows are isomorphisms.) Hence, the following hold in
Brp (F ) :
(3.4)
(3.5)
(3.6)

−1

[(b, a)F ] = [(a, b)F ]
[(ab, c)F ] = [(a, c)F ] · [(b, c)F ]



 k
(a , b)F = [(a, b)F ]k = (a, bk )F

for every a, b, c ∈ Ḟ and k ∈ Fp .
√
Let E/F be a cyclic extension of degree p, namely, E = F ( p a) with a ∈ Ḟ r Ḟ p .
Let
ǫ : Ḟ /Ḟ p −→ Ė/Ė p
be the homomorphism induced by the inclusion F ֒→ E.

Lemma 3.12. Let F be p-rigid. For E/F as above, one has


√
Ė/Ė p = [ p a]F ⊕ ǫ Ḟ /Ḟ p

as Fp -vector space.

10

S. K. CHEBOLU, J. MINÁČ, AND C. QUADRELLI

Proof. By [MS03, Thm. 1], one has that J = X ⊕ Z as G-module, where X is an
irreducible G-module, and Z is a trivial G-module. Obviously, one has the following
inclusions:


√
(3.7)
[ p a]F ⊆ X, ǫ Ḟ /Ḟ p ⊆ J G , Z ⊆ J G .
Fix a primitive pth root ζp . If ζp is a norm of E/F , then by [MS03, Cor. 1] one
has dim(X) = 1, so that J G = J, and by [MS03, Lemma 2] the claim follows.
Otherwise, by [MS03, Cor. 1] one has dim(X) = 2, so that necessarily
√
X = [ p a]F , [ζp ]F ,
√
for [ζp ]F = (σ − 1)[ p a]F , with σ a suitable generator of Gal(E/F ), and by [MS03,
Lemma 2] one has J G = ǫ(Ḟ /Ḟ p ), so that by (3.7) the claim follows.


Lemma 3.13. Let E/F be as above, and let Br(E/F ) ≤ Br(F ) be the kernel of
the morphism
Br(F ) −→ Br(E),

[(b, c)F ] 7−→ [(b, c)F ⊗F E] .

Then [(b, c)F ] ∈ Br(E/F ) if, and only if, [(b, c)F ] = [(a, d)F ] for some d ∈ Ḟ .

Proof. Let Ḡ ∼
= Z/p.Z be the Galois group of E/F , and fix a primitive pth root ζp .
It is well known that
(3.8)

Br(E/F ) ∼
= H 2 (Ḡ, Ė)

and H 2 (Ḡ, Ė) ∼
= Ḟ /NE/F (Ė).

Namely, by the first isomorphism of (3.8), every element [A] of Br(E/F ) can be
represented by a cross-product F -algebra A induced by a cocycle z : Ḡ×Ḡ → Ė, and
by the second isomorphism of (3.8), the image of z is {1, d} with d ∈ Ḟ r NE/F (Ė),
and A has a presentation such that A = (a, d)F .

√
Theorem 3.14. Let E = F ( p a) with a ∈ Ḟ r Ḟ p . If F is p-rigid, then so is E.
Proof. In order to prove that E is p-rigid, we have to show that for α, β ∈ Ė, one
has [(α, β)E ] = 1 in Br(E) if, and only if, [α]E , [β]E are Fp -linearly dependent in
Ė/Ė p .
Thus, suppose for contradiction that [α]E , [β]E are Fp -linearly independent but
[(α, β)E ] = 1. By Lemma 3.12, and by (3.4), (3.5) and (3.6), we can reduce without
√
loss of generality to the following to cases: either α, β ∈ Ḟ , or α = p a and β ∈ Ḟ .
1st case: Assume α, β ∈ Ḟ . Since [α]E , [β]E are Fp -linearly independent, so are
[α]F , [β]F in Ḟ /Ḟ p . Thus, by p-rigidity of F , [(α, β)F ] 6= 1 in Br(F ). Since we are
assuming that
[(α, β)E ] = [(α, β)F ⊗F E] = 1 in Br(E),
it follows that [(α, β)F ] ∈ Br(E/F ). Therefore, by Lemma 3.13, there exists b ∈ Ḟ
such that [(α, β)F ] = [(a, b)F ]. Since Brp (F ) ∼
= Ḟ /Ḟ p ∧ Ḟ /Ḟ p , it follows that
thus

[α]F ∧ [β]F = [a]F ∧ [b]F

[α]E ∧ [β]E = [a]F ∧ [b]E

in Ḟ /Ḟ p ∧ Ḟ /Ḟ p

in Ė/Ė p ∧ Ė/Ė p

so that [α]E and [β]E are not linearly independent, as [a]E = 1, a contradiction.

DETECTING FAST SOLVABILITY OF EQUATIONS

11

√
2nd case: Assume α = p a and β ∈ Ḟ . Let C be the maximal pro-p Galois group
of E. Then by [GS06, Prop. 7.5.5] one has the following commutative diagrams
Ḟ /Ḟ p

ǫ

/ Ė/Ė p

res1G/C


/ H 1 (C, Fp )

φE

φF


H 1 (G, Fp )

Ė/Ė p

NE/F

/ Ḟ /Ḟ p
φF

φE


H 1 (C, Fp )

cor1G/C


/ H 1 (G, Fp )

where the vertical arrows are the Kummer isomorphisms, together with the morphism
corE/F : Brp (E) −→ Brp (F )

induced by the corestriction cor2G/C : H 2 (C, Fp ) → H 2 (G, Fp ). Then by the projection formula [GS06, Prop. 3.4.10] one has


√ 
√
cor2G/C φE ( p a) ∪ res1G/C (φF (b)) = cor1G/C φE ( p a) ∪ φF (b),

which implies


 
√
√
corE/F [( p a, β)E ] = (NE/F ( p a), β)F = [(a, β)F ] .

√
Since [( p a, β)E ] = 1 in Br(E), it follows that [(a, β)F ] = 1 in Br(F ). Thus, by
p-rigidity of F , [a]F , [β]F are Fp -linearly dependent in Ḟ /Ḟ p , i.e., [β]F = [ak ]F for
some k ∈ Fp . Therefore [β]E is trivial in Ė/Ė p , a contradiction.

The following fact is an elementary consequence of the solvability of finite pgroups.
Fact 3.15. Let K/F be a finite non-trivial p-extension with K ⊆ F (p). Then there
exists a chain of extensions
(3.9)

F = K0 ⊂ K1 ⊂ . . . ⊂ Kr−1 ⊂ Kr = K

for some r ≥ 1, such that |Ki+1 : Ki | = p for every i = 0, . . . , r − 1.
This, together with Theorem 3.14, implies the following.
Theorem 3.16. Every p-rigid field F is also hereditary p-rigid.
As mentioned in the Introduction, the above theorem was proved in a different
way by Engler and Koenigsmann in [EK98, Prop. 2.2]
3.4. Galois theoretical and cohomological characterizations for p-rigid
fields. In addition to Theorem 3.16, and earlier results in this section, we have
the following implications.
F is p-rigid =⇒ F is heriditary p-rigid =⇒ G := GF (p) is locally powerful
=⇒ G is θ abelian =⇒ G has presentation as in Proposition 3.2. So in other
words, we obtain the next Corollary.
Corollary 3.17. The field F is rigid if and only if there exists an orientation
θ : GF (p) → Z×
p such that GF (p) is θ-abelian, so that G has a presentation
(3.10)

GF (p) = σ, ρi , i ∈ I [σ, ρi ] = ρλi , [ρi , ρj ] = 1 ∀ i, j ∈ I

for some set of indices I and λ ∈ p.Zp such that 1 + λ = θ(σ).

12

S. K. CHEBOLU, J. MINÁČ, AND C. QUADRELLI

In fact if F is p-rigid, then the suitable orientation for GF (p) is the cyclotomic
character of F – as one would expect, and as we shall see this again explicitly in
Section 4.2.
Also, in Section 4.2, we will obtain together with the results of previous section,
self-contained field theoretic proof of this corollary. (Alternatively, one can also
deduce this corollary using valuation theory in [EK98] .)
Definition. We say that pro-p group G is solvable if it admits a normal series of
closed subgroups such that each successive quotient is abelian. That is, we have a
sequence of closed subgroups
1 = G0 ≤ G1 ≤ G2 ≤ · · · ≤ Gk−1 ≤ Gk = G
such that each Gj is closed and normal in Gj+1 and Gj+1 /Gj is abelian for all j.
Corollary 3.18. The field F is p-rigid if and only if the maximal pro-p Galois
group GF (p) is solvable.
Proof. If F is p-rigid, then by Corollary 3.17 GF (p) has a presentation as in (3.10),
so that GF (p) is meta-abelian (i.e., its commutator is abelian), and thus solvable;
in fact, the desired normal series is
1 = [[G, G], [G, G]] ≤ [G, G] ≤ G
where G = GF (p). Conversely, if GF (p) is solvable, than it contains no closed
non-abelian free pro-p subgroups. Hence, by [Qu13, Thm. B], GF (p) is θ-abelian
for some orientation θ, and by Corollary 3.17, F is p-rigid.

As mentioned in the Introduction, Corollary 3.17 can be deduced also using valuations techniques, as in [EK98, § 1] and [Ef06, Ex. 22.1.6], whereas Corollary 3.18
is the double implication (ii)⇔(vi) in [EK98, Prop. 2.2].
Corollary 3.19. The field F is p-rigid if and only if
d(GF (p))

(3.11)

H • (GF (p), Fp ) ∼
=

^

k=1


H 1 (GF (p), Fp ) .

Proof. Recall that GF (p) is a Bloch-Kato pro-p group, so that the whole Fp cohomology ring H • (GF (p), Fp ) depends on H 1 (GF (p), Fp ) and H 2 (GF (p), Fp ).
That is, H • (GF (p), Fp ) has generators in degree 1 and relations in degree 2.
If the isomorphism (3.11) holds then in particular the morphism (3.3) is injective, and F is p-rigid. Conversely, if F is p-rigid then the morphism (3.3) is an
isomorphism, and
H 1 (GF (p), Fp ) ∧ H 1 (GF (p), Fp )

∼

/ H 2 (GF (p), Fp ).

Therefore the whole Fp -cohomology ring is isomorphic to the exterior algebra generated by H 1 (GF (p), Fp ).

Ware proved the same result in the case dim(Ḟ /Ḟ p ) < ∞, but with the further
assumptions that F is hereditary p-rigid and that it contains a primitive p2 th root
of unity [Wr92, Thm. 4 and Corollary]. Moreover, his proof requires computations
involving the Hochschild-Serre spectral sequence.
Remark 3.20. Clearly Corollaries 3.17 and 3.19 hold also for every p-extension K/F .

DETECTING FAST SOLVABILITY OF EQUATIONS

13

Corollary 3.21. Given a field F , assume that dim(Ḟ /Ḟ p ) = d < ∞. Then F is
p-rigid if and only if cd(GF (p)) = d.
Proof. If F is p-rigid, then cd(GF (p)) = d(GF (p)) by Corollary 3.19, and d(GF (p)) =
d by (2.2).
Conversely, if cd(GF (p)) = d(G) = d, then one has the isomorphism (3.11), since
a non-trivial relation in H 1 (GF (p), Fp ) ∧ H 1 (GF (p), Fp ) would imply that
H d (GF (p), Fp ) = SpanFp {χ1 ∪ · · · ∪ χd } = 0,

with {χ1 , . . . , χd } a basis for H 1 (GF (p), Fp ), a contradiction (see [Qu13, Prop. 4.3]
for more details).

Corollary 3.22. Given a field F , assume that dim(Ḟ /Ḟ p ) = d < ∞. Then F is
p-rigid if, and only if, dim(K̇/K̇ p ) = d for every finite p-extension K/F .
Proof. Suppose that dim(K̇/K̇ p ) = d for every finite p-extension K/F . By (2.2)
and (3.1), this implies that d(C) = d for every open subgroup C ≤ G. Therefore
the rank of G is finite, and G contains no closed non-abelian free pro-p subgroups.
Thus, by [Qu13, Thm. B], GF (p) is powerful, and F is p-rigid; also see [EM13].
Conversely, if F is p-rigid, then GF (p) is uniformly powerful (and finitely generated by hypothesis), and by [DdSMS03, Prop. 4.4] one has d(C) = d(GF (p)) for
every open subgroup C ≤ GF (p), i.e., dim(K̇/K̇ p ) = d for every finite p-extension
K/F .

Remark 3.23. A pro-p group G has constant generating number on open subgroups
if
(3.12)

d(C) = d(G)

for all open subgroups C ≤ G.

By Corollary 3.22, a maximal pro-p Galois group has property (3.12) if, and only if,
F is p-rigid. The problem to classify all profinite groups with property (3.12) was
raised by K. Iwasawa (see [KS11, §1]). Thus, Corollary 3.22 classifies all such groups
in the category of maximal pro-p Galois groups (and hence also in the category of
pro-p absolute Galois group). Actually, [Qu13, Thms. A and B] gives implicitly
the same classification for the wider category of Bloch-Kato pro-p groups.
A similar classification has been proven in [KS11] for the category of p-adic
analytic pro-p groups. It is interesting to remark that the groups listed in [KS11,
Thm. 1.1.(1)-(2)] have a presentation as in (3.10), whereas the groups listed in
[KS11, Thm. 1.1.(3)] cannot be realized as maximal pro-p Galois groups, for they
have non-trivial torsion.
4. New characterization for p-rigid fields
4.1. Proof of Theorem A. Let G be the maximal pro-p Galois group GF (p), and
recall from §2.3 the definition of the modules Jn .
Moreover, let G{n} and G(n) denote the maximal pro-p Galois group of F {n} ,
resp. of F (n) . Then it is clear that


G{n}
,
Gal F {n+1} /F {n} =
Φ G{n}
i
p h
 

G{n} , G{n} ,
and G{n+1} = Φ G{n} = G{n}

14

S. K. CHEBOLU, J. MINÁČ, AND C. QUADRELLI

whereas by (2.2) and (3.1) one has Jn ∼
= H 1 (G(n) , Fp ) = (G(n) )∨ , so that
G  G(n) ∨

,
=
(Jn )G ∼
= H 1 G(n) , Fp
[G, G(n) ]

i.e., the G-invariant elements of Jn are dual to the G-coinvariant elements of G(n) ,
which implies that


G(n)
p 
,
Gal F (n+1) /F {n} =
G(n)
G, G(n)
i
p h
i 
h

G, G(n) = λn+1 (G).
and G(n+1) = Φ G(n) G, G(n) = G(n)

Remark 4.1.
i. The G-module J can be defined in a purely cohomological
manner without involving the field F , since by Kummer theory one has the
isomorphism
J∼
= H 1 (Φ(G), Fp )
as G-modules.
ii. Theorem A can be stated in the following way: F is rigid if, and only if,
G{n} = G(n) for all n ≥ 2 or, equivalently, if, and only if, J2G = J2 .

Proposition 4.2. If F is a p-rigid field then F {n} = F (n) for all n ≥ 2.

Proof. By Corollary 3.17, the maximal pro-p Galois group G is a locally powerful
group, with a presentation as in (3.10). Direct computations imply that λn (G) =
n−1
Gp
for all n ≥ 2. In particular,
2

G{3} = Φ(G)p [Φ(G), Φ(G)] = Gp = G(3) .

Moreover, if we assume that G{n} = G(n) = λn (G), then
λn+1 (G) ≤ G{n+1} = λn (G)p [λn (G), λn (G)] ≤ λn+1 (G),

so that G{n+1} = λn+1 (G). Therefore, G(n) = G{n} = λn (G) and, by Remark 4.1,
F {n} = F (n) for all n ≥ 2.

On the other hand, if F is not p-rigid, we have the opposite.
Theorem 4.3. If F is not p-rigid, then F {3} ) F (3) .
In order to prove the above theorem, we need two further lemmas.
Lemma 4.4.
Let E/F be a bicyclic extension of degree p2 , and let L = F (2) , i.e.,
√
√
p
p
E = F ( a, b) with a, b ∈ Ḟ r Ḟ p such that [a]F , [b]F are Fp -linearly independent
in Ḟ /Ḟ p . Assume γ ∈ Ė. Then γ ∈ L̇p if, and only if, γ ∈ Ḟ · Ė p .
Proof. Let
γ = xδ p , with x ∈ Ḟ and δ ∈ Ė. Then it is clear that γ ∈ L̇p , for
√
p
L = F ( F ).
On the other hand, assume that γ ∈ L̇p . Then, either γ is a p-power in E, or it
√
becomes a p-power via the extension L/E, i.e., p γ ∈ LrE. Therefore, by Kummer
theory, γ is equivalent to an element x ∈ Ḟ modulo Ḟ p , namely, γ ∈ xḞ p . This
proves the lemma.

√
p
Lemma 4.5. Let E/F be a cyclic extension of degree p, i.e., E = F ( a) with
a ∈ Ḟ r Ḟ p . Then
√
p
a∈
/ Ḟ · Ė p

DETECTING FAST SOLVABILITY OF EQUATIONS

15

Proof. Let α ∈ Ḟ Ė p . Then there exist x ∈ Ḟ , γ ∈ Ė such that α = xγ p . Thus
NE/F (α) = NE/F (xγ p ) = xp NE/F (γ)p ∈ Ḟ p ,

√
√
/ Ḟ p , it follows that p a ∈
/
with NE/F the norm of E/F . Since NE/F ( p a) = a ∈
Ḟ Ė p .

Proof of Theorem 4.3. Since F is not p-rigid, there exist two elements a,√b ∈ Ḟ
such that [a]F and [b]F are Fp -linearly independent, and a is a√norm of F ( p b)/F .
√
Recall that the linear independence implies that F (√p a) 6= F ( p b), so that E/F is
√
p
a bicyclic extension of degree p2 , where E = F ( p a,
b). Let Gal(E/F ) ∼
= Cp × Cp
√
√
p
hτ i
p
and F ( b) = E hσi . Then the lattice of
be generated by σ, τ , with F ( a) = E
the fields L ⊇ E ⊇ F is the following:
L

②②
②②
②
②②
②②
√
F ( p a)
❊❊
❊❊
❊
σ ❊❊❊
❊
τ

E❊
❊❊
❊❊σ
❊❊
❊

F

√
F ( p b)
②
②②
②②τ
②
②
②②

√
√
p
p
a. Then
Let δ ∈ F ( p b) such that NF ( √
b)/F (δ) = a, and let c =
p−1
p
p a) (δ) = δ · (τ.δ) · · · (τ
NE/F ( √
.δ) = NF ( √
b)/F (δ) = a

p−1
p a) (c) = c · (τ.c) · · · (τ
and NE/F ( √
.c) = c · ζc · · · ζ p−1 c = cp ,

with ζ a primitive pth root of unity, so that
 
p a) (δ)
NE/F ( √
δ
a
√
= p = 1.
=
NE/F ( p a)
p a) (c)
c
NE/F ( √
c
Therefore, by Hilbert’s Satz 90 there exists γ ∈ Ė such that
(4.1)

(τ − 1).γ =

δ
τ.γ
= .
γ
c

Suppose that δ/c ∈ L̇p . Then by
Lemma 4.4 one has that δ/c ∈ Ḟ ·Ė p . In particular,
√
√
p
this implies that c = p a ∈ F ( b)× · Ė p , which is impossible by Lemma 4.5. Hence
√
δ/c ∈
/ L̇p . Thus, by (4.1) and by Lemma 2.2 the extension L( p γ)/F is not Galois
and γ 1/p is not in F (3) .

Now Proposition 4.2 and Theorem 4.3 imply Theorem A,
Remark 4.6. By the proof of Proposition 4.2 it follows that F is p-rigid then G(n) =
n−1
λn (G) = Gp
for all n > 1.

16

S. K. CHEBOLU, J. MINÁČ, AND C. QUADRELLI

4.2. Recovering GF (p) and F (p) from small Galois groups. As in Section
4.1, let G be the maximal pro-p Galois group GF (p) of the field F . For h > 0, let
µph ⊆ F (p) be the group of ph roots of unity. We also set µp∞ to be the group of
all roots of unity of order pm for some m ≥ 0. Finally we set k ∈ N ∪ {∞} to be
the maximum of all h ∈ N ∪ {∞} such that µph ⊆ F .
For a field F which is p-rigid, let E/F be a Galois extension of degree p. Therefore
E = F (b1/p ) for some b ∈ Ḟ \Ḟ p . Then by Kummer theory, we may choose a set of
representatives {bi : i ∈ J } ⊆ Ḟ of Ḟ \Ḟ p with b = bj for some j ∈ J . Thus Lemma
3.12 implies that
Dp
E
(4.2)
Ė/Ė p = [ p bj ]E , [bi ]E
.
i6=j

Assume now that k < ∞. Then we may pick a set of representatives A =
{ζpk , ai , i ∈ I} ⊆ Ḟ , where ζpk is a fixed primitive pk th root of unity, so that
Ā = {[ζpk ]F , [ai ]F , i ∈ I} is a Fp -basis for Ḟ /Ḟ p . If k = ∞, then we still consider a
basis Ā for Ḟ /Ḟ p , where the symbol [ζpk ]F in this case is meant as an empty symbol
to be ignored. Also in this case [ζpk+n ]E , with n ∈ N and E/F a p-extension, is
also an empty symbol. We assume that our system of roots of unity ζpl for l ≥ 1
in F (p) is chosen such that
(ζpl+1 )p = ζpl
for all l ≥ 1.
Let J be a finite subset of I. Set J = {1, · · · , t} and let
1/p

1/p

K = F (a1 , · · · at , ζpk+1 ).

Then we have a series of Galois extensions

F ⊂ K1 ⊂ K2 · · · Kt ⊂ Kt+1 = K ⊆ F (2) ,
1/p

where K1 = F (ζpk+1 ), and Ki+1 = Ki (ai ) for 1 ≤ i ≤ t. Then by the above
arugument and induction one has
(4.3)

1/p

K̇/K̇ p = h[ζpk+1 , [aj ]K , j = 1, 2, · · · t, [f ]K , f ∈ Ḟ i

Assuming this observation we shall prove the following theorem.
Theorem 4.7. If F is a p-rigid field, then
i
E
D
h
Ḟ (n)
1/pn−1
p = [ζpk+n−1 ]F (n) , ai

,i ∈ I
F (n)
Ḟ (n)

for every n ≥ 1.

Proof. Let Ā = {[ζpk ]F , [ai ]F , i ∈ I} be an Fp basis for Ḟ /(Ḟ )p as above. We
observe that for n = 1 our statement is clear because F (1) = F . In order to
˙ /(F (2)
˙ )p
see that our statement is also true for n = 2 consider any [α]F (2) ∈ F (2)
˙ . Then there exists a finite subset J ⊂ I such that α ∈ K =
with α in F (2)
1/p
F (ζpk+1 , aj , j ∈ J ). (Again, we ignore ζpk+1 if k = ∞.) Now we see that [α]K
1/p

can be expressed as a product of powers of [ζpk+1 ]K , [aj ]K and a finite number of
elements [fl ]K , l = 1, · · · n, fl ∈ Ḟ . Passing to F (2) , all elements [fj ][F (2) ] become
[1]F (2) . Therefore
˙ /(F (2)
˙ )p = [ζ k+1 ] (2) , [ √
p
ai ]F (2) , i ∈ I
(4.4)
F (2)
p
F

DETECTING FAST SOLVABILITY OF EQUATIONS

17

This proves over statement for n = 2. Now going from n to n + 1 is just like going
from n = 1 to n = 2 done above taking into account that
1/pn

F (n+1) = F (n) (ζpk+n , ai

, i ∈ I).

The last equality follows by induction hypothesis on n and by observing that
1/pn
F (n) (ai , i ∈ I) is Galois over F for each i ∈ I as ζpk+n−1 , and hence also ζpn
belong to F (n) . Hence we proved our statement for all n.

Remark 4.8. In fact taking into account our convention about the symbol [ζpk+n−1 ]F (n)
when k is ∞, one can show in a similar but slightly more complicated way as in
the proof above that
n−1

{[ζpk+n−1 ]F (n) , [ai 1/p

]F (n) , i ∈ I}

˙ /(F (n)
˙ )p over F for all n ∈ N .
is a basis of F (n)
p

Corollary 4.9. Assume that F is a p-rigid field. Then we have the following.
(a) For all n ≥ 1,
1/pn−1

F (n) = F (ζpk+n−1 , ai
(b)
F (p) =

[

1/pn

F (ζpk+n , ai

n≥1

, i ∈ I)

, i ∈ I).

Proof. (a) We use Theorem 4.7, its proof and induction on n. The statement is true
for n = 1 because ζpk , ai , i ∈ I all belong to F . Now assume that our statement is
1/pn
true for n. Using Theorem 4.7 and the fact that F (n) (ai )/F is Galois for each
i ∈ I, we conclude that
1/pn

F (n+1) = F (ζpk+n , ai

, i ∈ I).

This completes the induction step and we are done.
(b) This follows from the fact that
[
F (p) =
F (n) .
n≥1

(see Proposition 2.1.)


[n]

Now we shall determine all Galois groups G

:= Gal(F

(n)

/F ), for all n ≥ 1.

Theorem 4.10. Suppose F is a p-rigid field. Then we have the following.
(a)
( Q

n−1
Z ⋊ Z/pn−1 Z
if k < ∞
[n]
I Z/p
G = Q
n−1
Z
if k = ∞
I Z/p
(b)

(Q
Zp ) ⋊ Zp
(
G = Gal(F (p)/F ) = Q I
Z
I p

if k < ∞
if k = ∞

Moreover when k < ∞ there exists a generator σ of the outer factor Z/pn−1 Z
in
of the outer factor Zp in (b) such that for Q
each τ from the inner factor
Q (a) and
n−1
Z/p
Z
in
(a)
and
each
τ
from
the
inner
factor
I Zp in (b) we have
I
k

στ σ −1 = τ p

+1

.

18

S. K. CHEBOLU, J. MINÁČ, AND C. QUADRELLI

Proof. If k < ∞, consider F (n) as the 2nd step extension of F :
F ⊂ F (ζpk+n−1 ) ⊂ F (n) .

Then there exists σ ∈ G[n] such that

k

+1
σ(ζpk+n−1 ) = ζppk+n−1

and σ restricts to identity in Gal(F (n) /F (ζpk+n−1 ). By standard Kummer theory
(see Chapter 6, sections 8 and 9 in [Lan02], [AT09] Chapter 6, Section 2, and also
for relevant similar calculations in [Wr92], proof of Theorem 2.), we can deduce
that such σ exists and that
G[n]

= Gal(F (n) /F (ζpk+n−1 )) ⋊ hσi
Y
∼
Z/pn−1 Z ⋊ Z/pn−1 Z if k < ∞.
=
I

pk +1

−1

with the action στ σ = τ
for all τ ∈ Gal(F (n) /F (ζpk+n−1 )). If k = ∞ then
direct application of Kummer theory shows that
Y
G[n] =
Z/pn−1 Z.
I

This proves (a), and (b) follows from that fact that F (p) = ∪n≥1 F (n) . Indeed,
then G = lim G[n] , which has precisely the description in (b).
←−

If k < ∞, then it is well known that the Galois group of the extension F (µp∞ )/F
is pro-p-cyclic, i.e., Gal(F (µp∞ )/F ) ∼
= Zp [Wr92, Lemma 1].QAs we see from our
proof of the above theorem (part b), the outer factor
Qof G = I Zp ⋊ Zp is isomorGal(F (p)/F (µp∞ )) ∼
phic with Gal(F (µp∞ )), andQ
= I Zp . We can pick generators
ρi , i ∈ I of the pro p-group I Zp as elements of Gal(F (p)/F (µp∞ )) such that
1/pn

ρi (ai

and

1/pn

1/pn

) = ζpn ai

for all i ∈ I, and n ≥ 1,

1/pn

) = aj for all j ∈ I, j 6= iand n ≥ 1
This isomorphism Gal(F (µp∞ )) ∼
= Zp is induced by the cyclotomic character
ρi (aj

(4.5)

θF : G −→ AutF (µp∞ ),

∼ Z× .
where AutF (µp∞ ) is the image of θF in Aut(µp∞ ) =
p
From the above theorem we further see that we have a presentation of G by
generators and relations as follows:
D
E
k
(4.6)
G = σ, ρi , i ∈ I [σ, ρi ] = ρpi , [ρi , ρj ] = 1 ∀ i, j ∈ I ,
Q
Q
If k = ∞ then we can omit σ and G = I Zp = I hρi i. Thus we recover Corollary
3.17 and our orientation in θ in Corollary 3.17 can be chosen as the cyclotomic
character θ : G → Z×
p.
In the above theorem, we determined G[n] quotients of GF (p) if F is p-rigid. If
k < ∞ the described action is trivial iff n ≤ pk + 1. Thus we obtain the following
interesting corollary.

DETECTING FAST SOLVABILITY OF EQUATIONS

19

Corollary 4.11. Suppose that F is p-rigid field and k < ∞. Then G[n] is abelian
iff n ≤ pk + 1.
In Corollary 4.9 we determined the structure of F (p) for F a p-rigid field. It is
the simplest possible structure F (p) can have. Using this structure, we determine
in Theorem 4.10, and the discussion after it, that if d(G) ≥ 1, then GF (p) fits in
the exact sequence
1 → A → GF (p) → Zp → 1

where A is a topological product of copies of Zp . Therefore, if we assume that
[
1/pn
F (p) =
F (ζpk+n , ai , i ∈ I)
n≥1

for some I using [Wr92] Theorem 1(b), we obtain the following refinement of Corollary 4.9.
Corollary 4.12. Let F be a field. Then F is p-rigid if and only if
[
1/pn
F (p) =
F (ζpk+n , ai , i ∈ I).
n≥1

Remark 4.13. Note that our proofs were done using purely Galois field theoretic
methods. However, some of these arguments can be obtained by using the theory
of uniform pro-p groups. (See beginning of Section 3.1 for the definition of uniform
pro-p groups and recall from Section 4.1 that λn (G) = G(n) .) Although this theory
is worked out in [DdSMS03] only for finitely generated pro-p groups, the techniques
and methods and can also be extended to our groups, i.e., groups of the form
G = GF (p). In fact, because the structure of G as described in Theorem 4.10 is
very simple, these results can be proved in a straightforward manner. Here we will
reformulate some of these results which are inspired by the theory of uniform pro-p
groups.
First of all, from Theorem 4.7 and Theorem 4.10 we see that if G is finitely
generated then G is a uniform pro-p group. Observe that G(2) = λ2 (G) = Gp .
This follows from the fact that the commutators in G are pth powers. In fact, by
n−1
induction on n, we see that G(n) = Gp
for all n ≥ 2. Thus we see again slightly
differently the validity of Remark 4.6. The following fact is a consequence of the
group structure of G, and in fact in the case of finitely generated pro-p groups, it
holds for every uniform pro-p group. We omit a straightforward direct proof.
n

Fact 4.14. The pn th power map G → Gp induces an isomorphism of (finite) pgroups
pn

G/Gp = G/G(2)

/ Gpn /Gpn+1 = G(n+1) /G(n+2) .

for every n > 1.
By duality the above map induces the following commutative diagram
H 1 G(n) , Fp
≀



Ḟ (n) /(Ḟ (n) )p o

(pn−1 )∨

/ H 1 (G, Fp )
≀

ψn

Ḟ /Ḟ p

20

S. K. CHEBOLU, J. MINÁČ, AND C. QUADRELLI

where the upper arrow is the dual of the pn th power map – and therefore (pn−1 )∨
is an isomorphism – and the vertical arrows are the Kummer isomorphisms. Consequently also Ḟ /Ḟ p and Ḟ (n) /(Ḟ (n) )p are isomorphic as Fp -vector spaces. In particular,
i
h

 
1/pn−1
ψn [ζpk ]F = ζpk+n−1 F (n) and ψn ([ai ]F ) = ai
F (n)

for every n > 1 and i ∈ I. This last conclusion is consistent with Theorem 4.7 and
Remark 4.8.

From Theorem A is possible now to sort out the following new characterization
of p-rigidity which restricts to Galois groups of finite exponent.
Corollary 4.15. The field F is p-rigid if and only if one has





.
Gal F (2) /F {3} ⊆ Z Gal F {3} /F
Proof. Recall first that


(4.7)
Gal F {3} /F =

G
G{3}

and



G(2)
Gal F (2) /F {3} = {3} .
G

Assume that F is p-rigid. Then by Theorem A one has F {3} = F (3) . By the
construction of F (3) , we see that Gal(F (2) /F (3) ) = Gal(F (2) /F {3} ) is the central
subgroup of Gal(F {3} /F ).
Conversely, assume that Gal(F {3} /F (2) ) is central in Gal(F {3} /F ). By (4.7),
this implies that the commutator subgroup [G, G(2) ] is contained in G{3} . Since
i
p
p h
 


G, G(2) ,
and G(3) = G(2)
G{3} = Φ G(2) ≥ G(2)

it follows that G{3} contains G(3) , and thus G{3} = G(3) . Therefore F is p-rigid by
Theorem A.


We proved the each p-rigid field is hereditary p-rigid. In particular, if F is prigid, then for each finite extension K/F , K ⊂ F (p) is again p-rigid. Then there is a
natural question of whether F is p-rigid in the above situation when we assume that
K is p-rigid. If Ḟ /Ḟ p is finite, the answer is yes as we will show below, and the proof
is a quite remarkable use of Serre’s theorem ([Se65]) on cohomological dimension
of open subgroups of pro-p groups, a consequence of Bloch-Kato conjecture on
cohomological dimensions, and an elementary observation on the growth of p-power
classes.
Theorem 4.16. Suppose that F is any field such that G = GF (p) is finitely generated pro-p group. If there exists a finite extension K/F , K ⊆ F (p), such that K
is p-rigid, then so is F .
Proof. Because G is finitely generated, we see that the minimal number of generators of G is equal to
d := d(G) = dimFp H 1 (G, Fp ) = dimFp Ḟ /Ḟ p < ∞.
In particular, Ḟ /(Ḟ )p is a finite group. Since K/F is a finite extension in F (p), from
basic Galois theory and theory of p-groups we see that there is chain of extensions
F = K0 ⊂ K1 ⊂ · · · ⊂ Ks = K

DETECTING FAST SOLVABILITY OF EQUATIONS

21

such that [Ki+1 : Ki ] = p for each i = 0, 1, · · · , s − 1. Thus by Kummer theory each
1/p
Ki+1 is of the form Ki+1 = Ki (ci ) for some ci ∈ K̇. Now observe by induction
on i that
p
dimFp Ḟ /Ḟ p ≤ dimFp K̇i /K̇i ≤ dimFp K̇/K̇ p .
Indeed, by Kummer theory we have a natural embedding
p
˙ /Ki+1
˙ p
ψi : (K̇i /K̇i )/h[ci ]Ki i → Ki+1
p

where [ci ]Ki is the element of K̇i /K̇i corresponding to ci and h[ci ]Ki i is the subp
group of K̇i /K̇i generated by [ci ]Ki . Hence
p
˙ /Ki+1
˙ p ).
dimFp K̇i /K̇i ≤ 1 + dimFp (Ki+1
1/p

However, the “lost of [ci ]Ki ” is compensated by [ci ]Ki . Indeed in the group
˙ /Ki+1
˙ p , the element [c1/p ]Ki is independent from the Bi := image ofψi . This
Ki+1
i
means that
1/p
[ci ]Ki ∩ Bi = {[1]Ki+1 }.
1/p

p

/ K̇i , but the set of all norms NKi+1/Ki of elements in
Indeed NKi+1/Ki (ci ) = ci ∈
Bi , NKi+1/Ki (Bi ) = {[1]Ki+1 }. Because we assume that K is p-rigid we see that
e := dimFp K̇/K̇ p = cd GK (p).
But since by [Be74], Satz 3 we know that GF (p) is torsion free we can conclude
from [Se65] théorème that
cd GK (p) = cd GF (p).
Hence we conclude that
d ≤ e = cd GF (p).
On the other hand, from the Bloch-Kato conjecture (now Rost-Voevodsky theorem)
one can conclude that (see [CEM12])
e := cd GF (p) ≤ d.

Hence e = d and from Corollary 3.21 we conclude that F is p-rigid.



4.3. Fast solvability of algebraic equations: Recall from the Introduction
that
√
a non-nested root over a field F is an element α ∈ F̄ s such that α = n a for a ∈ F .
For example, given elements ai , bi ∈ Ḟ , the expression
q
p
p
n
a0 + a1 n 1 b 1 + . . . + ar n r b r ,
is a nested root, if n and some ni are both larger than 1.

Definition. A polynomial f ∈ F [X] is said to be fast-solvable if it is solvable by
radicals (in the sense of Galois) and its splitting field over F is contained in a field
L generated by non-nested roots, i.e.,
√
√
L = F ( n1 a1 , . . . , nr ar ) , ai ∈ Ḟ , ni > 1.
Therefore, by Corollary 4.12 every irreducible polynomial in F [X] with splitting
field of p-power degree is fast-solvable for F a p-rigid field. On the other hand,
observe that Ferrari’s formula for a solution of a quartic equation makes use of
nested roots. This suggests that a general quartic polynomial is not fast-solvable
in spite of the name of the author of the formula. Following the suggestion of

22

S. K. CHEBOLU, J. MINÁČ, AND C. QUADRELLI

the referee we leave the reader a non-trivial problem of showing that there is no
“Porsche formula” which provides a fast solution for a general quartic equation.
4.4. Analytic pro-p group and dimension subgroups. A p-adic analytic prop group is a p-adic analytic manifold which is also a group such that the group
operations are given by analytic functions (see [DdSMS03, Ch. 8]). Analytic pro-p
groups were first introduced and studied in depth by M. Lazard [La65], and are
now an object of research, both in group theory and number theory (see [dSMS00]).
Lazard found a beautiful group theoretic characterization of p-adic analytic prop group. This is the main result of the book [DdSMS03]. One variant of it is the
following theorem.
Theorem 4.17. [DdSMS03, Chapter 8] The following statements are equivalent
for a topological group G.
(1) G is a compact p-adic analytic group.
(2) G contains an open normal uniform pro-p group of finite index
(3) G is a profinite group containing an open subgroup which is a pro-p group
of finite rank.
Using this result and Theorem 4.16 we obtain the next theorem.
Theorem 4.18. Assume that dimFp Ḟ /(Ḟ )p < ∞. Then F is p-rigid if and only
if GF (p) is a p-adic analytic pro-p group.
Proof. Assume first that dimFp Ḟ /(Ḟ )p < ∞ and F is p-rigid. Then as we pointed
out in Remark 4.13, G itself is uniform and hence by previous result G is p-adic
analytic.
Assume now that dimFp Ḟ /(Ḟ )p < ∞ and GF (p) is p-adic analytic. Then there
exists an open normal uniform subgroup H of GF (p). Let K be the fixed field of
H. Then H = GK (p). Because H is uniform, it is in particular powerful and by
Proposition 3.8 we see that K is p-rigid. Now by Theorem 4.16 we see that F is
p-rigid as well.

For a (not necessarily pro-p) group G, its dimension subgroups Dn = Dn (G) are
defined as follows: D1 = G, and for n > 1
Y
p
[Di , Dj ],
Dn = D⌈n/p⌉
i+j=n

where ⌈n/p⌉ is the least integer k such that pk ≥ n. Dimension subgroups define
the fastest descending series of G such that [Di , Dj ] ≤ Di+j and Dip ≤ Dpi , for any
i, j ∈ N∗ . Moreover, Dn is the kernel of all the natural homomorphisms of G into
the unit group of κ[G]/I n , i.e., Dn ∼
= 1 + I n , where κ is any field of characteristic p,
and I is the augmentation ideal of κ[G] [DdSMS03, §11.1]. The following formula,
due to Lazard, provides an explicit description for Dn (see [DdSMS03, Theorem
11.2]):
Y
h
(4.8)
Dn (G) =
γi (G)p .
iph ≥n

It is worth questioning how the dimension subgroups look when G is the maximal
pro-p Galois group GF (p) of a p-rigid field F . This can be addressed using the
following theorem.

DETECTING FAST SOLVABILITY OF EQUATIONS

23

Theorem 4.19 ([DdSMS03], Thm. 11.4). Let G be a finitely generated pro-p group.
Then G has finite rank if and only if Dn (G) = Dn+1 (G) for some n.
Thus, by Corollary 3.22, the above theorem also holds for finitely generated
GF (p) with F a p-rigid field. However, in our calculation below we can assume
that GF (p) is any Galois group of the maximal p-extension of a p-rigid field which
is not necessarily finitely generated. Let G = GF (p) for such a field and k ∈ N∪{∞}
and θF be as above, and set N = ker(θF ). Thus N ∼
= ZIp as pro-p subgroups – in
particular, if k = ∞ then N = G. Then by (4.6) one has
k

k(i−1)

[G, G] = N p

and γi (G) = N p

,

∞

for i > 1. (We implicitly set p = 0. Thus in the case k = ∞, all commutators are
trivial and the calculation below became very simple but still giving us the same
result formally as below independent of whether k is finite or infinite.) Assume
pℓ−1 < n ≤ pℓ , with ℓ ≥ 1, so that ℓ = ⌈logp (n)⌉, i.e., ℓ is the least integer such
that ℓ ≥ logp (n). Hence, by Lazard’s formula (4.8), one has
Y
Y
ℓ
h
ℓ
k(i−1)+h
(4.9)
Dn (G) = γ1 (G)p
γi (G)p = Gp
Np
,
iph ≥n

iph ≥n

where i ≥ 2.
We shall show that for every i, h such that i ≥ 2 and iph ≥ n, one has the
inequality
(4.10)
k(i−1)+h

ℓ

k(i − 1) + h ≥ ℓ,
ℓ

so that N p
≤ Gp and Dn (G) = Gp . If h ≥ ℓ, then (4.10) follows immediately. Otherwise, notice that i > pℓ−h−1 ≥ 1, as iph ≥ n > pℓ−1 , which
implies


(4.11)
k(i − 1) > k p(ℓ−h)−1 − 1 .
Therefore, for ℓ − h ≥ 2, the inequality (4.11) implies k(i − 1) ≥ ℓ − h, and thus
(4.10), whereas for ℓ − h = 1 (4.10) follows from the fact that i ≥ 2.
Altogether, this shows that
ℓ

Dn (G) = Gp , with pℓ−1 < n ≤ pℓ ,

Dn (G) ∼
(Z/pZ)I for n a p-power
and
=
1
otherwise.
Dn+1 (G)
Acknowledgements
We thank A. Adem, D. Karagueuzian, and I. Efrat for working with the second
author over the years on related topics which strongly influenced the way we think
about rigidity and its unique place in Galois theory. Moreover, we thank E. Aljadeff,
D. Neftin, J. Sonn and N.D. Tan for their interest and helpful suggestions on this
paper. Also the second author is grateful to J. Koenigsmann for calling his attention
to Koenigsmann’s paper with A. Engler quoted and used in our paper. We are
grateful to Leslie Hallock for her passion for a proper and elegant use of English
language and for her kind but forceful advice related to its use in our paper. We
are also grateful to the referee for his/her encouragement and for providing us a
number of valuable suggestions to improve the exposition. Last but not least, the

24

S. K. CHEBOLU, J. MINÁČ, AND C. QUADRELLI

second and third authors are very grateful to Th.S. Weigel who introduced them
to each other.

References
[AGKM01] A. Adem, W. Gao, D. Karaguezian, J. Mináč, Field theory and the cohomology of
some Galois groups. J. Algebra, 235 (2001), 608-635.
[AEJ87]
Arason, R. Elman, B. Jacob. Rigid elements, valuations, and realizations of Witt
rings. J. Algebra 110 (1987), no. 2, 449-467.
[AT09]
E. Artin and J. Tate. Class field theory, AMS Chelsea Publication, 2009.
[Be74]
E. Becker. Euklidische Körper und euklidische Hüllen von Körpern. Collection of
articles dedicated to Helmut Hasse on his seventy-fifth birthday, II. J. Reine Angew.
Math. 268/269 (1974), 41-52.
[Ca1545]
G. Cardano. Artis magnae, sive de regulis algebraicis liber unus. Ticinum Pavia, MI,
1545.
[CEM12]
S.K. Chebolu, I. Efrat, J. Mináč. Quotients of absolute Galois groups which determine
the entire Galois cohomology. Math. Ann. 352 (2012), no. 1, 205-221.
[dSMS00]
M.P.F. du Sautoy, A. Mann, A. Shalev (eds.). New horizons in pro-p groups. Progr.
Math., 184, Birkhäuser Boston, Boston, MA, 2000.
[DdSMS03] J.D. Dixon, M.P.F. du Sautoy, A. Mann, D. Segal. Analytic Pro-p Groups, 2nd
edition. Cambridge studies in advanced mathematics 61, Cambridge University Press,
Cambridge, second edition, First paperback edition 2003.
[Ef95]
I. Efrat. Abelian subgroups of pro-2 Galois groups. Proc. Amer. Math. Soc. 123
(1995), no. 4, 1031-1035.
[Ef98]
I. Efrat. Small maximal pro-p Galois groups. Manuscripta Math. 95 (1998), 237-249.
[Ef99]
I. Efrat. Construction of valuations from K-theory. Math. Res. Lett. 6 (1999), no.
3-4, 335-343.
[Ef06]
I. Efrat. Valuations, orderings, and Milnor K-theory. Mathematical surveys and
monographs 124, American Mathematical Society, Providence, RI, 2006.
[EM11]
I. Efrat, J. Mináč. On the descending central sequence of absolute Galois groups.
Amer. J. Math., 133 (2011), n. 6: 1503-1532.
[EM12]
I. Efrat, J. Mináč. Small Galois groups that encode valuations. Acta Arith. 156 (2012),
no. 1, 7-17.
[EM13]
I. Efrat, J. Mináč. Galois groups and cohomological functors. Preprint, available at
arXiv:1103.1508.
[EL72]
R. Elman, T.Y. Lam. Quadratic forms over formally real fields and pythagorean
fields. Amer. J. Math. 94 (1972), 1155-1194.
[EK98]
A.J. Engler, J. Koenigsmann, Abelian subgroups of pro-p Galois groups. Trans.
Amer. Math. Soc. 350 (1998), n. 6, 2473-2485.
[GLMS03] W. Gao, D.B. Leep, J. Mináč, T.L. Smith, Galois groups over nonrigid fields. Valuation theory and its applications, Vol. II (Saskatoon, SK, 1999), 61-77, Fields Inst.
Commun., 33, Amer. Math. Soc., Providence, RI, 2003.
[GS06]
P. Gille, T. Szamuely. Central simple algebras and Galois cohomology. Cambridge
Studies in Advanced Mathematics, 101. Cambridge University Press, Cambridge,
2006.
[HJ95]
Y.S. Hwang, B. Jacob. Brauer group analogues of results relating the Witt ring to
valuations and Galois theory. Can. J. Math. 43 (1995), no. 3, 527-543.
[Ja81]
B. Jacob, On the structure of Pythagorean fields. J. Algebra 68 (1981), no. 2, 247-267.
[JW89]
B. Jacob, R. Ware. A recursive description of the maximal pro-2 Galois group via
Witt rings. Math. Z. 200 (1989), no. 3, 379-396.
[KS11]
B. Klopsch, I. Snopce. Pro-p groups with constant generating number of open subgroups. J. Algebra 331 (2011), 263-270.
[Ko95]
J. Koenigsmann. From p-rigid elements to valuations (with a Galois-characterization
of p-adic fields). J. Reine Angew. Math. 465 (1995), 165-182.
[Ko01]
J. Koenigsmann. Solvable absolute Galois groups are metabelian. Invent. Math. 144
(2001), no. 1, 1-22.

DETECTING FAST SOLVABILITY OF EQUATIONS

[Ko03]

[Lan02]
[La65]
[LS02]
[MSp96]
[MS03]
[MST]
[NSW]
[Qu13]
[Se65]
[Se79]
[SW00]
[Sz77]
[Vo11]
[Wr78]
[Wr81]
[Wr92]
[We08]
[We09]

25

J. Koenigsmann. Encoding valuations in absolute Galois groups. Valuation theory
and its applications, Vol. II (Saskatoon, SK, 1999), 107-132, Fields Inst. Commun.,
33, Amer. Math. Soc., Providence, RI, 2003.
S. Lang, Algebra, Springer, Revised 3rd edition, 2002.
M. Lazard. Groupes analytiques p-adiques. Publ. Math. Inst. Hautes Études Sci. 26
(1965), 389-603.
D.B. Leep, T.L. Smith, Multiquadratic extensions, rigid fields and pythagorean fields.
Bull. London Math. Soc. 34 (2002), 140-148.
J. Mináč, M. Spira. Witt rings and Galois groups. Ann. of Math. (2) 144 (1996), no.
1, 35-60.
J. Mináč, J. Swallow. Galois module structure of pth power classes of extensions of
degree p. Israel J. Math. 138 (2003), 29-42.
J. Mináč, J. Swallow, A. Topaz. Galois module structure of (ℓn )th classes of fields.
Preprint, available at arXiv:1204.6611, to appear in Bull. London Math. Soc.
J. Neukirch, A. Schmidt, K. Wingberg. Cohomology of Number Fields. Grundlehren
der mathematischen Wissenschaften 323, Springer, Berlin Heidelberg, 2000.
C. Quadrelli, Bloch-Kato pro-p groups and locally powerful groups. Forum Math., to
appear.
J. P. Serre Sur la dimension cohomologique des groupes profinis. (French) Topology
3, 1965 413-420.
J.P. Serre. Local Fields, Graduate Texts in Mathematics, 67. Springer-Verlag, New
York-Berlin, 1979.
P. Symonds, Th. Weigel. Cohomology of p-adic analytic groups. in New horizons in
pro-p groups, Progr. Math., 184, Birkhäuser Boston, Boston, MA, (2000), 349-410.
K. Szymiczek. Quadratic forms over fields. Dissertationes Math. (Rozprawy Mat.)
152 (1977).

V. Voevodsky. On motivic cohomology with Z/l-coefficients. Ann.
of Math. (2) 174
(2011), no. 1, 401-438.
R. Ware, When Witt rings are group rings? II. Pacific J. Math. 76 (1978), no. 2,
541-564.
R. Ware, Valuation rings and rigid elements in fields. Canad. J. Math. 33 (1981), no.
6, 1338-1355.
R. Ware, Galois groups of maximal p-extensions. Trans. Amer. Math. Soc. 33 (1992),
no. 2, 721-728.
C. Weibel. The proof of the Bloch-Kato Conjecture. ICTP Lecture Notes Series 23
(2008), 1-28.
C. Weibel. The norm residue isomorphism theorem. J. Topol. 2 (2009), no. 2, 346-372.

Department of Mathematics, Illinois State University, Campus box 4520, 61790 Normal IL, USA
E-mail address: schebol@ilstu.edu
Department of Mathematics, University of Western Ontario, Middlesex College,
N6A5B7 London ON, Canada
E-mail address: minac@uwo.ca
Dipartimento di Matematica, Università di Milano-Bicocca, Ed. U5, Via R.Cozzi 53,
20125 Milano, Italy
E-mail address: c.quadrelli1@campus.unimib.it

