Soit (Gi)i∈Iun syst`eme projectif de groupes : pour tous i, j, k ∈Iavec i≤j≤k, on a
des morphismes de groupes ϕi,j :Gj→Gi, tels que ϕi,i =Id,ϕi,j ◦ϕj,k =ϕi,k. La limite
projective de (Gi)i∈Iest le groupe G
G={(gi)∈ΠGi,∀i≤j, gi=ϕi,j(gj)}
Il peut ˆetre d´efini par la propri´et´e universelle suivante : si Ygroupe avec morphismes
compatibles dans les Gi, alors il existe un morphisme de Y→Gqui induit tout.
On note Gal(k/k) la limite projective des Gal(E/k) avec E/k extension galoisienne finie.
Proposition 2.4.3 Soit Ω/k une extension galoisienne (i.e. normale et s´eparable) de
groupe G= Gal(Ω/k). Soit Sun sous ensemble fini de Ωet
G(S) = {σ∈G, σ(s) = s, ∀s∈S}
Il existe une unique structure de groupe topologique sur Gpour laquelle les ensembles G(S)
forment une base de voisinage de 1. Cette topologie est dite topologie de Krull.
Si Gest fini, la topologie de Krull est la topologie discr`ete.
Proposition 2.4.4 Soit Ω/k une extension galoisienne de groupe G.
i. Pour tout k⊂M⊂Ω,Ω/M est galoisienne et Gal(Ω/M)est un ferm´e de Gavec
ΩGal(Ω/M )=M.
ii. Pour tout sous-groupe Hde G, l’adh´erence H= Gal(Ω/ΩH).
2.5 Ensembles alg´ebriques affines, topologie de Zariski
Dans ce chapitre, kd´esigne un corps parfait et kune clˆoture alg´ebrique de k.
D´efinition 2.11 Un n-espace affine (sur k) est l’ensemble des n-uplets
An=An(k) = {P= (x1, . . . , xn), xi∈k}.
L’ensemble des points k-rationnels de Anest l’ensemble
An(k) = {P= (x1, . . . , xn), xi∈k}.
5