UNIVERSITE MOHAMMED PREMIER

FACULTE DES SCIENCES

DEPRTEMENT DE MATHEMATIQUE
ET INFORMATIQUE
OUJDA
Master :
Thorie des Nombres
et ses Applications
en Cryptographie
Mmoire de Master intitul :

Transfert
et Applications
Ralis par ltudiant :
Encadr par :

Soufiane BOUCHLAGHEM
Pr.

M.C. ISMAILI

Soutenu le 18/07/2014 devant le jury compos de :

Pr.
Pr.
Pr.
Pr.

A. AZIZI
M. AYADI
M.C. ISMAILI
M. ZIANE

Remerciments
Je souhaite adresser mes remerciements les plus sincres aux personnes qui m'ont
apport leur aide et qui ont contribu l'laboration de ce mmoire. Je tiens
remercier sincrement Monsieur ISMAILI qui en tant que Directeur de ce mmoire ,
s'est toujours montr l'coute et trs disponible tout au long de la ralisation de ce
mmoire, ainsi pour l'inspiration, l'aide et le temps qu'il a bien voulu nous consacrer et
sans qui, ce mmoire n'aurais jamais vu le jour.
Mes remerciements s'adressent galement tous les professeurs du Master de Thorie
des nombres, en particulier, les professeurs A. AZIZI, M. AYADI et M. ZIANE qui
m'ont fait l'honneur d'tre membres du jury de ce mmoire, et pour les eorts qu'ils
n'ont cess de dployer au cours de ma formation.
Enn, mes remerciements vont tous mes collgue du master TNAC, ainsi qu' tous
mes amis.

Ddicace
A mes chers parents.

A mes chers deux frres et ma chre soeur.

A tous ceux qui m'ont aid raliser ce travail.

Table des matires

0.0.1 Introduction

. . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1 Le transfert, dnition et proprits

1.1 Construction du transfert . . . . . . . . . . . . . . . . . . . . . . . . . . 8

1.2 Proprits sur le transfert. . . . . . . . . . . . . . . . . . . . . . . . . . . 11

2 Le thorme de l'idal principal

21

3 Le transfert de p-groupes rguliers

27

4 Le module d'Artin et transfert

32

5 Application

41

2.1 Rappels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2 Thorme de l'idal principal de la thorie du corps de classes . . . . . . 25
3.1 Srie centrale d'un p-groupe . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.2 Les p-groupes rguliers . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.3 Le transfert des p-groupes sous condition de rgulirit . . . . . . . . . . 30

4.1 Module d'Artin et transfert . . . . . . . . . . . . . . . . . . . . . . . . . 35

4.2 Le thorme 94 d'Hilbert. . . . . . . . . . . . . . . . . . . . . . . . . . . 37
5.1 Capitulation des 2-classes d'idaux d'un corps de nombres de 2-groupe de
classes de type (2, 2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
5.2 Capitulation des 2-classes d'idaux d'un corps de nombres de 2-groupe de
classes de type (2, 4) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

TABLE DES MATIRES

0.0.1

Introduction

Dans les annes 90 du 19-me siecle, Hilbert a conjectur le thorme de l'idal principal qui dit que tout idal d'un corps de nombres devient principal dans son extension
ablienne maximale non ramie ; appele corps de classes de Hilbert, mais en 1915,
Emil ART IN a rduit ce problme pos par David Hilbert, et qui est rest 20 ans sans
solution, en un problme de thorie des groupes, en utilisant un homomorphisme ayant
une image abstraite, appel le transfert, ce dernier a t construit par Issai Schur en
1905.
Thorme:(d'Artin)
Soit K E L une extension de corps de nombres, avec L/K galoisienne, et G =
Gal(L/K) et H = Gal(L/E), soient m un modulus de K divisible par toutes les places
nies qui se ramient dans L, m0 un modulus de E divisible par toutes les places nies
qui se ramient dans L, alors le diagramme suivant est commutatif
m
IK

L/K

G/G0
VGG0

IEm

L/E

H/H 0

avec i(p) = pOE .

En 1930, P hillip F urtwangler a russi rsoudre ce grand problme de la thorie

des nombres en dmontrant que le transfert d'un groupe vers son groupe driv est trivial,
avec une longue dmonstration base sur les anneaux de groupes, et l'idal d'augmentation qui est le noyau le l'homomorphisme de groupes :
Z[G] Z
X
X
mg .g
mg
gG

gG

il a dmontr que le diagramme suivant est commutatif :

G/G0

VGH

H/H 0

S : NG /NG2

(NH + NH .NG )/(NH .NG )

TABLE DES MATIRES

o S(x mod(NG2 )) = ( m
i=1 ai ).x, et NG est l'idal d'augmentation de l'anneau Z[G].
et par suite les noyaux de VGH et S sont isomorphes, une grande partie du chapitre I
est rserve pour montrer que S est trivial.
D'aprs le thorme d'Artin, le problme de capitulation des idaux est translat la
thorie des groupes, de mme on ne peut pas parler de la capitulation sans parler du
thorme 94 d'Hilbert qui s'nonce comme suit :
P

Thorme:(94 d'Hilbert)
Soient k un corps de nombres, K/k une extension cyclique non ramie de degr un
nombre premier p, alors il existe au moins un idal I non principal dans k, qui devient
principal dans K , la p-me puissance de I est principale dans k, et le nombre de classes
de k est divisible par p.

Plusieurs gnralisations de ce thorme sont mises et dmontres grace l'homomorphisme transfert, parmi elle, la gnralisation du thorme 94 d'Hilbert faite par Miyake
en 1989, et dmontr par Suzuki en 1991(Voir [5]), le thorme s'nonce comme suit :
Thorme:(de Suzuki)

Dans une extension ablienne non ramie de corps de nombres K/k, le nombre de
classes qui capitulent est un multiple du degr [K : k].

Le premier chapitre de ce mmoire est consacr la dnition et la construction de

l'application transfert, ainsi que quelques proprits importantes, la n du chapitre est
rserv la dmonstration du thorme de F urtwangler.
Dans le deuxime chapitre, et comme consquence du thorme de F urtwangler, on
trouve la dmonstration du thorme de l'idal principal, ainsi que le thorme d'Artin.
L'tude de la capitulation des idaux est rduite au problme de la thorie des groupes,
puisque l'tude des groupes se base sur l'tude des p-groupes, on trouve dans le chapitre
3 le traitement d'un cas particulier de p-groupes.

TABLE DES MATIRES

Dans le chapitre 4, on donne une dmonstration d'une gnralisation du thorme 94

d'Hilbert, en utilisons les modules dcomposable d'Artin.
Comme on le sait, la notion du transfert permet des fois de rsoudre le problme de
capitulation dans certain cas particulier. Comme exemple d'utilisation du transfert, dans
le 5-me chapitre nous donnons des rsultats sur la capitulation des 2-classe d'idaux de
certain corps de nombres dont le 2-groupe de classes est de type (2, 2) ou de type (2, 4).

Chapitre 1
Le transfert, dnition et proprits
Dans ce chapitre, on dnit et on construit la notion du transfert, en incluant quelques
proprits importantes comme le thorme 1.1
1.1

Construction du transfert

Soient G un groupe et H un sous-groupe de G d'indice ni, et soit K un sous-groupe

normal de H tel que H/K soit ablien.

Dnition 1.1 Une transversale T de H dans G est un ensemble des reprsentants

dirents des classes direntes de G droite (o gauche) modulo H .
Par exemple si (G/H)d = {H.x1 , . . . , H.xn }, alors T = {x1 , x2 , . . . , xn } est une transversale.
Et comme G est une runion disjointe des classes, alors on peut crire :
G=

H.xi .

i{1,...,n}

Si g G, on a
G=

H.xi .g,

i{1,...,n}

donc {x1 .g, x2 .g, . . . , xn .g} est aussi

F une transversale.
i {1, . . . , n}, on a xi .g G = ni=1 H.xi , donc xi .g = h(g,i) .x(i) , avec h(g,i) H , et on
8

CHAPITRE 1.

LE TRANSFERT, DFINITION ET PROPRITS

a bien Sn , le groupe des permutations.

Posons
V er : G H/K
g h1 .h2 . . . . hn .K

Proposition 1.1 V er dnit bien un homomorphisme de groupes, indpendant du choix

de T .
0
0
Preuve : Soit T = {y1 , . . . , yn } une autre transversale de H dans G, ordonnons T
de tel faon que H.xi = H.yi alors il existe zi H tel que yi = zi .xi , soit g G,
1
on a xi g = h(g,i) .xi , en multipliant par zi on a : zi .xi .g = zi .h(g,i) .z(i)
.z(i) .x(i) , posons
1
0
0
h(g,i) = zi .h(g,i) .z(i) , alors yi .g = h(g,i) .y(i) .
Par la commutativit de H/K , on peut crire :
n
Y

h0(g,i) .K

n
Y

i=1
n
Y

h0(g,i) .K

1
zi .h(g,i) .z(i)
.K

i=1

i=1

n
Y

n
Y

zi .K

i=1
n
Y

h(g,i) .K

i=1

h0(g,i) .K =

z (i)1 .K

i=1

n
Y

i=1

n
Y

h(g,i) .K

i=1

et par suite l'application V er ne dpend pas du choix de la transversale.

Pour prouver qu'il s'agit bien d'un homomorphisme du groupes, xons T = {x1 , . . . , xn }, g, g0
G, comme avant xi .g = hi .x(i) , xi .g 0 = h0i .x0 (i) ,avec , 0 Sn , par suite on a :

xi .g.g 0 = hi .x(i) .g 0 = hi .h0(i) .x0 (i)

donc

V er(g.g 0 ) =

n
Y

hi .h00 (i) .K

i=1

V er(g.g 0 ) =

n
Y

hi .K

i=1

V er(g.g 0 ) =

n
Y
i=1

n
Y

h00 (i) .K

i=1

hi .K

n
Y

h0i .K

i=1

V er(g.g ) = V er(g).V er(g 0 )



CHAPITRE 1.

LE TRANSFERT, DFINITION ET PROPRITS

10

Remplaons K par H 0 , le groupe driv de H , et toujours avec g, g 0 G,

V er(g.g 0 .g 1 .g 01 ) = V er(g).V er(g 0 ).V er(g)1 .V er(g 0 )1 = H 0

car H/H 0 est ablien, alors on a G0 Ker(V er). Ainsi on peut dnir une application VGH : G/G0 H/H 0 , qu'on appelle le transfert, ou "Verlagerung" dans la
terminologie allemande.

CHAPITRE 1.

1.2

11

LE TRANSFERT, DFINITION ET PROPRITS

Proprits sur le transfert.

Dans la suite, G dsigne un groupe et H sous-groupe de G d'indice ni.

Proposition 1.2 Soit K un sous-groupe de H d'indice ni, alors VGK = VHK

VGH

: Soit {a1 , . . . , ar } une transversale de H droite dans G, et {b1 , . . . , bs } une

transversale de K droite dans H , alors on a :
Preuve

i=r,j=s

G=

K.bj .ai

i=1,j=1

si g G, alors ai .g = h(i,g) .a (i) , avec h(i,g) H . Et bj .h(i,g) = k(i,g,j) .b

bj .ai .g = bj .h(i,g) .a (j) = k(i,g,j) .b (j) .a (i) .
j

(j)

, donc

i=r,j=s
0

VGK (g mod(G )) =

k(i,g,j) mod(K 0 )

i=1,j=1

r Y
s
Y

k(i,g,j) mod(K ) =

i=1 j=1

r
Y

VHK (h(i,g) mod(H 0 ))

i=1
r
Y

= VHK (

h(i,g) mod(H 0 ))

i=1

= VHK (VGH (g mod(G0 )))

= VHK VGH (g mod(G0 )).


Proposition 1.3 Supposons que H est normal dans G et d'indice ni, et soit un
homomorphisme de groupes de G vers G1 tel que Ker() H . Alors :
V(G)(H) = VGH

o : G/G0 (G)/(G0 ).

CHAPITRE 1.

Preuve

LE TRANSFERT, DFINITION ET PROPRITS

12

: Comme Ker() H , alors H/Ker() ' (H), et

G/H ' (G/Ker())/(H/Ker()) ' (G)/(H)

ainsi [G : F
H] = [(G) : (H)]. Soit
Fn{a1 , . . . , an } une transversale de H droite de G,
n
alors G = i=1 H.ai , donc (G) = i=1 (H).(ai ). En eet, si (ai ) = (aj ) mod((H)),
c--d (ai .a1
j ) (H), et ai = aj mod(H), on en dduit que {(a1 ), . . . , (an )} est une
transversale de (H) dans (G).
n
Y
VGH (g mod(G )) = ( h(i,g) mod(H 0 ))
0

i=1

n
Y

(h(i,g) mod(H 0 )) =

n
Y

(h(i,g) ) mod((H 0 )).

i=1

i=1

On a (ai ).(g) = (ai .g) = (h(i,g) ).(a(i) ).

V(G)(H) (g mod(G0 )) = V(G)(H) ((g) mod((G0 )))
=

n
Y

(h(i,g) ) mod((H 0 )).

i=1

Proposition 1.4 Supposons que G est ablien, et G = HK avec H K = {1}, si

g = hk G, alors VGH (g) = h|K| .
Preuve : puisque G/H ' K , alors on peut prendre K comme transversale de H dans
G, t K, H.t.g = H.t.k
Y
Y
h = h|K|
t.g.(t.k)1 =
VGH (g) =
kK

kK

Corollaire 1.1 gardons les conditions de la proposition prcdente, et supposons de plus

que |H| |K| = 1, alors VGH est surjectif
Preuve

: Soient les entiers u et v tel que u|H| + v|K| = 1, et soit h H , alors

VGH (ht ) = hv|K| = h1u|H| = h

CHAPITRE 1.

LE TRANSFERT, DFINITION ET PROPRITS

13

Corollaire 1.2 Soit P un p sylow de G, avec G ablien, alors VGP est surjectif
: G est produit direct de ce psylow P , et de G/P , et on a bien |P | est premier
avec |G/P |.
Preuve

Proposition 1.5 Soient G un groupe, A un sous-groupe normal ablien de G, et x G,

posons H =< x > .ZG (A), o ZG (A) = {g G, g.a = a.g a A}, f = [H
=
Q : A] etf t 1
[G : H], si {g1 , g2 , . . . , gt } une transversale de H dans G, alors VGA (x) = i=t
g
x
g
i
i=1 i
: H dnit bien une structure de groupe car ZG (A) est normal dans G. En
eet, si x G, y ZG (A) et a A, alors xyx1 axy1 x1 = a, car x1 ax A commute
avec y.
Preuve

D'aprs la preuve de la proposition 1.2, si {h1 , h2 , . . . , hf } est une transversale de A

dans H , alors {gi hj , i = 1, . . . , t; j = 1, . . . , f } est une transversale de A dans G.
Puisque A est ablien, on a A ZG (A),et posons d = [< x > .A : A] et e = [H :< x >
.A], donc on a bien e.d = f et (< x > .A)/A =< x >, c--d que {xi , i = 1, . . . , d} est
une transversale de A dans < x > .A, soit maintenant {h01 , . . . , h0e } une transversale de
< x > .A dans H , de mme on peut prendre {gi .h0j .xk , 1 i t, 1 j e, 0 k
d 1} est une transversale de A dans G.
Pour 0 k d 2, on a gi .h0j .xk .x = gi .h0j .xk+1 est un lment de la transversale.
et pour k = d 1 alors gi .h0j .xk .x = gi .h0j .xk+1 = gi .h0j .xk .x = gi .h0j .xd , or xd A, donc
le representant de gi .h0j .xk+1 = gi .h0j .xk .x est gi h0j , il suit que
0

VGA (x.G ) =

t Y
e Y
d2
Y

(gi h0j xk )x(gi h0j xk+1 )1 (gi h0j xd1 )x(gi h0j )1

i=1 j=1 k=0

VGA (x.G ) =

t Y
e Y
d2
Y

1
0 d 01 1
gi h0j xk+1 x(k+1) h01
j gi gi hj x hj gi

i=1 j=1 k=0

0

VGA (x.G ) =

t Y
e
Y

1
gi h0j xd h01
j gi

i=1 j=1

Remarquons que H ZG (< x > A), et puisque xd < x > A, alors on a h0j xd h01
=
j
d
x , et par suite
t
t
t
Y
Y
Y
d 1 e
d.e 1
VGA (x.G ) =
(gi x gi ) =
gi x gi =
gi xf gi1
0

i=1

i=1

i=1

CHAPITRE 1.

LE TRANSFERT, DFINITION ET PROPRITS

14

Proposition 1.6 Soit g G, supposons que G/H est runion disjointe des < g >orbites de longueur fi et de la forme :
{xi .H, gxi H, . . . , g fi 1 xi .H}, i = 1, . . . , r

alors on a :
0

VGH (g.G ) =

r
Y

fi
0
x1
i g .xi .H

i=1

Preuve

: G/H est dcompos en runion disjointe des < g >-orbites, donc

xi .H, gxi H, . . . , g fi 1 xi .H, i = 1, . . . , r

est un systme de reprsentants de G/H .

Si j fi 2, alors g.gj .xi = gj+1 .xi est un lment de la transversale.
Et g.gfi 1 .xi .H = xi .H , et par suite l'image de g par VGH :
VGH (g.G0 ) =

r fY
i 2
Y
fi 1
(
(g j+1 xi )1 g(g j xi ))(x1
.xi ).H 0
i .g.g
i=1 j=1

Il suit que VGH (g.G0 ) =

Qr

i=1

Qfi 2
j=1

j1 j+1
0
fi
x1
g xi (x1
i .g
i g .xi ).H , c--d que

VGH (g.G ) =

r
Y

fi
0
x1
i g .xi .H .

i=1

Corollaire 1.3 Supposons que H est normal dans G, et pour g G, posons f = [<
g > .H : H], et {x1 , . . . , xr } une transversale de < g > H dans G, alors :
VGH (g.G0 ) =

r
Y
i=1

f
0
x1
i g .xi .H .

CHAPITRE 1.

LE TRANSFERT, DFINITION ET PROPRITS

15

Le but de ce paragraphe est de montrer la notion importante et la fameuse proprit

du transfert :

Thorme 1.1 (de F urtwangler)

Soit G un groupe de groupe driv G0 d'indice ni, et supposons que G0 admet un
systme gnrateur ni, alors VGG0 est trivial.
Notons par Z[G] l'anneau des series formelles
sauf pour un nombre ni des g G.
Soit l'homomorphisme :
X

gG

mg .g avec les mg dans Z tous nuls

Z[G] Z
X
mg .g
mg

gG

gG

Remarquons que si G est ablien, Z[G] l'est aussi, le noyau de cet homomorphisme
sera not par NG , et est appel l'idal d'augmentation
. Il admet {g 1}gG\{1}
P
comme
Z-base. En eet, pour l'indpendance si
m .(g 1) = 0, mg Z,
P
P
P gG\{1} g
P
0 =
m
.g

(
m
).1
,
c--d
m
g
g
g .g = (
gG\{1}
gG\{1}
gG\{1}
gG\{1} mg ).1, or
puisque les g 6= 1, alors cela n'est possible que si les mg sont nuls, car c'est une galit
de deux srie formelle, avec les coecients dirents.
Si

gG

mg .g NG , alors on a
X

mg .g =

gG

mg .(g 1) +

gG

mg .1 =

gG

mg .(g 1)

gG

et par suite {g 1}gG\{1} est une base de NG ; g 1 est dsormais not par d(g).

Lemme 1.1 Soient G un groupe, H un sous groupe d'indice ni, et T0 = {a1 , . . . , am }

une transversale de H droite de G, alors le diagramme suivant est commutatif :
G/G0

VGH

H/H 0

/
S : NG /NG2
(NH + NH .NG )/(NH .NG )
P
avec S(x mod(NG2 )) = ( m
i=1 ai ).x mod(NH .NG ).

CHAPITRE 1.

LE TRANSFERT, DFINITION ET PROPRITS

16

: On peut verier que d(x.y) = d(x) + d(y) + d(x).d(y) et comme NH est engendr par les d(h), h H , alors NH .NG est engendr par d(h).d(g), h H, g G,
concderons :

Preuve

H (NH + NH .NG )/NH .NG

h d(h) mod(NH .NG )

il s'agit bien d'un homomorphisme. En eet, si h, h0 H, d(h.h0 ) = d(h) + d(h0 ) +

d(h).d(h0 ), puisque NH NG et d(h).d(h0 ) NH .NG , alors il est clair que c'est bien un
homomorphisme du groupe. Maintenant si h = x.y.x1 .y1 H 0 , d(h) = d(x.y.x1 .y1 ) =
d(x) + d(y) + d(x1 ) + d(y 1 ) mod(NH .NG ), or d(x.x1 ) = d(1) = 0 = d(x) + d(x1 ) +
d(x).d(x1 ), aussi on a d(x).d(x1 ) NH .NG , cela nous ramne dire que H 0 est dans
le noyau de cet homomorphisme, ce qui nous permet de dnir
H : H/H 0 (NH + NH .NG )/NH .NG

Notons que cet homomorphisme est surjectif, car (NH + NH .NG )/NH .NG ' NH /(NH
NH .NG ) par :
NH (NH + NH .NG )/NH .NG
x x

qui est clairement surjective, et de noyau (NH NH .NG ), et on applique le thorme

d'isomorphisme.
Comme les d(h) engendrent NH , est surjectif, mais nous devons montrer que c'est
un isomorphisme.
Les d(h).ai , h H, i {1, . . . , m} engendrent NH + NH .NG :
car

soit T0 H , le representant de la classe neutre, alors les d(h). engendrent NH ,

NH 3

mh .h =

hH

mh .(h 1). +

hH

mh .h.

hH

X
hH

mh . =

mh .d(h).

hH

et pour h H et g G, avec g = h .ai

0

d(h).d(g) = d(h).d(h0 .ai ) = d(h.h0 ).ai d(h0 ).ai d(h. 1 ). + d( 1 ).

CHAPITRE 1.

LE TRANSFERT, DFINITION ET PROPRITS

17

En eet : (h 1)(h0 ai 1) = (hh0 1).ai (h0 1).ai (h 1), et (h 1) = d(h 1 ).

d( 1 ) , et par suite NH + NH .NG est engendr par d(h).ai , on dnit donc :
NH + NH .NG H/H 0
x=

i=m
X
hH,i=1

ni,h .d(h).ai

hni,h mod(H 0 )

hH

et bien sr la somme et le produit sont nis, et puisque H/H 0 est ablien, donc on a bien
dni un homomorphisme de groupes, et puisque d(h).d(g) = d(h).d(h0 .ai ) = d(h.h0 ).ai
d(h0 ).ai d(h. 1 ). + d( 1 ). son image est h.h0 .h01 ..h1 . 1 = h..h1 . 1 H 0 ,
donc NH .NG est dans le noyau, ainsi on peut induire l'homomorphisme :
H : (NH + NH .NG )/NH .NG H/H 0

Cet homomorphisme vrie : H H (h mod(H 0 )) = H (d(h) mod(NH .NG )) =

(d(h. 1 ). d( 1 ). mod(NH .NG )) = h. 1 . = h. Inversement
H H (d(h).ai mod(NH .NG )) = H (h mod(H 0 )) = d(h) mod(NH .NG )

observons que d(h).ai d(h) = d(h).d(ai ) NH .NG , et par suite H est un isomorphisme.
Pour montrer la commutativiti du diagramme, on xe g G, et montrons que

0
S G (g mod(G0 )) mod(NH .NG ) = P
.NG )
H VGH (g mod(G
Pm )) mod(NH P
m
m
0
a
.g)

(
a
).d(g)
=
(
SP
G (g mod(G )) mod(N
.N
)
=
(
i
i=1 ai ).1 =
i=1 i
Pi=1
Pm H G
m
m
( i=1 .h(g,i) .a(i) ) ( i=1 a(i) ) = ( i=1 .d(h(g,i) ).a(i) )()

Q
0
HQ VGH (g mod(G0 )) mod(NHP
.NG ) = H ( m
i=1 h(g,i) mod(H )) mod(NH .NG ) =
m
m
d( i=1 h(g,i) ) mod(NH .NG ) =
i=1 d(h(g,i) ) mod(N
PHm.NG ) ( ), or d(h(g,i) ).xi
d(h(g,i) ) = d(h(g,i) ).d(xi ) NH .NG , donc ( ) =
i=1 d(h(g,i) ).ai mod(NH .NG ), on
a bien () = ( ), ce que achve la dmonstration du lemme.


Dmontrons le thorme

: G0 admet un systme gnrateur ni,

soit {g10 , . . . , gs0 }, et T = {x1 , . . . , xn }
F
n
une transversale de G0 dans G, donc g G = i=1 G0 .xi , g = g0 .xi avec g0 G0 , ce qui
montre que G admet aussi un systme gnrateur ni,Psoit {g1 , . . . , gr }.
D'aprs le lemme qui prcde, il sut de montrer que ( ni=1 xi ).g 0 mod(NG0 .NG ) g

Preuve

CHAPITRE 1.

18

LE TRANSFERT, DFINITION ET PROPRITS

G, or les d(g) engendrent NG , donc tout revient dmontrer que (

0 mod(NG0 .NG ).

Pn

i=1

xi ).d(g)

Prcdemment on a : si H est un sous-groupe normal de G et T = {a1 , . . . , am } une transversale de H dans G, alors Z[G/H] ' Z[G]/(NH .Z[H]). En eet, Z[G] = m
i=1 Z[H].ai ,
et
m
NH .Z[G] = m
i=1 NH Z[H].ai = i=1 NH .ai

et par suite
m
Z[G]/NH .Z[G] ' m
i=1 (Z[H].ai )/(NH .ai ) ' i=1 (Z[H]/NH ).ai

' m
i=1 Z.ai ' Z[a1 , . . . , am ] = Z[G/H].

Pour tout g G, g peut s'crire de P

cette faon : g = 1 .2 . . . . .N o i
1
1
{g1 , . . . , gr , g1 , . . . , gr }, donc on a d(g) = ri=1 yi .d(gi ), o yi ni mi mod(NG ), avec
ni est le nombre des j = gi , et mi est le nombre des j = gi1 . En eet, par rcurrence,
on a d(gk ) = 1.d(gk ), et d(gk1 ) = d(gk ) d(gk )d(gk1 ) = d(gk )(1 d(gk1 )), et puisque
nk = 1 d(gk )d(gk1 ) = 1 mod(NG ), alors d(gk1 ) = nk d(gk ), donc la proprit est
vraie pour gk et gk1 . Supposons
P que la proprit est vraie jusqu' N , et soit x tel que
x = 1 2 . . . N , avec d(x) = ni=1 yi0 d(gi ), et montrons que la proprit reste vraie pour
xgk et pour xgk1 .
d(x.gk ) = d(x) + d(gk) + d(gk )d(x) =

n
X

yi0 d(gi ) + d(gk )(1 + d(x))

i=1

posons

yi = yi0 mod(NG ), pour i 6= k

yk = yk0 + 1 + d(x) mod(NG ) = yk0 + 1 mod(NG )

alors d(x.gk ) =

Pn

i=1

yi d(gi ), et la proprit est vraie pour d(x.gk ).

d(x.gk1 ) = d(x)+d(gk1 )+d(gk1 )d(x) =

n
X

yi0 d(gi )d(gk1 )d(gk1 )d(gk )d(gk )d(gk1 )d(x)

i=1

d(x.gk1 ) =

posons

n
X

yi0 d(gi ) + d(gk )(1 d(gk1 ) d(gk1 )d(x))

i=1

yi = yi0 pour i 6= k
yk = yk0 1 d(gk1 ) d(gk1 )d(x)mod(NG ) = yk0 1mod(NG )

CHAPITRE 1.

LE TRANSFERT, DFINITION ET PROPRITS

et
d(x.gk1 ) =

n
X

19

yi d(gi )

i=1

d'o la proprit est vraie N .

P
Par une preuve similaire, on peut montrer que d(x) = ni=1 d(gi )zi , o les zi Z[G].
Soit maintenant l'application de Z-module suivante :
: Zr

G/G0

(b1 , b2 , . . . , br )

r
Y

gibi mod(G0 )

i=1

G/G est ablien, donc l'application est bien dnie, et est clairement surjective.D'aprs
le premier thorme d'isomorphisme, le noyau est d'indice [G, G0 ] = n dans Zr .
De mme on a une autre application tel que
0

Zr

Zr

G/G0

soit exacte, posons (mij )i,j sa matrice dans la base canonique, son Conoyau est de carr
r
0
dinal = det()
= [Z , im()] = [Z , ker()] = [G, G ].

0
0

.

Soit u =
1 le vecteur dont tous les coecient sont nuls sauf le j -me coecient gal
0

.
0
1, alors onQa :
m
= Ker(), donc = 0, et par suite

= ri=1 gi ij mod(G0 ), puisque

QrIm()
Qr (u)
mij
mij
0
0
g

G
,
soit
a

G
tel
que
a.
g
i=1
i=1Qi
Pir = 1, alors on a
Qr
mij
mij
r
d(a. i=1 gi ) = d( i=1 gi ) = 0 =
i=1 yij .d(gi ), avec yij mij mod(NG0 ), la
premire galit vient du fait que a G0 , contient desPgi autant de fois que gi1 , notons y = det(yij ) et (eyij ) le comatrice de (yij ), alors rj=1 yeik .yjk = ik .y + dik , avec
dik NG0 .Z[G] et ik est le symbole de Kronecker, en multipliant par d(gk ) et en sommant pour k :
r X
r
r
r
X
X
X
(
yeik .yjk .d(gk )) =
(ik .y.d(gk )) +
dik .d(gk )
k=1 j=1

k=1

k=1

CHAPITRE 1.

LE TRANSFERT, DFINITION ET PROPRITS

0 = y.d(gk ) +

r
X

20

dik .d(gk )

k=1

P
donc y.d(gk ) = P rk=1 dik .d(gk ) NG0 .Z[G].N
PGr = NG0 .NG , c--d
Pry.d(gk ) 0 mod(NG0 .NG ).
r
Si g G, d(g) = i=1 d(gi ).zi , alors y.d(g) = i=1 y.d(gi ).zi = i=1 0.zi = 0 mod(NG0 .NG ).
P
y Z[G/G0 ] = Z[G]/(NG0 .Z[G]) = ni=1 Z.xi donc y = ni=1 ni .xi , avec ni Z.
y.d(g) = y.g y = 0 mod(NG0 .NG ), qui est quivalent y.g = g mod(NG0 .NG ), or
NG P
Z[G], alors y.g = g mod(NG0 .Z[G]).
y.g = ni=1 ni .xi .g , puisque G agit transitivement sur G/G0 par l'action
G G/G0 G/G0
(g, xi ) xi .g
n
alors les ni coincident, posons
Pndonc = ni , on a donc y = i=1 xi mod(NG0 .Z[G]),
puisque N
que xi 1 mod(NG ), il
P
PG0 NG , alors y = i=1 xi mod(NG ), et remarquons
suit que ni=1 xi = [G : G0 ] mod(NG ), et [G : G0 ] = y = Pni=1 xi = .[G : G0 ] mod(NG )),
alors 1 mod(NG ), or Z, donc = 1, et y.d(g) = ni=1 xi .d(g) = 0 mod(NG0 .NG )

Chapitre 2
Le thorme de l'idal principal
Le thorme d'existence tablit que si K un corps de nombres de groupe de classe
G, alors il existe une extension L de K tel que Gal(L/K) ' G, et que cette extension
est caractris par la proprit que c'est l'extension ablienne maximale non ramie
de K , Hilbert a conjectur que tout idal de K devient principal dans L, et en 1930,
P hillip F urtw
angler a montr ce rsultat aprs que Emil Artin eu rduit ce problme
en un problme de la thorie des groupes. La dmonstration du thorme de l'idal
principal repose sur le thorme suivant :

Thorme (d'Artin) :

Soit K E L une extension des corps de nombres, supposons que L/K est galoisienne,
et posons G = Gal(L/K), et H = Gal(L/E), soit E 0 le corps x par H 0 , et K 0 x par
G0 , alors :
VGH K 0 /K = E 0 /E iE/K

o iE/K est l'homomorphisme extension.

2.1

Rappels

Soit K un corps de nombres, on note IK le groupe des idaux fractionnaires, et si S

est ensemble ni des idaux de K , on note IKS le sous-groupe engendr par les idaux en
dehors de S , o :
S
IK
= {J | vP (J) = 0 P S}.

avec vP est la valuation P adique.

21

CHAPITRE 2.

LE THORME DE L'IDAL PRINCIPAL

22

Si m = m0 .m est un modulus de K , avec m0 est le produit des places nies qui divisent
m
m, et m est le produit des places innies qui divisent m, alors on note IK
le sous-groupe
de IK engendr par les places nies premires avec m0 :
m
IK
= {J | vP (J) = 0 P |m}.

Soient L/K une extension galoisienne de groupe de galois G, et P un premier de K ,

on rappelle que un premier de L au dessus de P , e(/P ) = e xe, ou e est l'indice de
ramication et f le degr rsiduel , et notons le groupe de dcomposition de au dessus
de P par Z(/P ) = { G, () = } qui est de cardinal e.f . En eet, considrons
l'action du groupe G sur {1 , . . . , g } qui est transitive (voir [13] p.105), avec les i sont
les premiers de L au dessus de P :
G {1 , . . . , g } {1 , . . . , g }
(, i ) (i )

on a donc Z(/P ) = F ix(), et card(O ) = |G|/|F ix()|, avec O est l'orbite de , et

|Z(/P )| = |G|/|O | = e.f.g/g = e.f .
Les corps rsiduels dans les corps des nombres sont nis, ainsi on dnit l'extension des
corps nis (OL /)/(OK /P ), qui est galoisienne cyclique.
Soit l'homomorphisme de groupes :
: Z(/P ) Gal(OL //OK /P )

avec (x) = (x)

est clairement surjectif, et de noyau : {, (x) x mod() x OL } qu'on
l'appelle le groupe d'inertie et on le note I(/P ), et on a donc Z(/P )/I(/P ) '
Gal(OL //OK /P ), ainsi |I(/P )| = e(/P ). Donc si est non rami dans L/K , c--d
e(/P )={1} et I(/P ) = {id}, alors Z(/P ) ' Gal(OL //OK /P ), et par suite Z(/P )

est cyclique, notons ( L/K

) son gnrateur, qu'on appelle l'automorphisme de Frobenius.

Proposition 2.1
()

1 Soit G, alors ( L/K

) 1 = ( L/K
).

2Si E est une sous-extension intermdiaire de L/K et f = f (/ E) alors ( ()

)=
L/E

() f
( L/K
) .

CHAPITRE 2.

Preuve

LE THORME DE L'IDAL PRINCIPAL

23

: Voir [13]p.107


videmment, si G est ablien, alors ( ()

) = ( L/K
) 1 = L/K
pour tout G, d'o
L/E
P
pour les extensions abliennes l'automorphisme de Frobenius est not ( L/E
) qui ne dpend pas du choix de au dessus de P .

L'application d'Artin

Soit m un modulus de K , divisible par tout les premiers de K qui se ramient (on
l'appelle dans certains ouvrages modulus admissible), on dnit l'application d'Artin
gnralise par :
m
L/K : IK
G/G0

).G0
P (
L/K
o est au dessus de P , et si 0 est0 un autre premier au dessus de P , alors il existe

un G tel que () = 0 , et ( L/K

) = ( L/K
) 1 , puisque G/G0 est ablien, alors
L/K (P ) ne dpend pas du choix au dessus de P . Ainsi, L/K (P ) est bien dnie,
et d'aprs la thorie du corps de classes, elle est surjective. Remarquons que si G est
ablien, alors G0 est rduit, et on a l'application d'Artin usuelle pour les extensions

abliennes.
Soit E le corps xe par G0 , comme G0 est normal dans G, alors E/K est galoisienne, et
Gal(E/K) = G/G0 .

Proposition 2.2 Ker(L/K ) = Ker(E/K ).

0
Preuve : On a G = Gal(L/K) et G = Gal(L/E), soit l'application restriction G
Gal(E/K) qui induit un isomorphisme W : G/G0 Gal(E/K), alors E/K =
W L/K .


Lemme 2.1 Soit L/K une extension ablienne, m un modulus divisible par tous les
premiers de K qui se ramient dans L, alors :
m
e
Ker(L/K |IK
) = NL/K (ILm
).Pm

avec m
e est l'extension du modulus m dans L, NL/K est l'application norme, et Pm le
sous-groupe de IKm des idaux principaux, donc L/K induit un isomorphisme
m
e
).PKm ' Gal(L/K)
IK
/NL/K (ILm

CHAPITRE 2.

Preuve

LE THORME DE L'IDAL PRINCIPAL

24

: Voir [4] p.191



On rappelle que le corps de classes de Hilbert d'un corps de nombres K , qu'on note K (1) ,
est l'extension ablienne maximale non ramie de K .

Proposition 2.3 Gal(K (1) /K) ' IK /PK ' CK

: ici on peut prendre m = 1 = OK le modulus divisible par tous les premiers
qui se ramient, ainsi m
e = OL , donc NL/K (IL ) = IK (voir [4]), et Pm = PK et par suite
le rsultat.
Preuve

Thorme 2.1 Soit K E L une extension de corps de nombres, supposons L/K

est galoisienne de groupe de galois G, et posons H = Gal(L/E), soit P un premier de K ,

et un premier de L au dessus de P , et supposons que e(/P ) = 1, posons = ( L/K

), et
O1 , . . . , Or les orbites de l'action du groupe Z(/P ) sur (G/H)d = {H1 , H2 , . . . , Hr },
et que chaque Oi est de longueur fi , alors les premiers de E qui sont au dessus de p sont
Pi = i (P ) E , de plus f (Pi /P ) = fi et P OE = P1 .P2 ...Pr .
: Les Pi ne dependent que de Oi . En eet, premirement on a Z(/P ) =< >
ce qui fait que les orbites sont de la forme :
Preuve

Oi = {Hi , Hi , Hi 2 , . . . , Hi fi 1 }

et si H = H 0 , alors h H tel que h = 0 , et

0 () E = h( ()) E = h( () E) = () E

et j () E = () E = Pi , d'o Pi ne dpend que de Oi .

, avec F ix(Hi ) = { Z(/P ), Hi = Hi }, Hi = Hi
veut dire que Hi , donc F ix(Hi ) = 1 Hi Z(/P ), d'o
fi = |Oi | =

|Z(/P )|
|F ix(Hi )|
1

|Oi | = [Z(/P ) : Z(/P ) 1 Hi ] = [ Z(/P )i1 : Z(/P )i1 H]

or i Z(/P )i1 = Z(i ()/P ), et Z(i ()/P ) H = Z(i ()/Pi ), alors |Oi | = fi =
(i ()/P )
[Z(i (/P ) : Z(i (/Pi ))] = ff(
= f (Pi /P ).
i ()/Pi )

CHAPITRE 2.

LE THORME DE L'IDAL PRINCIPAL

25

Enn, si P0 est un premier de E au dessus de P , P0 OL est au dessus de P dans L/K ,

alors il existe G tel que P0 = () E .


2.2

Thorme de l'idal principal de la thorie du corps

de classes

Thorme 2.2 (Artin)

Soit K E L une extension de corps de nombres, avec L/K galoisienne, et G =
Gal(L/K) et H = Gal(L/E), soient m un modulus de K divisible par toutes les places
nies qui se ramient dans L, m0 un modulus de E divisible par toutes les places nies
qui se ramient dans L, alors le diagramme suivant est commutatif
m
IK

L/K

G/G0
VGG0

IEm

L/E

H/H 0

avec i(P ) = P OE .

: Soit P un premier de K , avec P IKm , et soit un premier de L au dessus

de P , posons = ( L/K
), d'aprs le thorme 2.1, (G/H)d se dcompose sous l'action
du groupe Z(/P ) =< > en r orbites Oi = {Hi , Hi , . . . , Hi fi 1 }, alors i(P ) =
P1 .P2 ...Pr avec Pi = i () E et f (Pi /P ) = fi .
i () fi
i ()
L/K (P ) = G0 , et ( L/E
) = ( L/K
) = (i i1 )fi = i fi i1 , ainsi L/E (i(P )) =
Qr
fi 1 0
i=1 i i H .
Q
D'autre part, VGH (G0 ) = tT h(,t) H 0 avec T une transversale de H droite de G,
on peut prendre
Preuve

T = {1 , 1 , . . . , 1 fi 1 , . . . , r , r , . . . , r fr 1 }

pour j {1, . . . , r}, et 0 i < fj 1, (j i ). = j i+1 T , donc h(j fj 1 ) = 1, et si

i = fj 1, (j fj 1 ) = j fj on a
j fj j1 = h(j fj 1 ) H et j fj = h(j fj 1 ) j , c--d que VGH (L/K (P )) = VGH ( mod G0 ) =

CHAPITRE 2.

Qr

i=1 j

LE THORME DE L'IDAL PRINCIPAL

26

mod H 0 .
m
m
L/E |IK
= L/K i|IK
, et par suite le diagramme est commutatif.

fj 1
j

Donc VGH

Thorme 2.3 (de l'idal principal)

Soit K un corps de nombres, alors tout idal de K devient principal (capitule) dans son
corps du classes de Hilbert K (1) .
: Soient K (1) et K (2) le premier et le deuxime corps de classes de Hilbert
de K , alors K (2) /K est une extension galoisienne non ramie. En eet, soit un
K -isomorphisme, alors (K (1) ) = K (1) , et (K (2) ) est une extension non ramie de
K (1) , ainsi Gal(K (2) /K (1) )1 = Gal((K (2) )/K (1) ), donc K (2) /K (1) est ablienne non
ramie, donc (K (2) )contenue dans K (2) .
Posons G = Gal(K (2) /K), G/G0 est le plus grand quotient de G ablien, donc G/G0 est
le groupe de Galois associe l'extension ablienne maximale contenue dans K (2) , alors
G/G0 = Gal(K (1) /K), ainsi G0 = Gal(K (2) /K (1) ).
Dans le thorme prcdent, remplaons H par G0 , et on aura m = 1 = OK et m
e =1=
0
00
OK (1) , et puisque G est ablien, alors G est rduit, et on a le diagramme commutatif
suivant :
Preuve

K (1) /K

IK

G/G0
VGG0

K (2) /K (1)

IK (1)

G0

K (1) /K induit l'isomorphisme CK ' G/G0 , et K (2) /K (1) induit l'isomorphisme CK (1) '
G0 , et soit l'homomorphisme induit de i :
i : CK CK (1)

tel que i([u]) = [i(u)], o [u] est la classe de u dans CK .

CK

'

G/G0
VGG0

CK (1)

'

G0

or d'aprs le thorme(1.1), VGG0 est trivial, ce qui est quivalent i est trivial,
c--d que i(IK ) PK (1) , d'o le rsultat.


Chapitre 3
Le transfert de p-groupes rguliers
Ce chapitre est consacr l'tude du transfert dans le cas des p-groupes rguliers.
3.1

Srie centrale d'un

p-groupe

Dnition 3.1 Soit G un groupe, on appelle (Ai )im une srie centrale de G toute suite
de sous-groupes normaux de G tel que {e} = A0 A1 A2 . . . Am = G, avec
[Ai , G] Ai1 pour tout i. On dit que la srie est de longueur m.
Tout groupe qui admet au moins une srie centrale est dit nilpotent.
On peut remplacer la condition [Ai , G] Ai1 par Ai /Ai1 Z(G/Ai1 ). En eet :
[Ai , G] Ai1 a Ai , g G, [a, g] Ai1 aga1 g 1 Ai1
ag ga mod(Ai1 ), a Ai , g G Ai /Ai1 Z(G/Ai1 )

Proposition 3.1 soit G un p-groupe, alors le centre de G, not par Z(G), est non
trivial.
P
Preuve : par l'action de conjugaison de G sur lui mme, on a |G| = |Z(G)|+
Card(Ox )
|G|
avec Ox est l'orbites de x, et puisque Card(Ox ) = |F ix(x)| est une puissance de p, alors
le rsultat en dcoule.


Proposition 3.2 Tout p-groupe est nilpotent.

Preuve : Construisons par rcurrence la suite de sous-groupes normaux : Z0 = {e}, Z1 =
Z(G), et Zi /Zi1 = Z(G/Zi1 ), puisque G/Zi1 est un p-groupe, alors son centre est non
rduit, donc Zi /Zi1 6= {e}. Ainsi, la suite est strictement monotone, or G est ni, donc
il existe un entier c tel que Zc = G, d'o on a une suite centrale de G.


27

CHAPITRE 3.

LE TRANSFERT DE

P -GROUPES

RGULIERS

28

Proposition 3.3 Soit (Ai )1in une srie centrale de G, alors i = 1, 2, . . . , c, on a

Ai Zi , o Zi sont dnis dans la preuve de la proposition prcdente
Preuve : on A0 = Z0 = {e}, supposons qu'on a Ai Zi pour un certain i 2,
soit : G G/Zi la projection canonique, et puisque Zi+1 /Zi = Z(G/Zi )), alors on
a 1 (Z(G/Zi )) = Zi+1 , et [Ai+1 , G] Ai Zi , donc ag ga mod(Zi ), c--d aZi
Z(G/Zi ), ainsi (Ai+1 ) Z(G/Zi ), ce qui est quivalent Ai+1 1 (Z(G/Zi )) = Zi+1 .

Dnition 3.2 La srie (Zi )ic ainsi dnie est appele srie centrale suprieure.
Dnition 3.3 Soit G un groupe, et soit la suite de sous-groupes de G dnie par
1 = G, et par rcurrence i = [i1 , G], alors (i )ic0 est une srie centrale de G,
appele srie centrale infrieure de G.
La proposition suivante justie cette dnition.

Proposition 3.4 Soit (Ai )im une srie centrale quelconque, alors on a i Ami+1
pour i = 1, . . . , c0 .
Preuve : par rcurrence sur i, pour i = 1 on a 1 = G = Am , supposons qu'on a pour
un certain i i Ami+1 , et montrons que i+1 Ami .
Nous avons i+1 = [i : G] [Ami+1 : G] Ami .

Proposition 3.5 La srie centrale suprieure et la srie infrieure ont la mme longueur : c = c0 .


Dnition 3.4 L'entier c = c(G) est appel la classe de G.

CHAPITRE 3.

3.2

Les

LE TRANSFERT DE

p-groupes

P -GROUPES

29

RGULIERS

rguliers

Dnition 3.5 Un p-groupe ni G est dit rgulier si x, y G on a xp yp = (xy)p

pour un certain n, et certains di < x, y >0 .

Qn

i=1

di

Thorme 3.1 Soient G un p-groupe ni, et c(G) sa classe, alors on a :

1. Si c(G) < p alors G est rgulier.
2. Si |G| pp alors G est rgulier.
3. Si G0 est cyclique, et p > 2 alors G est rgulier.
4. Si l'exposant de G gal p, alors G est rgulier.
Preuve

: Voir [2].


Remarque 3.1 - Tout p-groupe ablien est rgulier.

- Tout sous-groupe d'un groupe rgulier est rgulier.
- Tout groupe quotient d'un groupe rgulier est rgulier.
Thorme
3.2
Soient G un p-groupe rgulier, et k un entier naturel.
pk
pk
1. Si x = y = e, alors (xy)pk = e.
2. x, y G, il existe un z G qui ne dpend que de x et y tel que xpk .ypk = z pk .
Et par consquent on dnit deux sous-groupes de G :
i
i
i (G) = {g G | g p = e} et i (G) = {g p | g G}.
: 1. Par recurrence sur k, pour k = 1, si x, y G tel que xp = yp = e. On peut
supposer que G =< x, y > et est non ablien, posons =< xg , g G > le sous-groupe
engendr par les conjugus de x dans G, or les conjugus de x ont le mme ordre que x,
d'o l'exposant de est aussi p, et comme [x, y] = x1 xy Q
, alors [x, y]p = e ainsi G0
est d'exposant p, par la rgularit de G, on a xp yp = (xy)p ni=1 dpi avec di < x, y >0 ,
ce qui nous ramne dire que (xy)p = e.
Supposons maintenant que la proprit set vraie jusqu' un certain k > 1, on a donc
k
k
xp = y p = e, ainsi on a xp , y p k1 (G). Comme le groupe quotient d'un groupe
rgulier est aussi rgulier, et xp = yp = e, par l'hypothse de rcurrence on a (xy)p = e,
c--d que (xy)p k1 (G), cela implique que (xy)pk = e.
Preuve

Lemme 3.1

Soit G =< x, y >, alors G0 =< [x, y], 3 (G) >

CHAPITRE 3.

LE TRANSFERT DE

P -GROUPES

RGULIERS

30

2. Supposons que G =< x,Qy > et non ablien, et posons =< xy, G0 >, par la rgularit
de G, on a xp yp = (xy)p i dpi , avec di G0 , et comme on a aussi xy alors
d'aprs ([Hu]p. 325) le membre droit de l'galit est une puissance p-me d'un lment
de G.
Par rcurrence, supposons que jusqu' un certain k 1, on a xpk1 ypk1 = z pk1 pour un
k1
k
k
k1
k1
z convenable. xp y p = (xp )p (y p )p
= z0p
avec z0 < xp , yp >, comme pour le cas
p
de k = 1, z0 = z avec z G.


Proposition
3.6 Soient G un p-groupe
rgulier, x, y G et k un entier :
pk
pk
1 pk
1. x = y si et seulement si (xy ) = e.
2. [xpk , ypn ] = e si et seulement si [x, y]pk+n = e.
Preuve

V oir[2] p.326.

3.3

Le transfert des

p-groupes

sous condition de rgu-

lirit

Toujours avec p un premier x, G un p-groupe et A un sous-groupe ablien normal

dans G. Rappelons qu'on note le centralisateur de A dans G par ZG (A) = {g G | ga =
ag a A}, et puisque A est ablien, on a clairement A ZG (A).
Le but de cette section est de montrer le thorme 3.3

Lemme 3.2 Soit a, b G et n un entier, alors

(ab)n = an (a(n1) ban1 a(n2) ban2 . . . a1 bab).

Lemme 3.3 Soient g G, et a A, supposons

< g, a > est rgulier, et g m commute
Qm que
avec a avec m une puissance de p. Alors i=1 gi agi = am .
: Puisque gm commute avec a, alors on a [g, a]m = 1 (car on a dans ce cas
[g , a] = [g, a]m Voir [2]), et comme < g, a >0 est engendr par les conjugus de
[g, a], alors
son exposant divise m, et par la rgulirit de < g, a > on a : (g1 a)m =
Q
0
m
g m .am . i dm
lemme prcdent on a
i , puisque di < g, a > , alors di = 1. Et par
Qle
m
1 m
m m
m m1
(m1)
1
1
m
i
i
(g a) = g a = g (g
ag
. . . g ag a) = g
i=1 g ag , et par suite le
rsultat.
Preuve
m

CHAPITRE 3.

LE TRANSFERT DE

P -GROUPES

RGULIERS

31

Thorme 3.3 Si G/ZG (A) est rgulier, et si < g > .A est rgulier pour tout g G,
alors VGA (x) = x[G:A] x G.
: Soit x G, et posons H =< x > .ZG (A), par hypothse on a G/ZG (A) est
rgulier, d'aprs ([10], The relative uniqueness bases of regular p-groups), on a l'existence
d'une famille g1 , g2 , . . . , gr tel que toute classes de G/H est reprsente par un unique
produit de la forme g1m1 g2m2 . . . grmr , o 0 mi i 1, avec i est minimal tel que
gii H . Donc on a {g1m1 g2m2 . . . grmr , 0 mi i 1} est une transversale de H dans
G, et par consquent 1 . . . r = t = [G : H]. Notons f = [H : A], alors d'aprs la
proposition 1.4, on a
Preuve

r 1 r1 1

VGA (x) =

mr =0 mr1 =0

1 1

...

grmr . . . g1m1 xf g1m1 . . . grmr

m1 =0

or H ZG (< x > A), et xf < x > A, donc < gi , xf > est rgulier et gii
H commute avec xf , les conditions du lemme prcdent sont satisfaites, et par suite
VGA (x) = xf.1 2 ...r = x[G:A] pour tout x dans G.


Chapitre 4
Le module d'Artin et transfert
Un groupe G est dit mtabelien si G0 est ablien.
Soit G un groupe et A un sous-groupe de G ablien contenant G0 , donc il s'agit
d'un groupe mtablein, A est donc un sous groupe normal, et % = G/A est un groupe
ablien.
Notons r() le reprsentant de %, donc xons {r(), %} comme transversale de
A dans G avec r(1) = 1, et on a l'action du groupe % sur A dnie par :
% A A
(x, a) ax

avec ax = r(x)1 .a.r(x), puisque A est ablien, on a bien dni un action de groupe, et
par suite A est un %-module.
0
%
%

Rappelons
Q qu'on note H (%, A) = A /N% (A), o A = {x A | x = x, %} et
N% (x) = % x .
On appelle un cocycle de % dans A, une application de % dans A vriant a ,
a A et

a = a a , , %

et on note C 1 (%, A) l'ensemble des cocycles, et B 1 (%, A) l'ensemble des cobords

a1 , et on a bien B 1 (%, A) C 1 (%, A), ainsi on dnit le premier groupe de cohomologie
Posons A% =< a1

H 1 (%, A) = C 1 (%, A)/B 1 (%, A).

P
| a A, % >, et v(%) = % et donc

H 1 (%, A) = {x A | xv(%) = 1}/A% = Ker N% /A%

32

CHAPITRE 4.

LE MODULE D'ARTIN ET TRANSFERT

33

Le thorme suivant relie H 1 (%, A) et H 1 (%, A) quand % est cyclique.

Thorme 4.1 Si % est cyclique, alors

H 1 (%, A) ' H 1 (%, A)

Proposition 4.1 Si % est cyclique, alors

H (%, A) =

Ker N/A% = {x A | xv(%) = 1}/A% , si i est impair ;

A% /Av(%) ,
si i est pair.

Corollaire 4.1 si % est cyclique d'ordre premier, alors

i

H (%, A) =

0, si i est impair ;
A% , si i est pair.

Pour , %, posons le 2-cocycle :

c(, ) = r( )1 .r().r( )

Clairement on a c(, ) A, puisqu'il reprsente la classe triviale. Et c(, ).c(, ) =

c(, ).c(, ) . En eet :

c(, ).c(, ) = r( )1 .r().r( ).r( )1 .r( ).r()

= r( )1 .r().r( ).r() = r( )1 r( ).r().r()1 .r( )1 .r().r( ).r() = c(, ).c(, )
donc vrie bien la condition du 2-cocycle. Le groupe engendr par les 2-cocycles est not
C 2 (%, A)
Soit B =< b() | % {1} > le groupe ablien libre engendr par les symboles b(),
et avec b(1) = 1.
Posons M = B A, et dnissons l'action :
% M M
(, m) m

o m = (b(), a) et m = (b() , a ), avec

b() = b( )1 .b( ).c(, )

et l'action de % sur A est dj dnie. Le %-module est appel le module dcomposable

d'Artin pour l'extension A G %.

CHAPITRE 4.

LE MODULE D'ARTIN ET TRANSFERT

34

c C 2 (%, A) correspond l'extension A G % (voir [8] p.299) ; le module dcompos M est un %-module et mme on a c C 2 (%, M ), donc on peut bien dnir une
b %, et par suite % ' G/M
b
extension M G
, et puisque A M , alors naturelleb
ment on a G G.

Proposition 4.2 Soit l'ensemble %b = {r().b()1 , %}, alors %b est un sous groupe
de Gb et isomorphe %
Preuve

a:

: soit l'application %b % qui fait associer r().b()1 , pour , %, on

r().b()1 .r( ).b( )1 = r().r( ).r( )1 .b().r( ).b( )1
= r( ).c(, ).b() .b( )1 = r( ).b( )1

d'o la linarit.
b
Si r().b()1 = r( ).b( )1 , alors r( )1 .r() = b( )1 .b() % M , or % = G/M
,
c--d que % M = {1} et r() = r( ) et b() = b( ). Or la surjection est dduite par la
construction de l'application, ce qui ce prouve le rsultat demand.


Proposition 4.3 Gb = % n M = %b n M
b
: puisque % = G/M
alors % M = {1}, et M est normal dans Gb, alors Gb est
produit semi-direct de % par M .
Preuve

Proposition 4.4 Gb0 = [M, %b] = M %

: Puisque Gb est un produit semi-direct de Gb et M et %b est ablien, alors Gb0 =
[M, %b], et clairement on a [M, %b] = M % .
Preuve

Posons l'homomorphisme l dni par :

l : M G/G0
b().a .a.G0

pour % et a A

Proposition 4.5 l'homomorphisme l induit l'isomorphisme de groupes :

M/M % ' G/G0 .

CHAPITRE 4.

LE MODULE D'ARTIN ET TRANSFERT

35

b G
b0 ' (b
: Puisque %b M = {1} et Gb0 = M % M , alors G/
% n M )/M % '
b %.M % ' M/M % .
%b n M/M % et par suite G/b
Soit l'application : Gb M/M % obtenue par la composition de l'isomorphisme
b %.M % . Pour %, x A, on a :
prcdent et la projection canonique Gb G/b

Preuve

(r().x) = (r().b()1 .b().x) = b().x.M %

b0 = M % , alors M/M % est ablien, et la restriction sur G induit la surjection
M0 G
b : G/G0 M/M % , ainsi
b l(b().x) = b(r().x.G0 ) = b().x.M %

c--d que b l est la projection canonique M M/M % , or pour , %, on a :

b()1 = b().c(, )1 .b( )1 .b( ), donc
i(b()1 ) = r().c(, )1 .r( )1 .r( ).G0 = G0

c--d que M % Ker l, donc on dnit bl : M/M % G/G0 , en ce cas bbl est l'identit
de M/M % . Comme bl est surjective, nous dduisons que b et bl sont des isomorphismes.

4.1

Module d'Artin et transfert

Soit Z[%] l'anneau de groupe de %, il opre sur M par l'action :

n
n
X
Y
Pn
(
ni i ).m = m i=1 ni i =
(mi )ni
i=1

i=1

Notons l'annulateur de M dans Z[%] par :

AnnZ[%] (M ) = { Z[%] | x = 1 x M }
P
et rappelons qu'on note v = v(%) = % Z[%].

Proposition 4.6 Il existe un entier c tel que :

AnnZ[%] (M ) = c.v(%).Z

CHAPITRE 4.

Preuve

LE MODULE D'ARTIN ET TRANSFERT

: Soit AnnZ[%] (M ), alors =

P

b( ) = b( )

n .

36

n . , avec n Z, pour %, on a :

b( )n .

(b( ) )n =

Y
(b()1 .b( ).c(, ))n
%

b()n( 1 ) n .

c(, )n = 1

donc b()n( 1 ) n B A %b A = {1}, ce qui implique que n( 1 ) = n pour tout

, %, ainsi n = c = n1 , , et = c.v(%) et par suite le rsultat.


Thorme 4.2 Pour x M , on a :

xv(%) = VGA (l(x))

de plus, on a :
Ker VGA = Ker V er/G0 ' H 1 (%, M ) = {x M ; xv(g) = 1}/M %

: A est sous-groupe normal de G, alors d'aprs le corollaire 1.3, on a pour

a A et b( ) B :
Preuve

VGA (l(a)) = V er(a)/G =

r
Y

r()1 .a.r()

a = a

= av(%)

et

b( )v(%) =

b( ) =

b()1 .b( ).c(, )

or B est ablien, donc :

b( )v(%) =

Y
%

c(, ) =

r( )r( )r()

= V er(r( )) = VGA (l(b()))

CHAPITRE 4.

LE MODULE D'ARTIN ET TRANSFERT

37

et par suite VGA (l(x)) = xv(%) . Et pour la deuxime tranche du thorme, on a :

x H 1 (%, M ) xv(%) = 1
VGA (l(x)) = 1 l(x) Ker VGA = Ker V er/G0 .


Corollaire 4.2 Si %, a A, alors :

VGA (l(r().a)) = V er(r().a) =

c(, ).av(%) .

Preuve

alors :

: V er(r().a) = V er(r()).V er(a), or pour %, r( ) = c(, ).r().r( ),

V er(r().a) =

Y
(r(r() )1 .r().r( )).av(%)
%

Y
Y
(r( )1 .r().r( )).av(%) = ( c(, )).av(%) .
=
%


4.2

Le thorme 94 d'Hilbert.

Le but de ce paragraphe est de donner une dmonstration d'une gnralisation du

thorme 94 de Hilbert par les modules dcomposables d'Artin.

Thorme 4.3 (94 de Hilbert)

Soit k un corps de nombres, et K une extension nie cyclique non ramie (pas forcment
de degr premier), alors le nombre de classes de Ck qui capitulent dans K est un multiple
de degr de l'extension [K : k].
Posons G = Gal(K (1) /k), et A = Gal(K (1) /K)

CHAPITRE 4.

LE MODULE D'ARTIN ET TRANSFERT

38

K (1)

A
G

Alors on a : G/G0 = Gal(k(1) /k), et donc G0 = Gal(K 1 /k(1) ), et G/A = Gal(K/k).

G/A est ablien, donc G0 A, et puisque A est aussi ablien, alors G est mtablein.
Et par le thorme d'Artin on a le diagramme commutatif :
Ck

'

G/G0
VGA

CK

'

puisque le noyau de capitulation, et de l'application transfert sont isomorphes, alors

il sut de montrer que [G : A] = |%| divise |Ker VGA | = [Ker V er : G0 ].
Posons M = B A le module d'Artin dcomposable pour l'extension A G %,
notons pour un entier m, M m = {xm | x M }, et posons = max{exp(G/G0 ), exp(A)},
o exp(X) dsigne l'exposant du groupe X .
Supposons que m est un multiple de , si x M , avec x = b().a, alors xm =
b()m .am , or am = 1 alors xm B , et puisque M/M % ' G/G0 , alors xm est la
classe identit, ainsi que xm B M % . Donc M % /M m est dni, et clairement on a
(M/M m )% ' M % /M m , de plus xv(%) = 1 ssi xv(%) M m M v(%) , mais M v(%) A,
donc M m M v(%) = {1}, et par suite :
{x M/M m | xv(%) = 1} = {x M ; xv(%) = 1}/M m .

comme consquence on a la proposition suivante :

CHAPITRE 4.

39

LE MODULE D'ARTIN ET TRANSFERT

Proposition 4.7 Si m est un multiple de , alors :

H 1 (%, M/M m ) ' H 1 (%, M ) ' Ker VGA
Preuve

H 1 (%, M/M m ) = {x M/M m ; xv(%) = 1}/(M/M m )%

= ({x M | xv(%) = 1}/M m )/(M % /M m )
= {x M | xv(%) = 1}/M % = H 1 (%, M ).


Lemme 4.1 1. M % = {x M | x = x, %} = A% .
2. Pour un multiple m de , posons e(m) = m/P GCD(m, |%|), alors :
(M/M m )% = {x M/M m | x = x, %}
Y
Y
= {( b()e .a | e(m)|e, a A, a1 = ( c(, ))e pour %)}.M m /M m .

: Soit x M , alors on peut l'exprimer comme x = ( b() ).a, avec sont

des entiers,
et a A, on fait la division Euclidienne des par m, alors on peut crire :
Q
x = ( b()n ).y m .a, o 0 n m 1, et y B , donc pour %, on a :
Q

Preuve

Y
Y
b()n (b( )1 .b( ).c(, )).n .y (1 ).m .a1
x1 = ( b()n .y m .a)1 =

b()n .b( )n .b( )n .c(, )n .y (1 ).m .a1 ()

puisque B est ablien, alors :

Y

Y
Y
Y
b()n .b( )n .b( )n = ( b()n ).( b( )n ).( b( )n )

Y
Y
P
= ( b()n ).b( ) n .( b( )n )

=(

P
n + n

b()n ).b( )

.(

() = (

Y
6=

b()n 1 )

6=

donc :

b()n n 1 ).b( )n +

.(

c(, )).y (1 ).m .a1

CHAPITRE 4.

LE MODULE D'ARTIN ET TRANSFERT

40

pour montrer la deuxime tranche du lemme, supposons que x1 M m , pour tout %,

or |n n 1 | < m, alors n = n 1 pour tous , %, et par suite n = e constant
pout tout %, ainsi :
Y
x1 = b( )e.|%| .( c(, )e ).y (1 ).m .a1

puisque
m est un multiple de , alors A M m = {1}, et y (1 )m B , alors a1 =
Q
( c(, ))e , d'o la deuxime assertion.


Proposition 4.8 Supposons que m est un multiple de |%|, alors (M/M m )% ' (Z/|%|.Z)
A% , et donc :
H 0 (%, M/M m ) ' (Z/|%|Z) (A% /VGA (G))

Corollaire 4.3 Si % = G/A est cyclique, alors

|Ker VGA | = [Ker V er : G0 ] = |%|.[A% : VGA (G)]
Preuve

donc

: Si % est cyclique, alors q(%, M/M m ) = |H 1 (%, M/M m )|/|H 0 (%, M/M m )| = 1,
|H 1 (%, M/M m )| = |H 1 (%, M/M m )| = |H 0 (%, M/M m )| = |Ker VGA |

et le rsultat se dduit de la proposition prcdente.



Dans [5], SUZUKI a donn et dmontr une gnralisation du thorme 94 de Hilbert :

Thorme 4.4 Soit k un corps de nombres, et K une extension nie ablienne non
ramie de k, alors le nombre des idaux de k qui capitulent dans K est un multiple du
degr de l'extension.
Puisqu'on a par le thorme d'Artin l'isomorphisme entre le noyau du capitulation,
et le noyau du transfert, alors on peut transformer le problme en un problme de la
thorie des groupes :

Thorme 4.5 Soit H un groupe ni, et N un sous-groupe normal de H contient le

groupe driv H 0 de H , alors [H : N ] divise l'ordre du noyau de transfert de groupe
VHN : H/H 0 N/N 0

K.W.Gruenberg et A.Weiss ont donn une autre dmonstration de ce rsultat (Voir

[11]).

Chapitre 5
Application
Dans ce chapitre, on va tudier le noyau du transfert pour deux exemples de 2groupes, o on utilise les rsultats pour tudier le problme de capitulation.
5.1

Capitulation des
nombres de

2-classes

2-groupe

d'idaux d'un corps de

de classes de type

(2, 2)

Soit k un corps de nombres, de groupe de classes Ck . Notons Ck,2 le sous-groupe de

Sylow de Ck qu'on appelle le 2-groupe de classes, soit k2(1) l'extension ablienne maximale
non ramie pour les places nis et innies de degr une puissance de 2 qu'on appelle le
(i)
2-corps de classes de Hilbert absolu, et k2 la 2-tour de corps de classes de Hilbert.
Posons G = Gal(k2(2) /k), alors on a G0 = Gal(k2(2) /k1(2) ) et :

41

CHAPITRE 5.

42

APPLICATION

(2)

k2

G0
G

(1)

k2

G/G0

Soit F une extension de k, et posons j : Ck CF l'application de capitulation, on

dit que F/k satisfait la condition A si |Ker(j) NF/k (CF )| > 1, et satisfait la condition
B si |Ker(j) NF/k (CF )| = 1.
Rappelons qu'on note le groupe quaternion Qm , et le groupe didral Dm , et le groupe
semi-didral Sm , qui sont dnis comme suit :
Qm =< x, y | x2

m2

= y 2 = a, a2 = 1, y 1 xy = x1 >
m1

Dm =< x, y | x2

m1

Sm =< x, y | x2

= y 2 = 1, y 1 xy = x1 >
m2 1

= y 2 = 1, y 1 xy = x2

>

nonons le thorme suivant :

Thorme 5.1 Soit N un 2-groupe d'ordre 2m , avec m > 1, si N/N 0 ' Z/2Z Z/2Z
alors N ' Dm ou Qm ou Sm .
La preuve du thorme est donne en [6].

Posons Q = Q3 , et soit k un corps de nombres tel que Ck,2 est de type (2, 2), ( c--d
que Ck,2 ' Z/2Z Z/2Z), par le thorme prcdent, on a G = Gal(k2(2) /k) a la forme
d'un des groupes suivants : Qm , Dm , Sm , donc G0 =< x2 >. En eet, G0 =< [x, y] >

CHAPITRE 5.

43

APPLICATION

et x1 y 1 xy = x1 x1 = x2 ou x1 y 1 xy = x1 x2 1 = x2
G0 =< [x, y] >, les seuls sous-groupes de G d'indice 2 sont :
m2

m2 2

, et par suite on a :

H1 =< x >, H2 =< x2 , y >, H3 =< x2 , xy >

Voir[7] p.272.
Soit Fi le sous-corps de k2(2) x par Hi pour i = 1, 2, 3, donc Fi /k est une extension
quadratique. Et Hi /Hi0 ' CFi ,2 .
Si G0 6= {1}, alors k2(1) k2(2) , et < x4 > est l'unique sous-groupe de G0 d'indice 2,
donc < x4 > est normal dans G, et soit L le corps qu'il laisse xe, et par suite on a L/k
est de degr 8.

Thorme 5.2 Fi /k satisfait la condition B H 2 (Gal(Fi /k), CFi ) est trivial

Preuve

: Voir [6].


Et puisque Gal(Fi /k) est cyclique d'ordre premier alors :

H 2 (Gal(Fi /k), CFi ) = H 2 (G/Hi , Hi /Hi0 ) = H 0 (G/Hi , Hi /Hi0 )

et rappelons que par le thorme d'Artin, le diagramme suivant est commutatif :

Ck

'

G/G0
Vi

CFi

'

Hi /Hi0

alors on a le thorme suivant :

Thorme 5.3
(1)
(2)
1. Si k2 = k2 , alors Fi satisfait la condition A et |Kerji | = 4 pour i = 1, 2, 3 et
G ' Z/2Z Z/2Z.
2.Si Gal(L/k) ' Q, alors Fi satisfait la condition A et |Kerji | = 2 pour i = 1, 2, 3, alors
G ' Q.
3.Si Gal(L/k) ' Q, alors Fi satisfait la condition A et |Kerji | = 2 pour i = 1, 2, 3.

CHAPITRE 5.

Preuve
(1)
1.
k2

Si

44

APPLICATION

= k2 , alors G = G/G0 =' Z/2Z Z/2Z '< x, y | x2 = y 2 = 1 >, alors

Vi : G Hi est trivial. En eet, on a en gnral si H est sous-groupe de G d'indice
deux tel que G = H t zH , alors V : G/G0 H/H 0 est dni par :
(2)

V (h) = hz 1 hz M od(H 0 )
V (zh) = (hz)2 M od(H 0 ) ()

et puisque dans notre cas G est d'exposant 2, alors clairement les Vi sont triviaux, c--d
que |Kerji | = 4, et puisque NFi /k (CFi ,2 ) Kerji alors Fi /k satisfait la condition A.
2. Si Gal(L/k) ' Q, c--d que G/ < x4 >' Q, alors G ' Q, et puisqu'on a
G/H1 =< yH1 >, et on a l'action du groupe < yH1 > sur H1 par yH1 .x = y 1 xy = x1 ,
alors H1 est un G/H1 -module, et H 0 (G/H1 , H1 ) =< x2 > n'est pas trivial, donc F1 /k
est de type A, et V1 (x) = 1 et V1 (y) = y2 (on applique (*)), et par suite |KerV1 | = 2.
Ainsi on refait le mme calcul pour i = 2, 3.
3. Si GAl(L/k) = D, alors G ' Dm ou ' Dm ou ' Qm , pour H = H2 ou = H3 , alors
G/H =< xH >, qui agit sur H/H 0 par :
xH.x2 = x1 x2 x = x2

et

xH.y = x1 yx = x1 yxy 1 y = x2 y = x2 y

la dernire galit vient du fait que H/H 0 est d'ordre 4.

Et par suite on a H 0 (G/H, H/H 0 ) est trivial, il suit que F2 /k et F3 /k sont de type B .
puisque G = H t xH , alors Vi (x) = x2 M od(H 0 ), et Vi (y) = yx1 yx = y2 y1 x1 yx =
y 2 x2 , ce qui montre que ImVi =< x2 , y 2 >, et par suite |KerVi | = 2.

5.2

Capitulation des
nombres de

2-classes

2-groupe

d'idaux d'un corps de

de classes de type

(2, 4)

Proposition 5.1 Soit G un 2-groupe dont l'ablianis est de type (2, 4) (G/G0 ' Z/2Z
Z/4Z) alors G est engendr par deux lment a et b tel que a2 b4 1M od(G0 )
Ce rsultat va nous servir au niveau de l'tude du noyau du transfert, et par suite la
capitulation des 2-classes des corps de nombres dont le 2-groupe de classes est de type

CHAPITRE 5.

45

APPLICATION

(2, 4).

Rappelons que le groupe modulaire M2n est dni par :

M2n =< a, b | b2

n1

n2

= a2 = 1, [b, a] = b2

>

Dans [1] AZIZI et TAOUS ont donn un lgant rsum des proprits des groupes dont
l'ablianis est de type (2, 4), ainsi ils ont tudi la capitulation des 2-classes des corps
de nombres k dont Gal(k22 /k) est de cette forme. Dans cette section, citons quelque rsultats fournis par AZIZI et TAOUS dans [1].
Soit k un corps du nombres, posons G = Gal(k22 /k), et supposons que G/G0 ' Gal(k2(1) /k) '
Ck,2 est de type (2, 4), alors Ck,2 =< , o >'< aG0 , bG0 >, et
(

(2)
k2 /k

) = a.G0 , (

o
(2)
k2 /k

) = b.G0

Les sous-groupes normaux d'indice 2 dans G sont :

H1,2 =< b, G0 >, H2,2 =< ab, G0 >
H3,2 < a, b2 , G0 >

Ainsi, il existe trois sous-groupes normaux de G d'indice 4 :

H1,4 =< a, G0 >, H2,4 =< ab2 , G0 >
H3,4 =< b2 , G0 >

Voir [1] p.11

Soit Ki,j le corps x par Hi,j , alors Hi,j = NKi,j /k (CKi,j ,2 ) et Ck,2 /Hi,j = Gal(Ki,j /k)
(car G0 Hi,j ), donc les Ki,2 /k sont des extensions quadratiques non ramies, et les
Ki,4 /k sont des extensions non ramies de degr 4.

Le cas o G est un groupe modulaire :

Dans ce cas on a : G =< a, b | a2 = b8 = 1, [b, a] = b4 >, d'o le lemme suivant :

Lemme 5.1 Comme G est un 2-groupe modulaire, on a :

1. Pour i=1,2
0

VGHi,2 (xG ) =

1, si x = a ;
b4 , si x = b4 .

CHAPITRE 5.

46

APPLICATION

2.
0

b4 , si x = a ;
b4 , si x = b2 .

1, si x = a ;
b4 , si x = b.

VGH3,2 (xG ) =

3. Pour i = 1, 2, 3
0

VGHi,4 (xG ) =

: G =< a, b | a2 = b8 = 1, [b, a] = b4 >, donc G0 =< b4 >, ainsi on a :

H1,2 =< b, G0 >=< b >, H2,2 =< ab, G0 >=< ab, b4 >=< ab > car ba = ab5 , donc
(ab)4 = b12 = b4 , et H3,2 =< a, b2 , G0 >=< a, b2 >, et les sous-groupes normaux d'indice
quatre sont dnis par : H1,4 =< a, G0 >=< a, b4 >, et H2,4 =< ab2 , G0 >=< ab2 >, car
Preuve

(ab2 )2 = abbabb = abab5 bb = a2 b12 = b4

ainsi H3,4 =< b2 , G0 >=< b2 >.

Puisque G/Hi,2 =< a >, pour i = 1, 2, et la classe de a dans Hi,2 . Donc on peut prendre
{1, a} comme transversale de Hi,2 dans G, alors 1.a = a et a.a = a2 = 1, et par suite
VGHi,2 (aG0 ) = 1, ainsi 1.b2 = b2 Hi,2 car (ab)2 = b6 = b2 , et b2 .a = a.h, o h Hi,2
car a / Hi,2 et h = a1 b2 a = b10 , alors :
VGHi,2 (b2 G0 ) = b12 = b4

Pour le rsultat 2, on a G/H3,2 =< b >, et {1, b} est une transversale de H3,2 dans G,
puisque a H3,2 , alors
[< a > .H3,2 , H3,2 ] = 1

et utilisons le corollaire 1.3, on aura :

VGH3,2 (aG0 ) = (1.a.1)(b1 ab) = ab1 ab = b4

de mme puisque b2 H3,2 , alors :

VGH3,2 (b2 G0 ) = (1.b2 .1)(b1 b2 b) = b4

et on refait le mme calcul pour le rsultat 3.



Ce lemme nous donne le rsultat de capitulation des 2-classe de k dans les corps Ki,j ,
et on a :

CHAPITRE 5.

47

APPLICATION

Thorme 5.4 G est un groupe modulaire si et seulement si le 2-groupe de classes de

K3,2 est de type (2, 4) et seulement deux classes qui capitulent dans K3,2 , et dans ce cas
on a :
Ker jkKi,2 = {1, }, pour i = 1, 2.
Ker jkK3,2 = {1, o2 }
Ker jkKi,4 = {1, , o2 , o2 } pour i = 1, 2, 3

: pour la preuve de la premire tranche du thorme, voir[1] p.13

La deuxime tranche se dduit du lemme prcdent.
Preuve

Le cas o G est mtacyclique non modulaire :

Le nombre des groupes mtacycliques d'ordre 2n , avec n 5, dont l'ablianis est de
type (2, 4) est gal :

3, si n=5 ;
4, si n>5.
et ils sont donns par la reprsentation suivante :
n2

Gm =< a, b | a2

= 1, b4 = z1 , ab = a1 z2 >

o 1 m 4 et les valeurs de zi sont donnes dans le tableau suivant :

G1

1
1

z1
z2

G2

2n3

G3
n3
a2

G4

2n4

Lemme 5.2 Si G = Gm alors on a :

1)

2
si G = G1 , G3 ;
a ,
2(12n4 )
a
, si G = G2 ;
[a, b] =
2(12n5 )
a
, si G = G4 .

2)
2

[a, b ] =

3)
2

[a , b] =

1,
si G = G1 , G2 , G3 ;
2n3 (1+2n5 )
a
, si G = G4 ;


a4 ,
si G = G1 , G2 , G3 ;
4+2n3
a
, si G = G4 ;

CHAPITRE 5.

4)
Preuve

48

APPLICATION

[a2 , b2 ] = 1

: Voir [1] la preuve du lemme.8, p.8.



Et par suite on a comme rsultat, le corollaire suivant :

Corollaire 5.1

G0 =< a2 > .

0
H3,2

0
=< a4 > pour i = 1, 2.
Hi,2

1,
si G = G1 , G2 , G3 ;
=
2n3
a
, si G = G4 .
0
H1,4
= {1}.
0
H2,4
= {1}.
0
H3,4
= {1}.

: G est un groupe mtacyclique, donc G0 est cyclique, et est engendr par le

commutateur [a, b], or d'aprs le lemme prcdent, on G0 =< a2 >.
On a H1,2 =< b, G0 >=< a2 , b >, et par le lemme prcdent on a [a2 , b] est une puissance
de a4 , de plus H2,2 =< ab, a2 >, et b1 a1 a2 aba2 = b1 a2 ba2 = [b, a2 ], et par suite
0
H2,2
=< b4 >.
H3,2 =< a, b2 , G0 >=< a, b2 >, donc clairement par le lemme on a :

Preuve

0
H3,2


=

1,
si G = G1 , G2 , G3 ;
2n3
a
, si G = G3 .

0
= {1}, et H2,4 =< ab2 , G0 >=< ab2 , a2 >, et
H1,4 =< a, G0 >=< a >, c--d H1,4
2 1 2 2 2
2 1 2 2
2 2
0
b a a ab a = b a b a = [a , b ], ainsi H2,4
= {1}, et H3,4 =< b2 , G0 >=<
0
a2 , b2 >, il suit que H3,4
= {1}.


Les rsultats du lemme et du corollaire nous permettent d'noncer le lemme suivant :

Lemme 5.3 Soit G un groupe mtacyclique non ablien, alors on a :

1) Pour i = 1, 2
 2 0
a Hi,2 , si x = a ;
0
VGHi,2 (xG ) =
0
Hi,2
,
si x = b2 .

CHAPITRE 5.

2)

49

APPLICATION

0
H3,2 ,

n3

,
a2 H3,2
n4
0
VGH3,2 (xG0 ) =
,
a2 H3,2

n3

2
0

a
H3,2 ,

0
H3,2 ,

si x = a et G = G1 , G3 ;
si x = a et G = G2 ;
si x = a et G = G4 ;
si x = b2 et G = G3 ;
si x = b2 et G = G1 , G2 , G4 .

3) Pour i = 1, 2, 3
n3

a2 ,

,
Hi,4

Hi,4 ,
n1
0
,
a2 Hi,4
VGHi,4

H
,
i,4

n3
0

,
a2 H3,4

n3
a2 (1+2n5 ) H 0 ,
3,4

si x = a et G = G4 ;
si x = a et G = G1 , G2 , G3 ;
si x = b et G 6= G3 et i 6= 3 ;
si x = b et G = G3 et i 6= 3 ;
si x = b et G = G1 , G2 ;
si x = b et G = G3 ;
si x = b et G = G4 .

Preuve : On a G/Hi,2 =< a >, donc on peut prendre {1, a} comme transversale de
Hi,2 dans G, et on a : a.1 = a et a.a = a2 Hi,2 , et par suite
0
VGHi,2 (a.G0 ) = a2 .Hi,2

de plus, puisque H3,2 =< a, b2 >, alors G/H3,2 =< b >, c--d qu'on peut prendre
{1, b} comme transversale, et en appliquant le corollaire 1.3, on a :
0
0
VGH3,2 (a.G0 ) = a(b1 ab).H3,2
= z2 .H3,2

donc on le rsultat selon que G = G1 , G2 ou G3 . Et puisque b2 H3,2 , alors par le

corollaire 1.3 on a :
0
0
VGH3,2 (b2 .G0 ) = b4 .H3,2
= z1 .H3,2

de mme on refait le calcul pour le troisime rsultat..



Et par suite on a le thorme suivant qui donne le rsultat de capitulation dans le 2-corps
Ki,j .

Thorme 5.5 Gardons les notations prcdentes, alors on a :

1) Pour i = 1, 2 on a :

Ker jkKi,2 = {1, o2 }

CHAPITRE 5.

50

APPLICATION

2)
Ker jkK3,2

{1, , o2 , o2 }, si G = G1 ;
{1, o2 },
si G = G2 , G4 ;
=

{1, },
si G = G3 .

3) Pour i = 1, 2 on a :
Ker jkKi,4

si G = G1 , G2 ;
Ck,2 ,
{1, , o2 , o2 }, si G = G3 ;
=

{1, o, o2 , o3 }, si G = G4 .

4)


Ker jkK3,4 =

Preuve

fait que

Ck,2 ,
si G = G1 , G2 ;
2
2
{1, , o , o }, si G = G3 , G4 .

: La dmonstration du thorme dcoule directement du lemme prcdent, et le

(

(2)
k2 /k

) = a.G0 , (

o
(2)
k2 /k

) = b.G0


Dans [1], A.Azizi et M.Taous ont trait en plus deux autres cas ; le cas o G est non
mtacyclique, et le cas o G est ablien (voir[1]).

Bibliographie
A.AZIZI et M.TAOUS, Capitulation des 2-Classes d'Idaux de Type (2, 4),
arXiv :1401.7955v1.
[2] B. Huppert,, Endliche Gruppen I, Springer-Verlag Berlin. Heidelberg 1967 .
[3] D.Gorenstein, "Finite Groups", Harper and Row New York, 1968.
[4] Gerald J.Janusz, Algebraic number elds,1973.
[5] Hiroshi Suzuki, A Generalization of Hilbert's Theorem 94 Nagoya Math. J. Vol.
121 (1991), 161-169.
[6] H.Kisilevsky , Some results related to Hilbert's theorem 94,J.Number Theory 2
(1970),199-206.
[7] H.Kisilevsky , Number Fields with Class Number Conguent to 4 M od 8 and Hilbert's Theorem 94 Journal of Number Theory 8, 271-279(1976).
[8] K.Miyake, Algebric investigation's of Hilbert's Theorem 94, the principal ideal theorem and the capitulation problem, Expo. Math. 7, Volume 170, p.289-346.
[9] K.Miyake, Suzuki's generalization of Hilbert's TH.94, NAGOYA 461-01, Japan .
[10] K.Miyake , The application of the principal ideal theorem to p-groups Nagoya
Math. Vol. 99 (1985), 73-88.
[11] K.W.Gruenberg et A.Weiss, Capitulation ans transfer Kernel, Journal de thorie des nombres Bordeaux,tome 12,p.219-226.
[12] K.W.Gruenberg et A.Weiss, Transfer Kernel For Finite Groups, Journal of
Algebra 300 (2005) 35-43.
[13] Pierre Samuel , Thorie Algebrique des nombres, HERMANN 1997.

[1]

51