Cohomologie des groupes pronis et classication des

groupes de Demukin
Alexandre Jannaud et David Leturcq
Juin 2014
1 Introduction
Lobjet de cet expos sera dtudier une certaine famille de groupes innis, mais dont les
proprits sont proches de celles des groupes nis. On introduira donc dabord la notion de limite
projective pour dnir les groupes pronis qui sont alors obtenus comme limites de groupes nis,
et les pro-p-groupes qui sont limites de p-groupes. On dnira en particulier F(n) comme le
pro-p-groupe libre sur n lments.
Aprs avoir montr quelques proprits gnrales sur ces groupes, nous dnirons leur co-
homologie, outil trs puissant dni partir des applications continues de G
n
dans un groupe
ablien discret. Il sagira alors dutiliser la dnition assez complexe des objets cohomologiques
pour comprendre ce qui se passe en petite dimension. Linterprtation de H
1
et H
2
nous per-
mettra alors de donner des informations sur des prsentations dun groupe par gnrateurs et
relations.
Finalement, nous nous attellerons dans une dernire partie classier un certain nombre de
groupes pronis, dits de Dem uskin, pour lesquels on dispose de deux invariants simples nots n
et q. Le thorme que lon obtiendra nalement est le suivant :
Thorme 1.1. Soit G un groupe de Demukin dinvariants (n, q) avec q ,= 2
Alors
G

= F(n)/ x
q
1
(x
1
, x
2
)(x
3
, x
4
)...(x
n1
, x
n
))
Serre donne galement un autre thorme pour le cas q = 2, n impair que nous donnons sans
essayer de le dmontrer ici :
Thorme 1.2. Soit G un groupe de Demukin dinvariants (2m + 1, 2) Alors il existe k
0, 2, 4, 8, 16, tel que ;
G

= F(n)/

x
2
1
.x
k
2
.(x
2
, x
3
)(x
4
, x
5
)...(x
2m
, x
2m+1
)
_
Ces rsultats permettent donc de classier une classe de groupes innis en fonction de seule-
ment deux entiers. Les groupes pronis apparaissant naturellement comme groupe de Galois
des extensions galoisiennes innies dun corps, ces thormes permettent alors de dterminer la
structure du groupe de Galois de certaines extensions de corps.
1
Nous essaierons de suivre la dmonstration de Serre (dans [5]) au cours de notre expos. Il en
existe galement une seconde plus prcise et permettant de traiter le cas q = 2 par introduction
dun troisime invariant dont nous nous contenterons de mettre le lien en bibliographie ([3]).
2 Groupes pronis, pro-p-groupes
2.1 Limite projective, pronitude
Pour dnir lide de "limites de groupes" voque en introduction, on utilisera une structure
appele limite projective et dnie ainsi :
Dnition 2.1. On appelle systme projectif de groupes topologiques, la donne :
Dun ensemble ordonn I, tel que : , I, tq et (deux indices
admettent toujours un majorant commun.).
Pour tout I, dun groupe topologique G

.
Pour tout > , dun morphisme continu f
,
: G

.
Si (G

, f

)
I,
est un systme projectif , on dnit sa limite projective comme tant le
sous-groupe topologique lim

de

G

muni de sa topologie produit dni par :

lim

= (g

)
I
: > , f

(g

) = g

.
On appellera groupe proni (resp pro-p-groupe) un groupe qui peut scrire comme limite
projective de groupes nis (resp. de p-groupes.).
On remarque que les "ches" vont dans le sens dcroissant des indices, ce qui justie la
notation lim

et la nomenclature assez rpandue de limite inverse.

Dans la suite, on notera pr

et

: lim

les projections canoniques

sur les G

.
Si G est un groupe proni et H et K deux sous-groupes, on notera (H, K) le sous-groupe ferm
distingu engendr par les commutateurs h.k.h
1
.k
1
o h H, k K, et H
q
le sous-groupe
ferm distingu engendr par les h
q
o h parcourt H.
Comme limites de groupes nis, donc despaces discrets, un pro-p groupe va hriter de cer-
taines proprits topologiques.
Proposition 2.1. Si les G

sont nis, G = lim

est un groupe compact et totalement discon-

tinu (i.e. a pour composantes connexes des singletons) pour la topologie induite par la topologie
produit sur

G

.
Dmonstration.
compacit :
Le thorme de Tychono nous assure que le produit est compact, donc il sut de montrer
que lim

est ferme dans le produit. Pour cela, on remarque que le complmentaire est ouvert.
Soit en eet, (x

lim

. Il existe donc < , tel que f

(x

) ,= x

et pr
1

(x

)
pr
1

(x

) est un ouvert du complmentaire contenant (x

), ce qui conclut.
discontinuit totale :
En eet, si C G est connexe (et non vide), on a par continuit de

que

(C) est connexe et

donc rduit un point x

, car un groupe ni est discret donc totalement discontinu. Il sensuit

que C = (x

)
I
.
G est donc totalement discontinu.
2
On remarque aussi galement par dnition de la topologie sur lim

quon a la caractrisa-
tion suivante de la convergence des suites qui nous permet de mieux comprendre le comportement
topologique du groupe que lon vient de construire.
Remarque 2.1. Soit G = lim

un groupe proni. Alors pour toute suite (x

n
)
n0
de G et
lment y = (y

), on a :
(x
n
) converge vers y si et seulement si (

(x
n
))
n0
converge vers y

pour tout indice .

Cette remarque traduit le fait que la topologie produit correspond la convergence simple
des coecients et est la "plus petite topologie rendant les

continus".
On va maintenant noncer et dmontrer la "proprit universelle de la limite projective" qui
caractrise la structure de la limite projective en fonction des morphismes de groupes topolo-
giques.
Proposition 2.2. Si on a un groupe K et des morphismes (

)
I
tels que le diagramme
G

>
G

soit commutatif pour tout ,

il existe alors un unique morphisme continu : K lim

tq I,

.
On a donc une bijection entre les familles de morphismes compatibles avec les f

et les
morphismes valeurs dans la limite projective. Cest ce qui justie le nom de proprit universelle
pour cette proposition.
Dmonstration.
Connaissant la proprit universelle du produit, on a lunicit et lexistence de : K

tq pr

Reste vrier que (K) lim

(G), ce qui est immdiat.

Pour tudier par la suite les groupes pronis en tant que groupes topologiques nous aurons
besoin de quelques lemmes gnraux de topologie des groupes. Le premier concerne la description
dune base de voisinages de llment neutre dans un groupe topologique. Notons que nous ne
parlons que de sous-groupes ferms dun groupe proni. Nous ne nous tendrons pas sur ce
point, la raison principal en est que si on retire cette hypothse, le groupe quotient nest a priori
pas spar pour la topologie induite.
Lemme 2.1. Soit G un groupe compact. Alors :
Les sous-groupes distingus ferms dindice ni de G sont exactement ses sous-groupes
distingus ouverts.
Si G est proni, ses sous-groupes distingus ouverts forment une base de voisinage de lunit
(i.e. tout voisinage de lunit en contient un).
Dmonstration.
Pour le premier point, on remarque quun sous-groupe dindice ni est le noyau dun mor-
phisme continu dans un groupe discret. Donc comme cest limage rciproque dun ouvert, il
3
est encore ouvert. Rciproquement, si H G est ouvert, on crit G =

gG/H
gH et la dni-
tion de la compacit associe au fait que ce recouvrement soit une partition (donc nait pas de
sous-recouvrement strict) prouve que G/H est ni.
Pour le second point, on remarque que si U est un voisinage de e, il contient par construction
de la topologie produit un voisinage de la forme
1

1
(U
1
)
1

n
(U
n
) avec U
i
G

i
pour tout
i, qui contient lui-mme
1

1
(e
1
)
1

n
(e
n
), qui est videmment un sous-groupe ouvert
distingu.
On tablit maintenant un critre de densit trs pratique pour les groupes pronis, que nous
utiliserons trs rgulirement dans la suite, pour conclure certaines dmonstrations.
Lemme 2.2. Soient G = lim

une limite projective de groupes (non ncessairement nis), et

H un sous-groupe de G.
On suppose que pour tout ,

(H) = G

. Alors, H est dense dans G.

En particulier, si, avec les notations de la proposition 2.2, K est compact et les

surjectifs,
alors le morphisme quils induisent est surjectif.
Dmonstration.
Soit U un ouvert non vide de G, et x = (x

)
I
U.
On peut supposer par construction de la topologie produit que U =
1

1
(U
1
)
1

n
(U
n
)
avec pour tout i, U
i
ouvert dans G

i
. On prend alors majorant tous les
i
, ce qui est rendu
possible par la dnition dun systme projectif.
Soit donc alors y H tel que

(y) =

(x), qui existe par hypothse sur H. Alors, on vrie

en utilisant les f

i
que

i
(x) =

i
(y) U
i
et donc y
1

1
(U
1
)
1

n
(U
n
).
En particulier U H ,= , ce qui conclut.
La consquence vient juste du fait que si les

sont surjectifs, on a pour tout indice :

((K)) = G

, ce qui montre que (K) est dense. Comme il est galement ferm, comme image
continue dun compact, il est gal G tout entier do la surjectivit de .
Ce lemme de structure trs utile va nous permettre de bien manier la topologie des groupes
pronis et den tudier les proprits lmentaires. Une des premires consquences va tre la
proposition qui suit, qui nous montre quon peut toujours retrouver, partir dun groupe proni,
un systme projectif dont il est limite, et nous donne une caractrisation topologique de la
pronitude.
Proposition 2.3. Si G est un groupe compact tel que tout voisinage de lunit contient un
sous-groupe ouvert, alors on a G

= lim

G/V o V parcourt lensemble des sous-groupes ouverts

distingus de G.
En particulier, le rsultat sapplique si G est un sous-groupe ferm dun groupe proni. Par
consquent, tout sous-groupe ferm dun groupe proni est lui-mme proni.
Dmonstration. Pour V ouvert distingu, G/V est ni, par le lemme 2.1. On a alors un mor-
phisme continu de groupes pronis G

lim

G/V construit par la proposition 2.3

On a Ker() =

V G ouvert
V = e, car on regarde lintersection dune base de voisinages
dans un espace spar.
Par le lemme 2.2., est surjectif, car les applications G G/V de sa construction le sont
et que G est compact. Alors (G) = lim

G/V (
1
est continu par compacit de G, donc ceci
montre que est un isomorphisme continu).
Pour la seconde partie de la proposition, il sut de remarquer que si G est un sous-groupe
dun groupe proni G
0
, il est compact, et quune base de voisinages de lunit est donne par :
4
U G : U sous-groupe ouvert de G
0
et que si U < G
0
est ouvert, U G est un sous-groupe
ouvert de G.
Pour nir cette section, on montre une proposition permettant encore de simplier le systme
projectif donnant naissance un groupe proni, et qui nous permettra de raisonner de manire
plus itrative.
Proposition 2.4. Soient G un groupe compact (par exemple proni) et G
n
une suite dcrois-
sante de sous-groupes ferms dintersection triviale (on parlera de ltration de G). Alors, G est
isomorphe la limite projective des G/G
n
.
Dmonstration. On a des morphismes G G/G
n
qui sont surjectifs et videmment compatibles
avec les projections G/G
m
G/G
n
(avec m > n), do le morphisme annonc. Par le lemme
2.2, ce morphisme est surjectif, et comme son noyau est lintersection des G
n
donc est trivial,
cest un isomorphisme. Sa rciproque est aussi continue par compacit de G.
En particulier, dans ce cas la remarque 2.1 se simplie encore en :
Remarque 2.2. Si G est un groupe compact et (G
n
)
n0
une ltration de G, alors une suite
converge si et seulement si elle converge modulo G
n
pour tout n.
2.2 Pro-(p-)compltion dun groupe, pro-p-libert
Dnition 2.2. On dnit un systme projectif pour un groupe abstrait G donn par :
I = quotients nis de G ordonn par linclusion inverse des sous-groupes distingus as-
socis.
(G/H, G/K) I
2
, tel que H K, les morphismes de projection canoniques
K,H
:
G/H G/K.
La limite projective de ce systme est appele complt proni de G, et est note

G.
En prenant comme I lensemble quotients de G qui sont des p-groupes, on obtient le p-
complt de G, not

G
p
.
Dans le cas o G = Z, on obtient de la sorte le procomplt

Z (ensemble des entiers pronis) et
le pro-p-complt Z
p
(ensemble des entiers padiques).
Dans le cas o G est le groupe libre de rang n, L(n), on notera son pro-p-complt F(n, p) (ou
F(n) lorsque p est dni sans ambigut).
F(n, p) est appel le pro-p-groupe libre n gnrateurs.
On a la proprit suivante qui dnit les cas o les procds prcdents dnissent bien une
"compltion" de G, cest dire au moins, un espace dans lequel G sinjecte de manire dense.
Proposition 2.5. Il existe un unique morphisme continu : G

G, compatible avec les pro-
jections naturelles de G et

G sur les G/H.
est injectif si et seulement si

HI
H = e
On a (G) =

G
On a un rsultat similaire avec

G
p
5
Dmonstration. On a
G
/ /
!
!
G/H

G/K
commutatif quand H K, do, par la proposition 2.2 un unique continu : G lim

(G/H).
On a immdiatement Ker() =

HI
H = e.
Enn, montrons que G est dense. On a bien que les projections G G/H sont surjectives, donc
par le lemme 2.2, comme
G/H
((G)) = G/H pour tout G/H I, on a la densit annonce.
On peut alors appliquer le rsultat prcdent aux deux cas introduits dans la n de la d-
nition prcdente, pour obtenir nalement le corollaire suivant :
Proposition 2.6.
On a une injection dimage dense Z

Z
p
On a une injection dimage dense L(n)

F(n)
Dmonstration.
Il sut, par la proposition 2.3, de montrer que

k0

HZ
|Z/H|=p
k
H = 0, ce qui est trivial (car

p
k
Z = ), et que :

HL(n)
L(n)/H pgroupe
H = e, ce qui lest moins.
Posons pour dmontrer la seconde partie H
1
= L(n), et pour i 1, H
i+1
= H
p
i
.(H, H
i
)
On a directement H
i
L(n), et on voit que H
i
/H
i+1
est un pgroupe, donc H
i
I.
On a de plus

i0
H
i
= 0 (en utilisant le plongement construit par Lazard en [4]), ce qui
conclut.
Dsormais on identiera rgulirement L(n) et Z leurs images par ces injections.
De la densit de L(n) dans F(n), on va pouvoir dduire en quoi le groupe F(n) mrite encore
ladjectif de "libre". Cette justication rside dans la proprit suivante :
Proposition 2.7. Si G est un pro-p-groupe, alors
Hom(F(n), G) G
n
F (F(x
i
))
1in
est une bijection.
Notons bien que lapplication ci-dessus nest pas un morphisme a priori, puisque lensemble
Hom(F(n), G) nest pas un groupe si G nest pas ablien.
Dmonstration. crivons G = lim

o (G

, f

) est un systme projectif de limite G. Lap-

plication prsente ci-dessus est injective par densit de L(n).
Soit (y
i
)
1in
G
n
. Posons pour I, g

(x
i
) =

(y
i
)
Ceci dnit g

: L(n) G

.
On pose alors N

= Ker(g

) et on peut donc passer au quotient et trouver g

: L(n)/N

. Notons que comme G

est un p-groupe, L(n)/N

aussi.
6
Do un morphisme f

: F(n) L(n)/N

, cest dire dni par f

= g

L(n)/N

De plus, si , on a : x L(n),

(f

(x)) = f

(x) (car cette galit est vraie pour les

x
i
).
Donc, par densit,

(f

(x)) = f

(x) sur F(n) et

= f

.
On en dduit f : F(n) G telle que , f

f. On a alors f(x
i
) = (f

(x
i
))
I
=
((y
i
)

)
I
= y
i
.
Lapplication de lnonc est donc bien surjective.
2.3 Gnrateurs topologiques dun groupe
Lobjet de cet expos tant ltude de certaines prsentations de groupes par gnrateurs et
relations, on introduit la notion de gnrateurs topologiques dun groupe proni.
Dnition 2.3. On dit que (x
i
)
iI
engendre topologiquement un groupe proni G lorsque G est
le plus petit sous-groupe ferm contenant tous les x
i
Proposition 2.8. Soit G un pro-p-groupe et (g
1
, ..., g
n
) G
n
; Les assertions suivantes sont
quivalentes :
(i) (g
1
, ..., g
n
) engendrent topologiquement G.
(ii)
_
F(n)

G
x
i
g
i
est un morphisme surjectif de groupes.
(iii)
_
Hom(G, F
p
)

F
n
p
F (F(g
i
))
1in
est un morphisme injectif de F
p
-espaces vectoriels.
Dmonstration.
(i) (ii)
(F(n)) est compact, comme image continue dun compact, donc ferm dans G.
De plus, en notant G = lim

G/H avec H parcourant lensemble I des sous-groupes ouverts

distingus de G, on a que
G/H
(g
1
), ...,
G/H
(g
n
) engendrent le groupe G/H. Donc
G/H
est
surjectif.
Par suite, on a H I,
H
((F(n))) = G/H.
On applique alors le lemme 2.2 qui montre la surjectivit de .
(ii) (iii)
Si F Ker(), on a i, F((x
i
)) = 0
Or, F Hom(F(n), G), donc F = 0.
Comme est surjectif, on en dduit F = 0, do linjectivit de .
(ii) (i)
On a (F(n)) = (L(n)) (L(n)) par continuit de .
Donc (L(n)) = G, ce qui conclut, car (L(n)) est le sous-groupe engendr par les g
i
.
(iii) (ii)
Montrons la contrapose :
Si nest pas surjectif, alors il existe H G tq
G/H
(F(n)) G/H.
Comme G/H est un p-groupe, il existe un sous-groupe dindice p de G/H contenant
G/H

(F(n)) (ceci rsulte de [1] proposition 12, page 73).
Ceci nous donne : G/H Z/pZ non nul tq (
G/H
((F(n)))) = 0.
On a alors
G/H
Ker() et
H
,= 0, ce qui conclut.
7
3 Cohomologie des groupes pronis
3.1 Premires dnitions
Dnition 3.1. Soit G un groupe proni. On note (
G
la classe des groupes abliens discrets
(A, +) munis dune action compatible de G.
Nous demandons aux actions dtre compatibles :
Avec la structure de groupe de A : (g, x, y) GA
2
, g.(x + y) = g.x + g.y
Avec la topologie de G : on demande que lapplication G A A donnant laction soit
continue.
On appellera plus rapidement G-module ou G-module discret un lment de (
G
.
Pour tout G-module A, on note (
n
(G, A) les applications continues de G
n
dans A, et on appelle
cochanes ses lments.
On appellera Gmorphisme de A (
G
dans A

(
G
tout morphisme de groupes abliens tel
que (g, a) GA, f(g.a) = g.f(a). (Les topologies tant dicrtes la continuit est automatique).
On va introduire dsormais la notion de groupes de cohomologie dun groupe proni G
valeurs dans un module A, qui nous sera trs utile par la suite, car elle contient des invariants
utiles et calculables du groupe dorigine.
Dnition 3.2. On dnit lapplication de cobord d
n
: (
n
(G, A) (
n+1
(G, A) par la formule :
(g
1
, ...g
n+1
) G
n+1
,
dF(g
1
, ..., g
n+1
) = g
1
F(g
2
, ..., g
n+1
)+

n
i=1
(1)
i
F(g
1
, ..., g
i1
, g
i
g
i+1
, g
i+2
, ..., g
n
)+(1)
n+1
F(g
1
, ..., g
n
).
On appelle cobord un lment de la forme dF pour une certaine cochane F, et cocycle une
cochane telle que dF = 0.
La formule du cobord est justie par la proposition suivante qui rend possible la dnition
de la cohomologie.
Proposition 3.1. (i) on a d
n+1
d
n
= 0.
On peut alors bien dnir le n-ime groupe de cohomologie de G valeurs dans A par :
_
H
0
(G, A) = Ker(d
0
).
H
n
(G, A) = Ker(d
n
)/Im(d
n1
), pour n 1.
On notera par la suite [F] la classe dun cocycle F.
(ii) H
0
(G, A) = A
G
: le premier groupe de cohomologie sidentie aux lments xes par G.
(iii) H
1
(G, A) =
_
u : G A[g, h G
2
, u(gh) = u(g) + g u(h)
_
/ g G g a a, a A.
(iv) : en particulier, si G agit trivialement, H
0
(G, A) = A et H
1
(G, A) = Hom(G, A).
Dmonstration.
(i) cest un calcul, les signes se simplient.
(ii) un lment de (
0
(G, A) est une constante a A.
On a alors d
0
a : g G g a a A.
donc, Ker(d
0
) = A
G
(lments de A xes par G)
(iii) Im(d
0
) = g G g a a, a A
F (
1
(G, A), d
1
F(g
1
, g
2
) = g
1
F(g
2
) F(g
1
, g
2
) + F(g
1
) do le rsultat.
8
Proposition 3.2. Si A
f
B est un morphisme de G-modules, il induit un morphisme H
n
(f) :
H
n
(G, A) H
n
(G, B).
Dmonstration. On a un morphisme naturel f
n
:
(
n
(G, A) (
n
(G, B)
f
en vriant que d(f ) = f d, on peut construire le morphisme annonc par passage au
quotient.
3.2 Suite exacte longue de cohomologie
On va montrer une des proprits fondamentales des groupes de cohomologie qui permet leur
calcul explicite dans certains cas prcis. On reconnait ici, une forme habituelle ressemblant aux
suites de Mayer Vietoris en cohomologie de de Rham.
Proposition 3.3. Soit 0 A
i
B
p
C 0 une suite exacte courte de G-modules. On a alors
la suite exacte longue de cohomologie suivante :
0 H
0
(G, A) H
0
(G, B) H
0
(G, C) H
1
(G, A) H
1
(G, B) H
1
(G, C) ...
La preuve de cette suite exacte longue est porte en annexe. Lingrdient essentiel en est le
lemme du serpent.
3.3 Suite dination-restriction-transgression
On va maintenant montrer comment des morphismes de groupes permettent de crer des
morphismes entre les groupes de cohomologie. Ceci nous sera trs utile pour dnir une deuxime
suite exacte de cohomologie plus tard.
Dnition 3.3. Soient G un groupe proni, et f : G

G un morphisme de groupes pronis

(i. e. un morphisme continu de groupes).
Si A (
G
, on peut considrer A comme un G

-module A
f
en posant (g

, a) G

A, g

a =
f(g

) a.
On dnit alors f
n
:
_
(
n
(G, A) ((G

, A
f
)
(f(), ..., f())
qui dnit de manire vidente f

n
: H
n
(G, A) H
n
(G

, A
f
).
Dnition 3.4. Soient G

f
G un morphisme de groupes pronis, A un G-module, A

un G

-
module, et u : A A

morphisme additif tel que a A, g

, u(f(g

) a) = g

u(a)
Alors u est un G

-morphisme de A
f
dans A

et induit des morphismes u

n
: H
n
(G

, A
f
)
H
n
(G

, A

).
On a alors des morphismes entre les cohomologies donns par : u
n
f

n
: H
n
(G, A)
H
n
(G

, A

).
9
La dnition prcdente va nous permettre de dnir les morphismes dination et de restric-
tion dans deux cas particuliers que voici :
Dnition 3.5. Soit G un groupe proni, H < G ferm, et K G ferm.
Soit A (
G
, alors :
(i) Linjection canonique i : H G dnit des morphismes Res
n
: H
n
(G, A) H
n
(H, A)
(ii) f = : G G/K et u : A
K
A induisent des morphismes Inf
n
: H
n
(G/K, A
K
)
H
n
(G, A)
Remarque 3.1. Notons que :
si f reprsente une classe x de H
n
(G, A), Res
n
(x) est reprsent par f
|H
n do le nom de
restriction.
si f reprsente une classe x de H
n
(G/K, A
K
), Inf
n
(x) est reprsent par h : (g
1
, , g
n
)
G
n
f(g
1
, , g
n
).
Par la suite on omettra souvent les indices sur les morphismes dnis ci-dessus. Toutes ces
dnitions nous permettent enn dobtenir la suite voque prcdemment qui relie les cohomo-
logies de G, H, et G/H.
Proposition 3.4. Soient G un groupe proni, H G ferm, et A (
G
sur lequel G agit triviale-
ment. On fait agir G sur H
1
(H, A) par la construction suivante : pour g G, et F C
1
(H, A),
on pose g.F : h H F(g.h.g
1
) A. Cette action donne, par passage au quotient une action
sur H
1
(H, A).
(i) On a H
1
(H, A)
G
=
_
[F] H
1
(H, A) : F((H, G)) = 0
_
(ii) Il existe un morphisme "de transgression" tg tel que la suite
0 H
1
(G/H, A)
Inf
H
1
(G, A)
Res
H
1
(H, A)
G
tg
H
2
(G/H, A)
Inf
H
2
(G, A) soit exacte.
Dmonstration.
Notons que laction introduite passe bien au quotient car si dF = 0, alors d(g.F)(h) =
dF(g.h.g
1
) = 0.
(i) immdiat
(ii)
Commenons par constuire tg.
Soit s : G/H G une section continue de G G/H telle que s(e) = e.
On pose pour g G, (g) = gs(g mod H)
1
H
Comme s(e) = e, (h) = h pour tout h H et (hx) = h(x) pour tout (h, x) H G
Soit maintenant [] H
1
(H, A)
G
et = d( ) (
2
(G, A)
On a pour (h, k) H
2
, (x, y) G
2
,
(hx, ky) = (hx) + (ky) (hxky)
= (h(x)) + (k(y)) (h(xky))
= (h) + ((x)) + (k) + ((y)) (h) ((xky))
= (x) + (k) + (y) (xky)
10
Mais,
((xky)) = (xkys(xy mod H)
1
)
= (xkx
1
k
1
kxys(xy mod H)
1
)
= (xkx
1
k
1
) + (h) + (xy)
= (k) + (xy) car est xe par G donc ((G, H)) = 0
do (hx, ky) = (x) + (y) (xy).
Ce qui prouve que (x, y) ne dpend que des classes de x et y mod H, donc que = Inf(t)
pour un unique t (
2
(G/H, A).
On pose tg() = [t] H
2
(G/H, A).
Si on avait pris une autre section s

, on aurait obtenu de mme

: g G g.s

(g
mod H)
1
G, et

= d(

), et enn t

(
2
(G/H, A) tel que Inf(t

) = d(

)
do :
Inf(t t

)(x, y) = (

(x).(x)
1
) + ((y).(y)
1
) (

(xy).(xy)
1
)
= (s(xmodH)s

(xmodH)
1
) + (s(ymodH)s

(ymodH)
1
) (s(xymodH)s

(xymodH)
1
)
= d(g)(x mod H, y mod H) (o g : x G/H (s(x)s

(x)
1
) A).
On en dduit alors t t

= dg, do [t] = [t

], et do lexistence de tg.
Mais comme G G/H est surjective, il est immdiat que Inf est injective (par exemple dans
sa formule explicite en remarque 3.1). On en tire donc t = t

.
Exactitude de 0 H
1
(G/H, A)
Inf
H
1
(G, A).
Il sut de remarquer que daprs la formule de la remarque 3.1, Inf est injective.
Exactitude de H
1
(G(H, A))
Inf
H
1
(G, A)
Res
H
1
(H, A)
G
:
on a
Res Inf()(h) = (h) par construction de Res et Inf.
= (e
G/H
)
= 0
Si H
1
(G, A) et Res() = 0, on a Ker() H donc se factorise par G G/H do
Im(Inf) et lexactitude.
Exactitude de H
1
(G, A)
Res
H
1
(H, A)
G
tg
H
2
(G, A)
Si H
1
(G, A), alors h H Res()(h) = (h), donc Res()(g.h.g
1
.h
1
) = (g) +(h)
(g) (h) = 0. Donc Res arrive bien dans H
1
(H, A)
G
.
Et avec les notations prcdentes, (x, y) = d( )(x, y) = (x) + (y) (xy)
Mais, (x) = (xs(x)
1
) = (x) (s(x)), car Res() Hom(H, A).
Donc (x, y) = s(xy) s(x) s(y) = d( s(x, y))
Do (x, y) (G/H)
2
, t(x, y) = d( s)(x, y)
et t Im(d
1,g/H
) do tg() = [t] = 0 H
2
(G/H, A)
donc tg Res = 0.
Soit H
1
(H, A)
G
tel que tg() = 0
Alors t = du avec u (
1
(G/H, A)
11
et x, y G
2
, Inf(du)(x, y) = du(x, y) = d( )(x, y) = (x) + (y) (xy).
De manire vidente, Inf(du) = d(Inf u), donc, en posant u

= Inf(u ), on a du = 0.
Do u

(xy) = u

(x) + u

(y), et u

H
1
(G, A).
Enn Res(u

) = Res(Inf(u )) = Res( )
Donc Res(u

)(h) = (h s(h)
1
) = (h)
do nalement = Res(u

) et Ker(tg) Im(Res).
Exactitude de H
1
(H, A)
G
tg
H
2
(G/H, A)
Inf
H
2
(G, A)
Par dnition Inf(tg()) = d( ) = 0 H
2
(G, A), do Inf tg = 0.
Soit x Ker(Inf).
x est une classe de cohomologie, donc si x = [f] on a : g
1
, g
2
, g
3
G/H, df(g
1
, g
2
, g
3
) = 0,
cest--dire f(g
1
, g
2
g
3
) f(g
1
g
2
, g
3
) = f(g
1
, g
2
) f(g
2
, g
3
).
En faisant g
2
= e, on trouve f(g
1
, e) = f(e, g
3
) = f(e, e) pour tous g
1
, g
3
dans G
Comme pour une fonction constante x G/H a A, da vaut aussi a, on peut considrer
f(e, e) comme un lment de Im(d
1,G/H
) et donc choisir f tel que g G/H, f(g, e) = f(e, g) = 0.
On a alors Inf(f) Im(d
1,G
) (sa classe est 0).
Cest dire lexistence de g (
1
(G, A) tel que x, y G
2
, f(x, y) = g(x) + g(y) g(xy).
On a alors immdiatement x, y H
2
, g(xy) = g(x) + g(y) (car f(x, y) = 0)
Et si on pose = Res(g), on a donc H
1
(H, A), et pour (h, x) H G,
(hxh
1
x
1
) = (h) + (xh
1
x
1
)
= g(h) + g(x) + g(h
1
x
1
) f(x, h
1
x
1
)
= g(h) + g(x) + g(h
1
) + g(x
1
) f(x, h
1
x
1
) f(h
1
, x
1
)
= g(x) + g(x
1
) f(x, x
1
) f(e, x
1
)
= g(xx
1
) 0
= g(e) = f(e, e) = 0
Donc sannule sur (H, G) donc H
1
(H, A)
G
Maintenant, on a pour x dans G :
(g )(x) = g(x) (xs(x)
1
)
= g(x) g(xs(x)
1
)
= g(s(x))
= Inf(g s)(x)
Donc dg d = d(Infg s).
Mais dg = Inf(f) et d = Inf(t).
Donc Inf(f t d(g s)) = 0.
Et f = t + d(g s) do en passant la cohomologie : x = tg(), ce qui conclut.
3.4 Cup-produit sur les groupes de cohomologie
On dnit ici le cup-produit qui est une application bilinaire entre groupes de cohomologie
induite naturellement par une application bilinaire entre les modules respectifs.
12
Dnition 3.6. Soient G un groupe proni, A
1
, A
2
, et A des G-modules et u : A
1
A
2
A
bilinaire continue.
On dnit
_
(
p
(G, A
1
) (
q
(G, A
2
)
u
(
p+q
(G, A)

1
,
2

1

2
par : (g
1
, ..., g
p+q
) G
p+q
,
1

2
(g
1
, ..., g
p+q
) = u(
1
(g
1
, ..., g
p
),
2
(g
p+1
, ..., g
p+q
))
Proposition 3.5. Pour tous
1
,
2
, on a : d(
1

2
) = d
1

2
+ (1)
p

1
d
2
Dmonstration. calcul
Dnition 3.7. On peut donc passer la cohomologie et obtenir le cup-produit H
p
(G, A
1
)
H
q
(G, A
2
)
u
H
p+q
(G, A).
4 Utilisation de la cohomologie des pro-p-groupes
4.1 Rle du premier groupe de cohomologie
Lorsque G est un pro-p-groupe, on notera H
i
(G) = H
i
(G, Z/pZ) o G agit trivialement sur
Z/pZ.
On note alors que C
n
(G, Z/pZ) a une structure despace vectoriel sur Z/pZ, et que le cobord
est linaire. Il sensuit donc que les groupes de cohomologie ont une structure de Z/pZ-espaces
vectoriels.
Proposition 4.1. On a H
0
(G) = Z/pZ et H
1
(G) = Hom(G, Z/pZ).
Dmonstration. Cest une recriture de la proposition 3.1
On va tenter de prciser ici le lien entre H
1
(G) et le rang de G, ce qui nous permettra de
montrer que H
1
(G) contient dja des informations prcises sur le nombre de gnrateurs du
groupe G.
Dnition 4.1. On appelle rang dun groupe proni G le nombre minimal (ventuellement
inni) de gnrateurs ncessaires pour engendrer topologiquement G. On le note rg(G).
Lemme 4.1. Soient G un pro-p-groupe, et G

= G
p
(G, G), (cest dire le sous-groupe ferm
distingu engendr par les g
p
et les commutateurs). Alors H
1
(G) = H
1
(G/G

)
Dmonstration. il sut de voir que tout morphisme G Z/pZ sannule sur G
p
(G, G) donc se
factorise par G/G

.
13
Remarque 4.1. Lintrt de cette proposition est de montrer quon peut ramener le calcul du
premier groupe de cohomologie de G celui de G/G

qui a naturellement une structure de Z/pZ-

espace vectoriel.
Proposition 4.2. Soit G un groupe proni. On a rg(G) = dim(H
1
(G)).
Dmonstration.
Si rg(G) n, soient g
1
, ..., g
n
engendrant G. On a alors une injection associe Hom(G, Z/pZ)
(Z/pZ)
n
.
do dim(H
1
(G)) n.
Si dim(H
1
(G)) n, posons :
:
_
G H
1
(G/G

g (f H
1
(G/G

) f(g) Z/pZ) = ev
g
Alors est surjective. En eet, on a que

gG
Ker(ev
g
) = 0, ce qui est trivial et nous permet de
trouver par rcurrence g
1
, ..., g
n
G/G

tels que ev
g
1
, ..., ev
g
n
soit une famille libre de H
1
(G/G

donc une base.

Par la proposition dj vue, on a alors que g
1
, ..., g
n
engendrent G topologiquement.
Do rg(G) n.
4.2 Rle du deuxime groupe de cohomologie
On va maintenant tudier le rle de H
2
(G). On va voir quil nous donne en fait le nombre de
relations ncessaires engendrer G, dans un sens que lon prcisera.
Dnition 4.2. Soit R un sous-groupe ferm distingu dun groupe G. Alors, on dit que r
1
, , r
n
engendrent R dans G, si R est le plus petit sous-groupe ferm distingu les contenant. On note
alors R = (r
1
, , r
n
)
G
.
On appelle alors rang de R dans G le nombre minimal dlments dune famille engendrant
R dans G ce sens. On le notera rg(R G).
Remarque 4.2. A priori, il ny a aucune raison pour que le rang de R dans G soit gal au rang
de R comme groupe. En eet, pour engendrer R dans G avec les r
i
, on considre des produits
dlments de la forme g.r
i
.g

1 avec g G, alors que pour lengendrer en tant que groupe

seul, on utilise des produits dlments de la forme r.r
i
.r
1
avec r R. Ceci dit, on remarque
immdiatement alors que rg(R F(n)) rg(R).
On montre alors le lemme suivant qui remplace la proposition 2.8 pour cette nouvelle forme
de gnration, en faisant de nouveau le lien entre un certain premier groupe de cohomologie et
la gnration de R.
Lemme 4.2. Soit R un sous-groupe distingu ferm de G. On fait agir G/R sur H
1
(R/R

) =
H
1
(R) par g (x) = (gxg
1
) ce qui ne dpend pas du choix du reprsentant g.
On a alors quivalence entre :
(i) r
1
, .., r
n
engendrent R dans G.
(ii)
_
H
1
(R)
G/R

(Z/pZ)
n
((r
1
), ..., (r
n
))
est injectif.
14
On en dduit alors que rg(R G) = dim(H
1
(R)
G/R
)
Dmonstration.
(i) (ii)
Si on a (i), on a pour Ker(), (r
1
) = ... = (r
n
) = 0
Comme est xe par G/R, on a que (xr
i
x
1
) = (r
i
) = 0, x R.
Par continuit, on a = 0.
(ii) (i)
Soit R

le groupe ferm distingu engendr par les r

i
.
On a R

i
R do H
1
(R) H
1
(R

) et H
1
(R)
F

H
1
(R

)
F
Par hypothse, comme (R

) = 0 (R) = 0 (car (r
1
, ..., r
n
) R
n
), est injectif.
Si on avait R

R, on pourrait trouver : R/H Z/pZ non nul sannulant sur R

/H avec H
ouvert distingu (mme mthode que pour le dernier point de la dmonstration de la proposition
2.8.).
Do Ker(). Do R

= R.
Lgalit annonc rsulte alors du mme raisonnement quen proposition 4.2.
Lemme 4.3. H
2
(F(n)) = 0
Dmonstration. On va admettre ce point. Il rsulte dune tude du lien entre les extensions de
F(n) par Z/pZ, et du fait que toute extension de ce type est scinde (i.e. admet une section
continue.).
On montre alors la proposition suivante qui est le rsultat centrale de cette sous-section, car
elle permet dtablir un lien entre tous les entiers prcedemment introduits.
Proposition 4.3. Soit R F(n) ferm et G = F(n)/R.
rg(R F(n)) = r < dim(H
2
(G)) <
Si cest le cas, r = n dim(H
1
(G)) + dim(H
2
(G))
Dmonstration.
On crit notre suite dination restriction :
0 H
1
(G)
Inf
H
1
(F(n)) = (Z/pZ)
n
Res
H
1
(R)
G
tg
H
2
(G)
Inf
0 = H
2
(F(n))
On a (Z/pZ)
n
H
1
(R)
G
H
2
(G) 0 ce qui prouve que si dim(H
1
(R)
G
) < , dim(H
2
(G)) <

et que si dim(H
2
(G)) = h
2
< , alors dim(H
1
(R)
G
) n h
2
donc rg(R G) <
De plus, dans le cas o ces nombres sont nis, on a, par thorme du rang :
rg(Inf
1
) = dim(H
1
(G)) = dim(Ker(Res))
= n rg(Res) = n (dim(H
1
(R)
G
) rg(tg)) = n dim(H
1
(G)) + dim(H
2
(G))
Proposition 4.4. Soit G un groupe proni tel que dim(H
1
(G)) = n < et dim(H
2
(G)) =
m <
Alors on a la prsentation 0 R F(n) G 0 o rg(R) = m.
15
Dmonstration. cas o n = dim(H
1
(G))
Ce rsultat permet donc de montrer que dim(H
2
(G)) donne, dun certain point de vue, le
nombre de relations ncessaires dnir G avec son nombre minimal de gnrateurs n.
4.3 Morphisme de H
2
(G) dans Z/pZ li une relation
On va maintenant introduire des morphismes particuliers, qui nous permettrons didentier
H
2
(G) Z/pZ, lorsque ceux-ci sont isomorphes.
Dnition 4.3. Soit G un groupe proni tel que dim(H
1
(G)) = n < et dim(H
2
(G)) = m <
, et soit la prsentation 0 R F(n) G 0 de la proposition 4.4.. Alors :
H
1
(R)
G
tg
H
2
(G) est un isomorphisme.
Pour r R (que lon appellera plus tard relation), on dnit alors r :
_
H
2
(G) Z/pZ
a tg
1
(a)(r)
En particulier, on voit que si m = 1, r est soit nul soit un isomorphisme.
Dmonstration. On remarque que la premire che de la suite dination restriction est un
isomorphisme, donc la seconde est nulle et la troisime est injective.
5 Groupes de Demukin
5.1 Premires proprits, invariants et objectifs
Dnition 5.1. On dit quun pro-p-groupe G est un groupe de Demukin si :
(i) dim(H
2
(G)) = 1
(ii) dim(H
1
(G)) = n < et le cup-produit H
1
(G)H
1
(G) H
2
(G)

= Z/pZ est non dgnr.
Proposition 5.1. Soit G un groupe de Dem uskin. Alors :
rg(G) = n.
G

= F(n)/R avec R = (r)
F(n)
engendr par une seule relation (que lon xe dsormais)
comme sous-groupe ferm distingu de F(n).
G/(G, G) (Z
p
)
n1
(Z
p
/qZ
p
) pour un unique entier q.
Dmonstration. Comme G = F(n)/(r), on a que G/(G, G) = (F(n)/(F(n), F(n)))/R

o R

est le sous-groupe ferm distingu de F(n)/(F(n), F(n)) engendr par la classe de r. Comme
F(n)/(F(n), F(n))

= Z
n
p
, on a que R

est le sous-groupe ferm engendr par un lment, donc

est isomorphe Z
p
. On en dduit le rsultat.
16
Dnition 5.2. On dit quun groupe de Demukin G est dinvariants (n, q) si n = rg(G) et si
G/(G, G) = Z
n1
p
Z
p
/qZ
p
.
Par la dnition 4.3, r(dni en proposition 5.1) induit un isomorphisme r qui nous servira
identier H
2
(G) Z/pZ.
On veut arriver au thorme suivant :
Thorme 5.1. Soit G un groupe de Demukin dinvariants (n, q) avec q ,= 2
Alors G

= F(n)/ x
q
1
(x
1
, x
2
)(x
3
, x
4
)...(x
n1
, x
n
))
Ou de manire plus prcise :
Thorme 5.2. Soit r F(n), et soient R = (r) et G = F(n)/R.
Si G est un groupe de Demukin dinvariants (n, q), o q ,= 2, il existe un systme gnrateur
(x
1
, ..., x
n
) de F(n) tel que r = x
q
1
(x
1
, x
2
)...(x
n1
, x
n
).
5.2 Quelques objets utiles la dmonstration
Pour dmontrer le thorme annonc, nous allons avoir besoin de certaines dnitions sup-
plmentaires sur lesquelles nous passerons rapidement.
Dnition 5.3. On appelle algbre de Lie sur un anneau R une R-module A muni d une
application bilinaire [, ] : AA A telle que :
x A, [x, x] = 0.
x, y, z A, [x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0. (identit de Jacobi).
On appelle algbre de Lie gradue, une algbre de Lie de la forme A =

i0
A
i
o [A
i
, A
j
]
A
i+j
.
Dnition 5.4. On appelle algbre de Magnus A en t
1
, ..., t
n
lalgbre associative et non com-
mutative des sries formelles en n lettres t
1
, ..., t
n
et coecients dans Z
p
, munie de la topologie
de la convergence simple des coecients.
Si x A, et I = i
1
, , i
n
, on notera a
I
(x) le coecient de t
i
1
t
i
n
dans x.
En particulier, comme toute algbre associative, lalgbre de Magnus est munie dune struc-
ture dalgbre de Lie grce au crochet donn par la formule [x, y] = xy yx. On va maintenant
y plonger notre pro-p-groupe libre F(n).
Proposition 5.2. On note U
A
lensemble des lments de A de terme constant gal 1.
Alors U
A
est un groupe compact, et mme un pro-p-groupe.
Il existe donc un morphisme continu : F(n) U
A
envoyant les x
i
sur les 1 + t
i
.
De plus, est injectif, donc permet didentier F(n) un sous-groupe de U
A
.
17
Dmonstration.
Montrons que U
A
est un sous-groupe de A

.
Soit 1 + x U
A
.
On pose y =

n=0
(x)
n
qui converge (car les coecients de chaque t
i
1
, ..., t
i
n
sont constants
partir dun certain rang).
Alors xy = yx = 1, et y U
A
. De plus, U
A
est videmment stable par produit, et contient 1,
donc cest un sous-groupe de A

.
U
A
est un ferm de A, car cest le noyau de lapplication qui un lment de A associe son
terme constant, et que celle-ci est continue par dnition de la convergence simple. De plus,
A sidentie un produit de copies de Z
p
muni de la topologie produit, donc est compact par
Tychonov. On a alors bien la compacit de U
A
.
Notons que A est totalement discontinu comme produit despaces totalement discontinus,
donc U
A
lest encore.
Par application de la proposition 2.3, on a alors que U
A
est un groupe proni, et mme un pro-
p-groupe (ce point tant admis). On a vu, en proposition 2.7, quil existait alors : F(n) U
A
envoyant les x
i
sur les 1 + t
i
.
On admet linjectivit de ce morphisme (explique dans la thse de Lazard [4]).
Dnition 5.5. Soit q = p
r
.
On dnit pour x A, v(x) = infv
q
(a
i
1
,i
2
,...,i
p
) + i
1
+ ...i
p
o v
q
(x) dsigne la valuation
qadique de x, cest dire la plus grande puissance de q divisant x, et on pose G
m
= x U
A
:
v(x 1) m.
On va maintenant dmontrer quelques proprits sur v, qui nous serons utiles par la suite.
Lemme 5.1. On a les formules suivantes sur la valuation v :
(i) : Pour x et y dans A, v(x + y) inf(v(x), v(y))
(ii) : Pour tous x et y dans A, on a v(xy) = v(x) + v(y), donc v([x, y]) v(x) + v(y)
(iii) : Pour dans Z
p
et x A, v(x) = v(x) + v
q
(), donc si p = 1, v(x) = v(x)
(iv) : v((g) 1) 1 pour tout g F(n).
(v) : v((gh
1
) (g) +(h) 1) inf(v((g) 1), v((h) 1)) +1 pour tous g, h dans F(n)
(vi) : g, h F(n), v(((g, h)) 1 [(g) 1, (h) 1]) v((g) 1) + v((h) 1) + 1.
Dmonstration.
(i) immdiat
(ii) immdiat
(iii) consquence de (ii).
(iv) il sut de remarquer que a U
A
, v(a 1) 1.
(v) Posons (g) = 1 + a, (h) = 1 + b, (gh
1
) = 1 + c, (g
1
) = 1 + a

, (h
1
) =
1 + b

, ((g, h)) = 1 + d
On a (1 + a)(1 + a

) = 0 donc a + a

+ aa

= 0 et v(a

) + v(1 + a) = v(a) = v(a)

De mme v(b

) = v(b).
On a c = a + b

+ ab

= a b bb

+ ab

et c = (a b)(1 + b

)
18
do (gh
1
) (g) + (h) 1 = c a + b = (a b)b

Et v((gh
1
) (g) + (h) 1) = v(a b) + v(b

) inf(v(a), v(b)) + 1.
(vi) : ((g, h)) [(g) 1, (h) 1] = d ab + ba.
Mais d = ab ba + abb

baa

+ ba

+ aba

Donc d ab + ba = abb

baa

+ ba

+ aba

.
Et nalement
v(((g, h)) 1 [(g) 1, (h) 1]) inf (v(abb

), v(baa

), v(ba

b), v(aba

))
v(a) + v(b) + 1
v((g) 1) + v((h) 1) + 1
Ce qui conclut.
De ces proprits, on va dduire des informations sur une suite de sous-groupes de F(n), que
voici.
Proposition 5.3. Pour m 1, on pose F
m
=
1
(G
n
).
On dnit ainsi une suite de sous-groupes ferms de F(n) vriant :
F
m+1
F
m
F
1
= F(n)
(F
m
, F
p
) F
m+p

n0
F
n
= 1
Dmonstration. Si g, h F
m
, on a :
v((gh
1
) 1) = v((g) (h)) v((h))
= v((g) (h))
inf(v((g) 1), v((h) 1))
m
Donc g.h
1
F
m
, et F
m
est un sous-groupe de F(n). Il est ferm car G
m
lest aussi de
manire vidente.
Si (g, h) F
m
F
p
, on a :
v(((g, h)) 1) inf(v(((g, h)) 1 [(g) 1, (h) 1]), v([(g) 1, (h) 1]))
inf(v((g) 1) + v((h) 1) + 1, v((g) 1) + v((h) 1))
m + p
On a trivialement F
m+1
F
m
et F
1
= F(n) donc (F
m
, F(n)) = F
m+1
F
m
et F
m
F(n).
Enn, on a que si x

n0
F
n
, v((x) 1) = +, do immdiatement (x) = 1, et x = 1.
On va dsormais noncer la proprit qui va nous permettre dutiliser les F
n
ainsi introduits
pour tudier F(n).
Proposition 5.4. On a : m 1, F
m+1
= F
q
m
(F, F
m
)
19
Dmonstration.
Montrons G
q
m
.(U
A
, G
m
) G
m+1
. Notons que le groupe de gauche est, par dnition, engendr
par les lments de la forme (1 +y)
q
.(1 +z, 1 +t) avec y et t dans G
n
et z dans U
A
en tant que
sous-groupe ferm distingu de U
A
. Il sut donc de montrer que ceux-ci sont dans G
n+1
, qui est
ferm et distingu pour conclure.
Si 1 + x = (1 + y)
q
(1 + z, 1 + t) avec v(t), v(y) n :
v(x) = v((1 + y)
q
(1 + z)(1 + t)(1 + z)
1
(1 + t)
1
1)
= v((1 + y)
q
(1 + z)(1 + t) (1 + t)(1 + z))
= v([1 + z, 1 + t] +
q

k=1
_
q
k
_
y
k
(1 + z)(1 + t))
Donc,
v(x) inf(v([1 + z : 1 + t]), v(
q

k=1
_
q
k
_
y
k
(1 + z)(1 + t)))
inf(n + 1; v(
q

k=1
_
q
k
_
y
k
))
inf(n + 1; inf
k=1...q
v(
_
q
k
_
y
k
))
inf(n + 1; inf
k=1...q
(v
q
((
_
q
k
_
)) + kv(y)))
inf(n + 1, inf
k=1...q
(1 + kn)) n + 1.
Do F
q
n
(F, F
n
) F
n+1
On admettra linclusion inverse qui rsulte du travail de Lazard pour montrer que tout lment
scrit en produit inni dlments z
i
des F
i
.
Nous allons introduire lobjet principal qui nous servira pour dmontrer le thorme recherch
sur la structure des groupes de Dem uskin. On considre pour cela la ltration F
n
introduite ci-
avant, et on forme les quotients successifs F
n
/F
n+1
, puis leur somme directe. Cest--dire :
Dnition 5.6. On pose gr
i
(F) = F
i
/F
i+1
et gr(F) =

i=1
gr
i
(F).
On a, comme (F
i
, F
j
) F
i+j
et F
i
/F
i+1
est ablien et annul par q, que gr(F) a une structure
dalgbre de Lie gradue sur Z/qZ.
Proposition 5.5. Soit q ,= 2.
(i) Notons
init
:
_
F F
x x
q
20
Alors
init
induit un morphisme
i
: gr
i
(F) gr
i+1
(F) puis un morphisme : gr(F)
gr(F).
(ii) Il existe alors une structure dalgbre de Lie sur Z/qZ[] de gr(F).
Dmonstration.
(i)on a
init
(F
i
) F
i+1
Donc F
i

init
F
i+1
F
i+1
/F
i+2
sannule sur F
i+1
F
i
Do en passant au quotient : F
i
/F
i+1

i
F
i+1
/F
i+2
.
(ii) On note x, la classe de x dans gr
i
(F) lorsque x F
i
. On a alors pour x, y dans gr
i
(F) :

i
(x + y) = (x + y)
= (xy)
q
= x
q
+ y
q
, car F
i
/F
i+1
ablien.
=
i
(x) +
i
(y) do le fait que
i
soit un morphisme.
On pose
k
x =
k
(x) et on dnit ainsi une structure de module sur Z/qZ[].
Reste montrer [ x, y] = [x, y], cest dire que (x
q
, y) = (x, y)
q
mod (F
i+j+2
) pour
(x, y) F
i
F
j
.
Notons que en gnral, (x, y, z) F
3
, (xy, z) = (x, (y, z))(y, z)(x, z), donc si (x, y) F
i
F
j
,
on a :
(x
n
, y) = (x, y)
n
mod (F
i
, (F
i
, F
j
))
= (x, y)
n
mod F
2i+j
Si i 2, on a donc le rsultat recherch. Si i = 1, par une autre rcurrence, on trouve :
(x
n
, y) = (x, (x, y))
(
n
2
)
(x, y)
n
mod (F
j+3
)
Comme q ,= 2, on a :
_
q
2
_
0[q]
et donc (x, (x, y))
(
q
2
)
(F
i
, (F
i
, F
j
))
q
F
j+3
.
Do encore (x
n
, y) = (x, y)
n
mod (F
j+3
).
Et donc on a nalement [x, y] = [ x, y].
Par symtrie [x, y] = [x, y] galement, donc le crochet est Z/qZ[]bilinaire.
Donc gr(F) est une Z/qZ[]-algbre de Lie.
Dnition 5.7. Soit R un anneau commutatif unitaire. On appelle R-algbre de Lie libre sur
un ensemble X une algbre de Lie L(X) vriant la proprit universelle :
X

/
L

R algbre de Lie
L(X)
6
Cest dire la donne dune algbre de Lie L(X) et dune application i : X L(X), tels que
toute application f de X dans une algbre de Lie L

induise un unique morphisme dalgbres de

Lie de L(X) dans L

tel que

f(i(x)) = f(x) pour tout x X.
21
Proposition 5.6. (i) L(X) est unique unique isomorphisme prs.
(ii) L(X) est engendr par les
([x
1
, [x
2
, [x
3
, ...[x
n1
, x
n
]]...] : (x
1
, ..., x
n
) X
(N)
) en tant que Rmodule.
Dmonstration.
(i) Si L(X) et L

(X) sont deux solutions, on a :

X

/
L(X)
g
{
L

(X)
f
;
et par unicit dans la proposition universelle
_
f g = Id
L(X)
g f = Id
L

(X)
(ii) Rsulte de la construction explicite de lAlgbre de Lie libre : par exemple, dans [?]
Nous admettrons pour notre part quon a alors quon a le rsultat suivant :
Proposition 5.7. gr(F) est la Z/qZ[]-algbre de Lie libre sur (y
1
, , y
n
) o y
i
= x
i
mod F
2
.
On a une graduation donne par le fait que et les y
i
sont de degr 1.
5.3 Expression de la relation dnissant un groupe de Dem uskin
On va maintenant essayer de dterminer la forme de notre relation r.
Lemme 5.2. Soit r la relation dnie en dnition 5.2 . Alors r est un lment de F
2
. Par
suite, r =

a
i
.y
i
+

j<k
b
j,k
[y
j
; y
k
] pour certains entiers modulo q (o r dsigne la classe de r
dans F
2
/F
3
= gr
2
(F)).
Dmonstration. crivons r mod F
2
=

a
i
.y
i
. En regardant r dans F
a
= F(n)/(F(n), F(n))

=
(Z
p
)
n
, on trouve (c
1
, , c
n
), avec a
i
= c
i
mod q.
Comme le quotient F
a
/(c
1
, , c
n
) contient un lment dordre q, il faut pgcd(c
1
, , c
n
)
qZ, ce qui donne que les a
i
sont nuls. Donc r F
2
.
On peut alors bien dnir r gr
2
(F), qui scrit par la proposition 5.6 sur les lments du
systme gnrateur de degr 2, cest dire les [y
i
, y
j
] et les y
i
.
On pose de plus b
i,i
= 0 et b
j,i
= b
i,j
, sij < i, et on dnit ainsi une matrice antisymtrique
B M
n
(Z/qZ).
Proposition 5.8. Avec les notations prcdentes, les a
i
sont premiers entre eux dans leur en-
semble, et la rduction modulo p de B est la matrice du cup-produit dans la base canonique de
H
1
(G) = Hom(G, Z/pZ), donc est inversible.
Alors B est inversible, et n = 2m est pair.
Dmonstration. On a vu que G/(G, G) avait un sous-groupe de torsion dordre q et aucun dordre
plus grand. Comme limage de r dans F(n)/(F(n), F(n))

= (Z
p
)
n
est r

= (q.a

1
, , qa

n
) o
a
i
= a

i
mod q, si on note d = pgcd(a

1
, , a

n
), on a un sous-groupe de torsion de G/(G, G)
dordre qd, engendr par la classe modulo r

de (
a

1
d
, ,
a

n
d
). Il sensuit donc que d = 1.
22
Posons
i
llment de H
1
(G) envoyant x
j
sur
i,j
.
Alors,
i

j
(x, y) =
i
(x)
j
(y) On a : Inf(
i

j
) H
2
(F(n)) = 0 Donc il existe une
cochane u (
1
(F(n), F
p
), telle que du(x, y) =
i
(x)
j
(y). On a alors : u(xy) = u(x) + u(y)

i
(x)
j
(y) On peut choisir u sannulant sur les x
i
, quitte retrancher un homomorphisme de
F(n) dans Z/pZ.
On remarque ensuite que tg(Res(u)) =
i

j
(on restreint R = (r)).
On rappelle la suite exacte dination-restriction-transgression : 0 H
1
(G)
Inf
1
H
1
(F(n))
Res

H
1
(G)
F(n)
tg
H
2
(G)
Inf
2
H
2
(F(n)) = 0
Comme H
1
(F(n)) = H
1
(G), on a la bijectivit de tg : la premire che est surjective donc
la deuxime est nulle, et la troisime est injective. De plus, Inf
2
= 0, do la surjectivit.
Donc tg

1(
i

j
) = u
|R
Or, par la dnition 5.2, on reconnait ici lisomorphisme r entre H
2
(G) et Z/pZ.
On a alors montr en fait que r(
i

j
) = u(r). On remarque que u sannule ncessairement
sur F
3
, (car sur F
2
, cest un morphisme dans Z/pZ, et que F
3
F

2
). Donc on a u(r) =
u(

x
q.a
i
i

i<j
(x
i
, x
j
)
b
i,j
), daprs le lemme 5.0.6.
On calcule ensuite que u((x
k
, x
l
)) =
i,l

j,k

i,k

j,l
et donc nalement, on obtient :
r(
i

j
) =
_

_
b
i,j
mod p si i <j
0 si i = j
b
j,i
mod p sinon
ce qui prouve exactement que la matrice du cup-produit dans la base des
i
est la matrice
des (b
i,j
mod p).
Comme le cup-produit est non-dgnr, cette matrice est alors inversible.
Donc det(B) p = 1, et on a det(B) q = 1, donc B est galement inversible.
Proposition 5.9.
En appliquant une transformation linaire bien choisie, on obtient alors :
Il existe un autre sytme gnrateur de F(n) tel que r = .y
1
+
m

i=1
[y
2i1
, y
2i
]
Dmonstration. Soit M (L
n
(Z/qZ) une transformation linaire et posons y

i
= (M
1
.Y )
i
.
On a alors y
i
=

n
j=1
m
i,j
y

j
.
Avant toute chose calculons [y
i
, y
j
]. On a :
[y
i
, y
j
] = [
n

k=1
m
i,k
.y

k
,
n

l=1
m
i,l
.y

l
]
=
n

k=1
n

l=1
m
i,k
.m
j,l
.[y

k
, y

l
]
Donc

i<j
b
i,j
[y
i
; y
j
] =
1
2
n

i=1
n

j=1
n

k=1
n

l=1
m
i,k
m
j,l
b
i,j
[y

k
, y

l
]
=
1
2
n

k=1
n

l=1
[
t
M.B.M]
k,l
[y

k
, y

l
]
23
De plus :
n

i=1
a
i
y
i
= .
n

i=1
n

j=1
a
i
m
i,j
y

j
=
n

j=1
[
t
M.A]
j
y

j
On est donc ramen trouver M inversible telle que :
t
MBM = J o J =
_
_
_
_
_
_
_
_
J
0
0 0 0
0 J
0
0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 0 J
0
0
0 0 0 J
0
_
_
_
_
_
_
_
_
et J
0
=
_
0 1
1 0
_
,
t
MA =
_
_
_
_
_
1
0
.
.
.
0
_
_
_
_
_
Comme les a
i
sont premiers entre eux dans leur ensemble, il est trs ais de trouver M
0
vriant la seconde condition. Il sagit ensuite de trouver M
1
stabilisant
_
_
_
_
_
1
0
.
.
.
0
_
_
_
_
_
et telle que
t
M
1
(
t
M
0
BM
0
)M
1
= J, ce qui est possible, car B dnit une forme alterne non dgnere.
On va enn montrer par rcurrence le rsultat suivant, qui va nous permettre de construire
notre systme gnrateur nal par approximations successives.
Proposition 5.10.
Pour tout entier k 3, il existe un choix de gnrateurs de F(n) tel que r x
q
1
m

i=1
(x
2i1
, x
2i
)
mod F
k
.
Dmonstration. Pour k = 3, ceci rsulte de la proprit que lon vient de dmontrer.
Supposons des gnrateurs (x
i
) solutions pour k et prenons c = (c
1
, , c
n
) F
k1
, et posons
pour tout x = (x
1
, , x
n
), r
0
(x) = x
q
1
m

i=1
(x
2i1
, x
2i
)
On pose alors x
i
= c
i
.x

i
, et on peut dnir d(c) par :
r
0
(x) = x
q
1
m

i=1
(x
2i1
, x
2i
) = (c
1
.x

1
)
q
m

i=1
(c
2i1
.x

2i1
, c
2i
.x

2i
) = d(c).r
0
(x

)
On voit alors directement que d(c) est dans F
k
et que son image dans gr
k
(F) est donne par :
d(c) = c
q
1
+
m

i=1
([c
2i1
, y
2i
] + [y
2i1
, c
2i
]) = c
1
+
m

i=1
([c
2i1
, y
2i
] + [y
2i1
, c
2i
])
Comme r r
0
(x) mod F
k
, on a r = t.r
0
(x) avec t F
k
.
La formule de d(c) montre la surjectivit de (c gr
k1
(F) d(c) gr
k
(F)), donc on peut
trouver c F
k1
tel que d(c) t
1
mod F
k+1
.
On a alors r d(c)
1
r
0
(x) mod F
k+1
, cest dire exactement r r
0
(x

) mod F
k+1
, ce qui
tait la relation attendue.
Notons que les x

i
engendrent encore F(n). En eet, les y

i
associs forment encore une base
de gr
1
(F), dont on tire un systme gnrateur de gr(F) (comme en proposition 5.6). Si g F(n),
on peut alors crire limage de g dans gr(F) sur ce systme gnrateur, et en dduire g comme
compos des x

i
et de crochets en les x

i
.
On va maintenant formaliser le "passage la limite" permettant de construire le systme
gnrateur initialement recherch, par les itrations successives que nous venons de prsenter.
Il sagit en fait tout simplement dutiliser les rsultats de la partie 2 la ltration (F
k
)
k1
du
groupe F(n).
24
Proposition 5.11. Si on note (x
(k)
1
, , x
(k)
n
) les gnrateurs ltape k, et x
(k+1)
i
= c
(k)
i
.x
(k)
i
avec c
(k)
i
F
k1
, alors la suite des (x
(k)
i
)
k3
converge pour tout i.
Dmonstration. Il sagit dune application directe de la remarque 2.3.
Thorme 5.3. Dans le systme gnrateur obtenu ainsi, on a alors r = x
q
1
(x
1
, x
2
).(x
3
, x
4
) (x
n1
, x
n
)
Dmonstration. En eet, notons x
i
= lim
k
x
(k)
i
. On a x
i
x
(k)
i
mod F
k1
, donc on a imm-
diatemment que r x
q
1
m

i=1
(x
2i1
, x
2i
) mod F
k
, et ce pour tout entier k 3. On en tire alors
immditatement que r = x
q
1
m

i=1
(x
2i1
, x
2i
), par exemple en appliquant toujours la remarque 2.3
et le caractre spar de F(n).
Remarque 5.1. On a donc bien prouv le thorme attendu. On peut remarquer que la parit
de n rsulte du fait que le cup-produit induit, comme on la vu au cours de la dmonstration,
une forme bilinaire alterne sur H
1
(G) et que si n tait impair, ceci impliquerait quelle soit
dgnre.
6 Annexe : dmonstration de la suite exacte longue de
cohomologie
On dmontre ici le rsultat de la proposition 3.3, sur lequel nous tions pass rapidement en
premier lieu.
Dmonstration.
Lemme 6.1.
0
/
(
n1
(G, A)
i
n1
/
d
n1

(
n1
(G, B)
p
n1
/
d
n1

(
n1
(G, C)
d
n1

/
0
0
/
(
n
(G, A)
i
n
/
d
n

(
n
(G, B)
p
n
/
d
n

(
n
(G, C)
d
n

/
0
0
/
(
n+1
(G, A)
i
n+1
/
(
n+1
(G, B)
p
n+1
/
(
n+1
(G, C)
/
0
est commutatif lignes exactes
Dmonstration. La commutativit est immdiate.
Pour lexactitude :
Ker(i
n
) = : G
n
B, i = 0
= : G
n
B, (g
1
, ..., g
n
), (g
1
, ..., g
n
) Ker(i) = 0
= 0
p
n
i
n
= 0 car p i = 0.
Si p
n
() = 0, (g
1
, ..., g
n
) G
n
, (g
1
, ..., g
n
) Ker(p) = Im(i)
, (g
1
, ..., g
n
) = i((g
1
, ..., g
n
))
Mais i : A i(A) est un isomorphisme bicontinu car A et i(A) sont discrets, donc = i
1

25
est continu, et = i
n
()
do Ker(p
n
) Im(i
n
) et lexactitude en (
n
(G, B)
Reste la surjectivit de p
n
Soit donc (
n
(G, C) et soit s : C B une section de 0 A B C 0 ; s est continue
car C est discret.
Posons = s . Alors (
n
(G, B) et p
n
() = donc Im(p
n
) = (
n
(G, C)
On a bien prouv que 0 (
n
(G, A) (
n
(G, B) (
n
(G, C) 0 est exacte
Lemme 6.2. On pose B
n
(G, X) = Im(d
n1,X
) et Z
n+1
(G, X) = Ker(d
n1,X
), o X
A, B, C.
Alors,
(
n1
(G, A)/B
n
(G, A)
i

n,A

(
n1
(G, B)/B
n
(G, B)
p

n,B

(
n1
(G, C)/B
n
(G, C)

n,C

/
0
0
/
Z
n+1
(G, A)
i

/
Z
n+1
(G, B)
p

/
Z
n+1
(G, C)
peut tre construit naturellement partir du diagramme prcdent. Il est encore lignes exactes.
Dmonstration. Comme B
n
(G, A) Ker(d
n,A
) et Im(d
n,A
) Z
n+1
(G, A), on a naturellement
un
n,A
induit.
On a clairement que (
n
(G, A)
i
n
(
n
(G, B) (
n
(G, B)/B
n
(G, B) sannule sur B
n
(G, A) (car le
diagramme du lemme 1 commute) ce qui dnit i

et similairement p

.
On a nettement p

= 0
On a
(
n
(G, B)
p
n
/ /

(
n
(G, C)

C
/ /
(
n
(G, C)/B
n
(G, C)
(
n
(G, B)/B
n
(G, B)
p

2
do la surjectivit de p

.
Montrons Ker(p

) Im(i

)
Soit x Ker(p

) et x

(
n
(G, B) tq
B
(x

) = x
On a p

B
(x

) = 0 donc
C
(p
n
(x

)) = 0 et p
n
(x

) B
n
(G, x)
do p
n
(x

) = d
n1,C
(), avec (
n1
(G, C)
comme p
n1
surjective, p
n
(x

) = d
n1,C
(p
n1
()) = p
n
(d
n1,B
()), avec (
n1
(G, B)
Do x

d
n1,B
() Ker(p
n
) et x

d
n1,B
() = i
n
(y), y (
n
(G, A)
donc x =
B
(x

) =
B
i
n
(y) = i

(y), avec y (
n
(G, A)/B
n
(G, A), do lexactitude de la
premire ligne.
Celle de la ligne du bas est vidente en Z
n+1
(G, A).
Montrons donc le seul point non trivial, savoir que : Ker(p

) Im(i

)
Soit x Z
n+1
(G, B) tq p

(x) = 0. On a Z
n+1
(G, B) (
n+1
(G, B)
donc, p
n+1
(x) = 0 et x = i
n+1
(y), avec y (
n+1
(G, A)
Comme i
n+2
d
n+1,A
(y) = d
n+1,B
i
n+1
(y) = d
n+1,B
(x) = 0, on a, par injectivit de i
n+2
que
d
n+1
(y) = 0 et que y Z
n+1
(G, A) do x = i

(y)
26
En appliquant le lemme du serpent au diagramme du lemme 2, on en dduit une suite exacte :
Ker(
n,A
) Ker(
n,B
) Ker(
n,C
)

Coker(
n,A
) Coker(
n,B
) Coker(
n,C
)
On voit alors immdiatement que :
_
Ker(
n,
) = Ker(d
n,
)/Im(d
n1,
) = H
n
(G, )
Coker(
n,
) = Ker(d
n+1,
)/Im(d
n,
) = H
n+1
(G, )
Do la suite exacte H
n
(G, A) H
n
(G, B) H
n
(G, C)

H
n+1
(G, A) H
n+1
(G, B)
H
n+1
(G, C), ce qui conclut.
7 Bibliographie
Rfrences
[1] N. Bourbaki. lments de mathmatique. Algbre. Chapitres 1 3. Hermann, Paris, 1970.
[2] N. Bourbaki. lments de mathmatique. Fasc. XXXVII. Groupes et algbres de Lie. Chapitre
II : Algbres de Lie libres. Chapitre III : Groupes de Lie. Hermann, Paris, 1972. Actualits
Scientiques et Industrielles, No. 1349.
[3] John Paul Labute. CLASSIFICATION OF DEMUSHKIN GROUPS. ProQuest LLC, Ann
Arbor, MI, 1965. Thesis (Ph.D.)Harvard University.
[4] Michel Lazard. Sur les groupes nilpotents et les anneaux de Lie. Ann. Sci. Ecole Norm. Sup.
(3), 71 :101190, 1954.
[5] Jean-Pierre Serre. Structure de certains pro-p-groupes (daprs Demukin). In Sminaire
Bourbaki, Vol. 8, pages Exp. No. 252, 145155. Soc. Math. France, Paris, 1995.
27