UNIVERSITE MOHAMED PREMIER FACULTE DES SCIENCES DEPRTEMENT DE MATHEMATIQUE ET INFORMATIQUE

OUJDA

MASTER TNAC S2

Note de cours dtaill :

Groupe de Dcomposition

Prpar par les tudiants : Bouchlaghem Soufiane. Professeur : Mhammed Ziane.

Anne universitaire : 2012/2013

CHAPITRE

Groupe de dcomposition

1.1

Groupe de dcomposition

Soit A un anneau de Dedekind, K son corps de fraction, et L un extention galoisienne de K de degr n, et A la fermture intgrale de L dans A, on sait que A est de Dedekind, et posons G = Gal(L/K ).

Soit x A et xr + ar1 xr + . . . + a0 = 0 une quation de dpendance intgrale, G on a (xr ) + ar1 (xr ) + . . . + a0 = 0 donc (A ) A en particulier 1 (A ) A d'o on a (A ) = A , G. Soit G, soit p un premier de A, donc
i pA = g i=1 pi

g g i i (pA ) = (p) (A ) = pA = g i = i=1 pi = i=1 (p ) = i=1 pi g , i { 1, 2, . . . , g } ; et pA = (i=1 pi )

o les pi sont des premiers de A . Comme est K -isomorphisme alors

Lemme 1.1

Soit A un anneau, p1 , p2 , . . . , ps des premiers, et b un ideal tel que b alors a b \ pi , i

Preuve :

pi , i

Supprimons le pi de tel sort qu'on aura pi pj , i = j , soit alors xij pj \ pi ,on ab pi ai b \ pi ; posons bi = ai i=j xij , on donc bi b pj i = j et bi non dans pi , car pi est premier,et si il contient le produit alors il contient l'un ; et b = B1 + . . . + bs repond au problme demand. Avec les mme notation,on consdre l'action de groupe dnie comme suit :
: G {p1 , . . . , pg } {p1 , . . . , pg } (, pi ) (pi )

Montrons que est transitive, c--d que i, j {1, . . . , g }, G tel que (pi ) = pj . par absurde, supposons que i, j {1, . . . , g } tel que G, pj (pi ). Donc le lemme nous donne un x pj \ (pi ), G, on a N (x) =
g i=1 (x) pj A N (x) pj A = p, d'autre part x / 1 (pi ) (x) / pi , G g N (x) / pi or N (x) p pA = (k=1 pk ) pi , contradiction avec x / (pi ) pour = Id. Et par suite est transitive Rapelons que le xateur de pi : F ix(pi ) = { G, (pi ) = pi }, et l'orbite de pi : O(pi ) = { (pi ), G} et comme ici l'action est transitif alors l'orbite coincidence avec {p1 , . . . , pg } Le xateur est un sous groupe de G, on le note ici D et on l'appelle le groupe de decomposition de pi
Proposition 1.1

|D| = n/g.
Preuve :

On a F ix(pi )

G/O(pi ) |D| = |G|/|O(pi )| = n/g.

Pour D posons
: A /pi A /pi
2

x (x) = (x)

alors est A/p-automorphisme de A /pi en eet (x + y ) = (x + y ) = (x + y ) = (x) + (y ) = (x) + (y ), donc est linaire. Si (x) = (y ) alors (x) (y ) pi (x y ) pi x y pi (car , 1 D), x y = 0, d'ou le rsultats, et l'injection de . La surjection se dduit de faite que est un isomorphisme Maintenant si x A/p, x = x + pi , (x) = (x) + pi = x + pi = x, car est K -isomorphisme,et par suite est A/p-automorphisme de A /pi . Considrons :
: D AutomorphismeA/p (A /pi )

( ) = Ker() = { D; = IdA /pi } = { D; (x) = 0} = { D; (x) x pi } on le note I , et on l'appelle le groupe

d'inertie

Proposition 1.2

Si A/p est ni ou de caractristique 0 alors : A /pi A /pi A/p est galoisienne de degr f, et Gal ( A/p ) = {, D } est surjectif Card(I )=e.

Preuve :

Soit LD le corps intermidiere laiss invariant par D, et soit A sa clotre intgrale dans A, notons par pD = pi A, et on sait que Gal(L/LD ) = D (rsultats de cours de Galois).
3

 Si on pose pD A = (s k =1 qi ) o les qi sont des premiers de A , comme pi A = pD , alors j tel que qj = pi , or D = Gal(L/LD ), (pi ) = pi s, qs = pi .

pD A = pe i

posons f = [A /pi , A/pD ] alors e f = Card(D) = ef comme on a A/p A/pD A /pi f f et pA pD A pi e e e = e , f = f et par suite A/p A/pD Puisque A/p est ni ou de caracteristique 0, alors le thorme de l'lment primitif s'applique ; soit x un lment primitif, donc on aA /pi =
A/p(x) x A , soit P (x) = xr + ar1 xr1 + . . . + a0 = 0 une equation de dependance integrale de x, on peut supposer que P (X ) LD [X ] P (X ) A[X ], (car si R est de Dedekind, et K son corps de fraction, L une extention ni, si x L entier sur R,alors les coecients du polynome irrductible de x sont entiers sur R ; en particulier, si R est integralement clos, alors Irr(x, K ) A[x], car A K = A). Et P (X ) = X r + ar1 X r1 + . . . + a0 A/pD = A/p, ses racines sont /pi (x) A /pi Irr(x, LD ) est scind dans A /pi A A/p est normale donc
/pi galoisienne, et tout les conjugu de x sont (x), Gal( A A/p ) = {, D }

et de mme
: D Gal(

A /pi ) A/p

( ) =

est surjectif : Par application du premier thoreme d'Isomorphisme on a : |G|/|I | = f

|I | = e.
Corollaire 1.1

Un premier n'est pas rami ssi son groupe d'inertie est trivial. D(p) = Dp 1 I(p) = Ip 1

1.2

L'aotomorphisme de Frobenius

Soit p un maximal de A qui ne se ramie pas donc I = {Id},et soit pi un facteur premier de pA , et D le groupe de dcomposition de pi , alors on a /pi D Gal( A A/p ) et comme dans les corps des nombres, les corps resudiel sont /pi A /pi nis,et A A/p est galoisienne, alors elle est cyclique et Gal ( A/p ) =< > tel que (x) = xq avec q = Card(A/p) et par suite D =< , (x) xq mod(pi ) >, ce generateur s'appelle L'automorphisme de Frobenius de pi =not (pi , L/K )
Corollaire 1.2

( (pi ), L/K ) = (pi , L/K ) 1 en particulier si L/K est abelien, alors (pi , L/K ) ne depend pas de pi , en ce cas on le note ( L/K p ) Si L est une extention intermediare de L/K , et f = [O(L )/pi L , A/p]

alors

(pi , L/L ) = (pi , L/K )f si de plus L /K est galoisienne alors (pi , L/K )|L = (pi

L , L /K )