Algèbre Commutative Et Introduction À La Géometrie Algébrique

ALGBRE COMMUTATIVE
ET INTRODUCTION
LA GOMTRIE
ALGBRIQUE
Antoine Chambert-Loir
Antoine Chambert-Loir
Laboratoire de mathmatiques, Universit Paris-Sud,
Bt. 425, Facult des sciences dOrsay, F-91405 Orsay Cedex.
E-mail : antoine.chambert-loir@u-psud.fr
Version du 9 septembre 2013

La version la plus jour possible de ce texte est en principe accessible sur
le Web ladresse http://www.math.u-psud.fr/~chambert/enseignement/
2013-14/aceiga/aceiga.pdf
19982013, Antoine Chambert-Loir
TABLE DES MATIRES
Au lecteur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v
1. Prliminaires dalgbre commutative . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1. Anneaux, idaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Localisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3. Chanes, anneaux noethriens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4. Anneaux artiniens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5. lments entiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6. Produit tensoriel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.7. Limites inductives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2. Prliminaires de topologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.1. Faisceaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2. Espaces annels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3. Espaces annels models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.4. Composantes irrductibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3. Varits algbriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.1. Ensembles algbriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.2. Le thorme des zros de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.3. Topologie de Zariski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.4. Varits algbriques affines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.5. Varits algbriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.6. Anneau local, corps des fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
iv TABLE DES MATIRES
4. Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.1. Espaces projectifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.2. Produits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.3. Grassmanniennes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.4. Quotients . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
5. Thorie locale des varits algbriques . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.1. Le lemme de normalisation de Noether . . . . . . . . . . . . . . . . . . . . . . 75
5.2. Dimension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
5.3. Codimension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.4. Systmes de paramtres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.5. Espace tangent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
pilogue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
AU LECTEUR
Avant que tu nentames la lecture de ces pages,

Lauteur un peu coupable de leur aridit
Voudrait par ce sonnet te donner du courage
Afin que par ltude tu ne sois rebut.
Lalgbre commutative est certes un peu austre

Mais en en dnouant les belles subtilits,
Tu entendras souvent le nom dEmmy Noether
Dont les anneaux jouissent de grandes proprits.
la gomtrie, elle offre des mthodes

Dont je ne puis, hlas, dans cette petite ode
Louer comme il se doit la force ingale.
Et jespre dans ce cours par trop acclr

Te guider srement parmi ces quations
Qui par lalgbre trouvent une dmonstration.
CHAPITRE 1
PRLIMINAIRES DALGBRE
COMMUTATIVE
1.1. Anneaux, idaux

Nous supposons connues les notions de groupe, danneau, de corps, de
module, ainsi que celles dhomomorphismes de groupes, danneaux, de corps,
de modules, etc.
Dans ce cours, un anneau est toujours commutatif et possde un lment
unit, not en gnral 1. On notera A ou A le groupe multiplicatif des
lments inversibles de A.
Si k est un anneau, une k-algbre est un anneau A muni dun homomor-
phisme danneaux f k A. Lorsque cet homomorphisme est injectif,
on considre souvent A comme un sur-anneau de k (ou k comme un sous-
anneau de A...). Si (A, f k A) et (B, g k B) sont deux k-algbres, un
homomorphisme de k-algbres est un morphisme danneaux A B tel
que g = f .
Si (X i )iI est une famille dindtermines, on dfinit une k-algbre k[X i ]
des polynmes en les X i . Cette algbre vrifie la proprit universelle suivante :
pour toute k-algbre A, lapplication canonique
Homk-Alg (k[X i ], A) HomEns (I, A), f (i f (X i ))
est une bijection.
On ne dtaille pas la notion de degr en une des indtermines, voire de
degr tout court si I est un singleton. On a une division euclidienne dans
les anneaux de polynmes : soient f et g A[X], le coefficient dominant
de g tant inversible dans A. Il existe alors q et r A[X] uniques tels que
f = gq + r et deg r < deg g.
2 CHAPITRE 1. PRLIMINAIRES DALGBRE COMMUTATIVE
Un idal dun anneau A est un sous-A-module de A. Lintersection de

deux idaux de A est un idal de A. Limage rciproque dun idal par
un homomorphisme danneaux est un idal ; en particulier, le noyau dun
homomorphisme danneaux est un idal. Lidal engendr par une partie de
A est par dfinition le plus petit idal de A contenant cette partie. Si I et J
sont deux idaux de A, les idaux I + J et I J (not aussi IJ) sont les idaux
engendrs par les sommes a + b (resp. les produits ab) pour a I et b J.
Si I est un idal de A, la relation x y si et seulement si x y I est une
relation dquivalence. Lensemble quotient A/, not A/I, possde alors
une unique structure danneau telle que la surjection canonique A
A/I soit un homomorphisme danneaux. Lanneau quotient A/I vrifie la
proprit universelle suivante : pour tout anneau B et tout homomorphisme
f A B tel que f (I) = (0), il existe un unique homomorphisme danneaux
A/I B tel que f = .
Lapplication qui un idal J de A/I associe 1 (J) A est une bijection
entre lensemble des idaux de A/I et les idaux de A qui contiennent I.
On dit quun lment a A est un diviseur de zro sil existe b A, b 0 tel
que ab = 0. On dit que A est intgre sil est non nul et sil nadmet pas dautre
diviseur de zro que 0. On dit quun idal I de A est premier si lanneau
quotient A/I est intgre. Cela revient la proposition suivante : I A et si
f g I, alors f I ou g I. On dit quun idal I est maximal si A/I est un
corps ; cela quivaut dire que I est un lment maximal pour linclusion
parmi les idaux de A distincts de A. On dduit du lemme de Zorn que tout
idal est contenu dans un idal maximal ; en particulier, il existe des idaux
maximaux, et a fortiori des idaux premiers. Un anneau qui ne contient
quun seul idal maximal est dit local. On dmontre quun anneau A est
local si et seulement si lensemble de ses lments non inversibles est un
idal (exercice !).
Lemme (1.1.1) (Lemme dvitement). Soient I, J et p des idaux de A. Si p

est premier et si IJ p, alors I p ou J p.
CHAPITRE 1. PRLIMINAIRES DALGBRE COMMUTATIVE 3
Dmonstration. Si I / p, il existe x I tel que x / p. De mme, si J / p,

soit y I nappartenant pas p. Alors, x y IJ mais, p tant premier, x y
nappartient pas p. Autrement dit, IJ / p.
Lemme (1.1.2) (Un autre lemme dvitement). Soient p1 , . . . , pn et I des

idaux de A tels que I i pi . Si A contient un corps infini, ou si au plus deux
des pi ne sont pas premiers, il existe i tel que I pi .
Preuve (cf. Eisenbud (1995), p. 91). Aucun espace vectoriel sur un corps
infini nest runion finie de sous-espaces vectoriels stricts. Si A contient un
corps infini k, ce fait appliqu aux k-espaces vectoriels pi I implique que
lun des pi I = I.
Lautre cas se montre par rcurrence sur n, le rsultat tant clair pour
n = 1. Supposons que I nest contenu dans aucun des pi . Par rcurrence,
pour tout i, I / ji p j , si bien quil existe x i I tel que x i / p j pour i j. En
particulier, x i pi .
Si n = 2, x1 + x2 appartient I, mais il est facile de voir quil nappartient
ni p1 ni p2 , do une contradiction. Si n > 2, on peut supposer que p1
est premier. Alors, a = x1 + x2 . . . x n appartient I. Cependant, pour i 1,
x2 . . . x n pi donc a / pi . De mme, comme p1 est premier et que pour
i 2, x i / p1 , leur produit x2 . . . x n / p1 . Par suite, a / p1 . On a encore une
contradiction.
On note Spec A le spectre premier, ou spectre de A : cest lensemble des

idaux premiers de A. Soit f A B est un homomorphisme danneaux.
Pour tout idal premier q de B, f 1 (q) est un idal premier de A, do
une application Spec B Spec A. Le spectre maximal de A, not Spm A est
lensemble des idaux maximaux de A. On prendra garde quun homomor-
phisme danneaux f A B ninduit pas dapplication Spm B Spm A
car limage rciproque dun idal maximal nest pas forcment un idal
maximal. (Exercice : trouver un contre-exemple.)
1.2. Localisation
On dit quun lment a A est nilpotent sil existe n 1 tel que a n = 0.
Lensemble des lments nilpotents de A est un idal de A appel nilradical.
Si cet idal est gal (0), on dit que A est rduit. Plusgnralement, si I est
un idal de A, on appelle racine de I lensemble not I des lments a A
tels quil existe n 1 de sorte que a n I. Cest un idal de I qui contient I.
Un idal gal sa racine est dit radiciel.
Une partie multiplicative de A est une partie S A contenant 1 et telle
que si a, b S, alors ab S. Lanneau de fractions S 1 A est le quotient de
lensemble A S par la relation dquivalence (a, s) (a , s ) si et seulement
sil existe t S tel que t(a s as ) = 0. Notant a/s la classe du couple (a, s),
S 1 A est muni des lois
(a/s) + (a /s ) = (as + a s)/ss , (a/s) (a /s ) = aa /ss
qui en font un anneau. Lapplication i A S 1 A donne par a a/1 est un
homomorphisme danneaux. Il vrifie la proprit universelle suivante : pour
tout homomorphisme danneaux f A B tel que (S) B , il existe un
unique homomorphisme danneaux g S 1 A B tel que f = g i. Lanneau
S 1 A est nul si et seulement si 0 S. Lanneau S 1 A est appel anneau localis
de A en la partie multiplicative S.
Donnons des exemples de parties multiplicatives :
si f A nest pas nilpotent, la partie S = {1, f , f 2 , . . .} est multiplicative
et ne contient pas 0 ; on note A f lanneau S 1 A.
si p est un idal premier de A, S = A p est une partie multiplicative ;
on note Ap = S 1 A ;
si I est un idal de A, S = 1 + I = {a A ; a 1 I} est une partie
multiplicative.
Si A est intgre, S = A {0} est une partie multiplicative. Lanneau S 1 A
est alors un corps, appel corps des fractions de A.
Limage rciproque dune partie multiplicative par un homomorphisme
danneaux est une partie multiplicative.
Si I est un idal de A, on note S 1 I lidal i(I)(S 1 A) engendr par limage
de I dans S 1 A. Cest un idal de S 1 A, gal A si et seulement si S I .
Emmy Noether (18821935)

Fille dun mathmaticien rput, les travaux dEmmy
Noether en algbre furent fondamentaux : introduction
des anneaux noethriens, thorme de dcomposition
primaire, tude des extensions entires et le lemme de
normalisation, etc.
De plus, tout idal de S 1 A est de cette forme. Enfin, lapplication p

S 1 p dfinit une bijection de lensemble des idaux premiers de A qui ne
rencontrent pas S vers lensemble des idaux premiers de S 1 A. En particulier,
lanneau Ap est local, didal maximal pAp ; on lappelle localis de A en p.
On dduit aussi de ce qui prcde que pour tout idal I disjoint de S, il
existe un idal premier contenant I disjoint de S (considrer un idal maximal
de S 1 A contenant S 1 I).
Lemme (1.2.1). La racine dun idal est lintersection des idaux premiers
qui le contiennent. En particulier, le nilradical dun anneau est lintersection
de ses idaux premiers.
Dmonstration. Si f A nest pas nilpotent, il faut prouver quil existe

un idal premier de A qui ne contient par f . Lanneau A f ntant pas nul (si
1/ f = 0, il existe n tel que f n = 0 alors que f est suppos ntre pas nilpotent),
il contient un idal premier qui est de la forme pA f pour un idal premier p
de A qui ne contient pas f .
1.3. Chanes, anneaux noethriens

De manire gnrale, une chane dans un ensemble ordonn est une famille
finie strictement croissante x0 < x1 < < x n . Sa longueur est n.
On dit quun anneau est noethrien si toute suite croissante didaux de
A est stationnaire. Cela quivaut dire que tout idal de A est engendr
par un nombre fini dlments. Tout quotient dun anneau noethrien est
noethrien. Enfin, on a le thorme de Hilbert : si A est noethrien, A[X] est
noethrien. En particulier, pour tout corps k, k[X1 , . . . , X n ] est noethrien.
Je renvoie par exemple Matsumura (1986), 6 pour lnonc gnral

du thorme de dcomposition primaire. Jen extrais le rsultat suivant qui
prcise quelque peu le lemme prcdent.
Proposition (1.3.1). Soit A un anneau noethrien. Tout idal premier de A
contient un idal premier minimal et lensemble des idaux premiers minimaux
de A est fini.
Si A est rduit, lintersection des idaux premiers minimaux de A est nulle et
leur runion est lensemble des diviseurs de zro dans A.
Dmonstration. Nous dmontrons dabord que tout idal de A contient
un produit fini didaux premiers. Soit C lensemble des idaux de A qui
ne contiennent pas un produit fini didaux premiers et dmontrons par
labsurde que C est vide. Comme A est noethrien, on pourrait sinon trouver
un lment maximal I dans C. Lidal (1) nappartient pas C (car cet idal
contient le produit vide), donc I (1). Lidal I nest pas premier, sinon il
contiendrait le produit un facteur gal I. Il existe donc des lments a
et b de A tels que ab I mais a / I et b / I. Alors, I I + (a) et I I + (b),
ce qui entrane que I + (a) et I + (b) contiennent tous deux un produit fini
didaux premiers, disons p1 . . . pn I + (a) et q1 . . . qm I + (b). Alors,
p1 . . . pn q1 . . . qm (I + (a))(I + (b)) I,
ce qui contredit la dfinition de I.
Soit maintenant p1 , . . . , pn des idaux premiers de A tels que p1 . . . pn
(0). Soit M lensemble des idaux premiers minimaux parmi lensemble
{p1 , . . . , pn }. Puisque remplacer un idal pi dans ce produit par un idal
premier quil contient ne fait que diminuer le produit, on peut supposer que
lon a M = {p1 , . . . , pn }.
Soit alors p un idal premier de A ; comme (0) p, on a p1 . . . pn p.
Daprs le lemme dvitement 1.1.1, lidal p contient lun des pi . il est donc
constitu didaux premiers minimaux et tout idal premier de A contient un
idal premier minimal appartenant M. Lensemble M est donc exactement
lensemble des idaux premiers minimaux de A.
Il reste prouver que si A est rduit, un lment a A est un diviseur de
zro si et seulement sil appartient lun des idaux de M. Observons que
lon a
(0) = (0) = p = p.
pSpec(A) pM
Soit p M et soit I lintersection

I = q.
qM
qp
Puisque q / p pour tout q p, le lemme dvitement 1.1.1 (ou la dfinition

dun idal premier) garantit que I contient un lment b nappartenant pas
p ; en particulier, b 0. En revanche, pour tout a p, ab p I = (0),
donc ab = 0, donc a est diviseur de zro. Inversement, soit a A un diviseur
de zro et soit x A {0} tel que ax = 0. Comme x 0, il existe p M tel
que x / p. Lgalit ax = 0 implique que a p.
Corollaire (1.3.2). Un anneau noethrien est intgre si et seulement sil est

rduit et na quun seul idal premier minimal.
Dmonstration. Si A est intgre, (0) est lunique idal premier minimal

seul idal premier minimal p, on a en
de A. Rciproquement, si A na quun
vertu du lemme 1.2.1 lgalit p = (0). Comme A est rduit, p = (0) et A
est intgre.
Soit A un anneau intgre. On dit quun lment a A non inversible est
irrductible si lgalit a = bc implique que b ou c est inversible. Un lment
a A est dit premier si lidal (a) est premier ; cela implique que a est
irrductible mais la rciproque est fausse.
On dit que A est factoriel sil vrifie les deux proprits suivantes :
a) toute suite croissante didaux principaux de A est stationnaire ;
b) tout lment irrductible de A engendre un idal premier.
Ces deux noncs quivalent ce que tout lment de A qui nest ni nul ni
inversible peut scrire comme produit dlments premiers de A (unique
dcomposition en facteurs irrductibles). La premire hypothse est vraie si
A est noethrien. La seconde est parfois nonce sous forme du lemme de
Gau : si lanneau A est factoriel, alors pour tout lment irrductible a A,
abc implique ab ou ac. Lorsque A est noethrien, la vracit du lemme de
Carl Friedrich Gau (17771855)

Peut-tre lun des scientifiques les plus universels, son
uvre a eu une influence majeure sur un grand nombre
de domaine des mathmatiques (thorie des nombres,
analyse, gomtrie diffrentielle) et de la physique (ma-
gntisme, astronomie, optique).
Gau entrane donc que A est un anneau factoriel. Enfin, si A est factoriel,
A[X] est factoriel (rsultat que Gau avait dmontr lorsque A = Z). En
particulier, pour tout corps k, lanneau k[X1 , . . . , X n ] est factoriel.
On dit quun A-module M est de type fini sil est engendr comme A-
module par un nombre fini dlments. Cela quivaut dire quil existe n 1
et un homomorphisme surjectif de A-modules f An M. On dit quun
A-module M est noethrien si toute suite croissante de sous-A-modules
de M est stationnaire. Cela quivaut dire que tout sous-A-module de M
est de type fini. Quotients et sous-modules dun module noethrien sont
noethriens, de mme que les produits finis de modules noethriens. Si A est
noethrien, un A-module est noethrien si et seulement sil est de type fini.
Thorme (1.3.3) (Lemme de Nakayama). Soient A un anneau, a un idal

de A et M un A-module de type fini tel que M = aM. Alors, il existe a 1 + a
tel que aM = 0.
En particulier, si A est local et a son idal maximal, on a M = 0.
Dmonstration. Soient m1 , . . . , m n des gnrateurs de M. Comme M =

aM, il existe des lments a i j a tels que pour tout i {1, . . . , n},
n
mi = ai jm j.
j=1
Soient A la matrice des a i j et In la matrice identit n n ; faisons oprer ces

matrices sur M n . Ainsi, In A annule le vecteur colonne (m1 , . . . , m n ). La
matrice B transpose de la matrice des cofacteurs de In A vrifie B(In A) =
det(In A)In . Ainsi, det(In A)In annule le vecteur colonne (m1 , . . . , m n ),
ce qui signifie que det(In A) annule tous les m i et donc M. Posons a =
det(In A) ; en dveloppant le dterminant, on voit que a 1 + a, ainsi quil
fallait dmontrer.
Si A est local didal maximal m, on a a A , ce qui implique M = 0.
Exercice (1.3.4). Donner une autre dmonstration du lemme de Na-

kayama selon la mthode suivante. Le prouver dabord pour un anneau
local en raisonnant par rcurrence sur le nombre minimal de gnrateurs de
M. En introduisant la partie multiplicative 1 + a, dduire par un argument
de localisation le cas gnral du cas local.
1.4. Anneaux artiniens

On dit quun anneau A est artinien si toute suite dcroissante didaux
de A est stationnaire. Un module artinien est un module tel que toute suite
dcroissante de sous-modules est stationnaire. Produits finis, quotients et
sous-modules de modules artiniens sont artiniens.
Un A-module non nul M est dit simple sil nadmet que (0) et M comme
sous-A-module ; il existe alors un idal maximal m de A tel que M A/m.
La longueur dun A-module M est la borne suprieure des longueurs de
chanes de sous-A-modules de M. On la note A(M) ou (M).
Proposition (1.4.1). Soient M un A-module et soit N un sous-A-module de

M. Si deux des modules M, N et M/N sont de longueur finie, le troisime lest
aussi et on a lgalit
(M) = (N) + (M/N).
Dmonstration. Si N0 N1 N a et M0 /N Mb /N sont des

chanes de sous-modules de N et M/N respectivement,
N0 N1 N a M0 M1 M b
est une chane de sous-modules de M de longueur a + b, do lingalit

(M) (N) + (M/N).
En particulier, si M est de longueur finie, N et M/N aussi. Rciproquement,
on suppose que N et M/N sont de longueur finie et on veut prouver que M
est de longueur finie gale (N) + (M/N). Soit donc M0 M1 M a
une chane de sous-A-modules de M. On remarque que si M M sont
deux sous-A-modules de M tels que M N = M N et M + N = M + N,
alors M = M . Par suite, pour tout i, au moins une des deux inclusions
M i N M i+1 N et M i + N M i+1 + N
est stricte, ce qui implique que (N) + (M/N) a. Autrement dit, (N) +
(M/N) (M) et la proposition est dmontre.
Un A-module est de longueur finie est artinien ; rciproquement, un A-
module noethrien et artinien est de longueur finie. Enfin, si M est un
A-module de longueur finie, toute chane maximale de sous-modules est de
longueur (M).
Lemme (1.4.2). a) Un anneau artinien intgre est un corps.

b) Un anneau artinien na quun nombre fini didaux premiers, tous maxi-
maux.
Dmonstration. Soit A un anneau artinien.

a) Supposons A intgre. Si x A {0}, la suite didaux (x) (x 2 ) . . .
est stationnaire. Il existe ainsi n tel que (x n ) = (x n+1 ), do un lment a A
tel que ax n+1 = x n . Puisque A est intgre et x 0, on peut simplifier par x n
et ax = 1 ; x est donc inversible.
b) Supposons par labsurde que A possde une infinit didaux maximaux
distincts m1 , m2 ,. . . La suite dcroissante didaux
m1 m1 m2 m1 m2 m3 . . .
est alors stationnaire, do une galit m1 . . . mn1 = m1 . . . mn qui implique
videmment linclusion m1 . . . mn1 mn . Daprs le lemme dvitement 1.1.1,
lun des mi pour i < n est contenu dans mn , ce qui contredit le fait que mi
est maximal. Ainsi, A na quun nombre fini didaux maximaux.
Enfin, si p est un idal premier de A, A/p est un anneau artinien intgre,

donc un corps daprs le 1). Ainsi, p est maximal.
Thorme (1.4.3) (Akizuki). Soit A un anneau. Les conditions suivantes

sont quivalentes :
a) A est artinien ;
b) A est de longueur finie comme A-module ;
c) A est noethrien et tout idal premier de A est maximal.
Dmonstration. La condition b) implique que toute suite monotone

didaux de A est stationnaire, do a) et la premire partie de c).
Dautre part, supposant b), si p est un idal premier de A, A/p est un
anneau artinien intgre, donc un corps daprs le point b) du lemme. Par
suite p est maximal.
Supposons c). Comme A est noethrien, il existe une suite de composition
0 I n I n1 I1 I0 = A
o I k /I k+1 = A/pk pour un certain idal premier pk . La condition c) implique
que pk est un idal maximal. Par suite, A est de longueur finie comme A-
module, do b).
Il reste montrer quun anneau artinien est de longueur finie comme
A-module. Soient m1 , . . . , mn les idaux maximaux de A, en nombre fini
daprs le lemme prcdent. Introduisons lidal
I = m1 . . . mn = m1 mn .
La suite I I 2 . . . tant stationnaire, il existe un entier s tel que I s = I s+1 .
On va montrer que I s = 0.
Soit donc J = (0 I s ) lensemble des a A tels que aI s = 0. Si J A, comme
A est artinien, il existe un plus petit idal J A contenant strictement J. Soit
a J un lmnt non nul. On a aI + J aA + J. Sinon, posant M = (A/J)a,
on aurait IM = M et daprs le lemme de Nakayama, il existerait x 1 + I
tel que xM = 0. Un tel x est inversible, do M = 0, contrairement au fait
que a 0. Linclusion J aI + J J montre alors que J = aI + J, soit aI J.
Pour tout b I, on a ab J, cest--dire abI s = 0 et donc aI s+1 = 0. Comme
Emil Artin (18981962)

Les travaux dE. Artin portrent sur lalgbre (groupe
de tresses, algbres semi-simples, groupes finis...) et la
thorie des nombres (thorie algbrique et analytique
des corps quadratiques, thorie du corps de classes...).
I s = I s+1 , aI s = 0 et a J. Ainsi, J = J, ce qui est absurde ; nous avons donc

prouv que J = A, cest--dire I s = 0.
Dans la suite dcroissante didaux
A m1 m1 . . . mn = I Im1 Im1 m2 I 2 I 2 m1 I s = 0
chaque quotient successif est un A-module artinien de la forme M/mM.

Cest ainsi un espace vectoriel sur le corps A/m, ncessairement de dimen-
sion finie. Par suite, la longueur de chaque quotient successif est finie et A
est de longueur finie comme A-module.
1.5. lments entiers

Soit f A B un homomorphisme danneaux. Un lment x B est
entier sur A si et seulement sil existe n 1 et des lments a1 , . . . , a n A
tels que
x n + f (a1 )x n1 + + f (a n1 )x + f (a n ) = 0.
Une telle quation sappelle relation de dpendance intgrale.
Proposition (1.5.1). Un lment x B est entier sur A si et seulement sil

existe un sous-anneau R de B contenant A[x] et qui est de type fini comme
A-module.
Dmonstration. Si x admet une relation de dpendance intgrale comme

ci-dessus, on voit que lalgbre A[x] engendre par x dans B est engendre
comme A-module par 1, x, . . . , x n1 . Il suffit donc de poser R = A[x].
Rciproquement, soit R une sous-A-algbre contenue dans B et de type
fini comme A-module. Soient m1 , . . . , m n des gnrateurs de R comme A-
module. Puisque xR R, il existe des lments a i j A tels que xm i =
j a i j m j . Faisons oprer les matrices n n sur R n ; soit P la matrice (a i j ) et
soit In la matrice identit. La matrice xIn P annule le vecteur (m1 , . . . , m n ).
Soit Q la matrice transpose de sa matrice des cofacteurs ; on a Q(xIn
P) = det(xIn P)In . Par suite, det(xIn P)In annule (m1 , . . . , m n ), ce qui
signifie que det(xIn P) annule chacun des m i , donc R. Comme 1 R,
det(xIn P) = 0. En dveloppant ce dterminant, on trouve une relation de
dpendance intgrale pour x.
On dit que f est entier, ou bien que B est entier sur A, ou encore que B est
une algbre entire sur A, ou bien encore que B est une extension entire de
A si tout lment de B est entier sur A. Si B est une A-algbre de type fini, B
est entire sur A si et seulement si B est un A-module de type fini. On dit
alors que B est finie sur A.
Lensemble des lments x B entiers sur A est une sous-A-algbre de B,
appele clture intgrale de A dans B.
Lemme (1.5.2). Si A B sont deux anneaux intgres avec B entier sur A,

alors A est un corps si et seulement si B est un corps.
Soient k K deux corps. Les lments de K entiers sur k sont dits alg-
briques, les autres sont dits transcendants. Si tout lment de K est algbrique
sur k, on dit que K est algbrique sur k et on parle dextension algbrique.
La clture intgrale de k dans K sappelle clture algbrique de k dans K. Un
corps k est dit algbriquement clos sil est algbriquement clos dans tout
corps K contenant k. Si k est un corps, il existe une clture algbrique de k :
cest une extension k K algbrique et algbriquement close. Deux cltures
algbriques de k sont isomorphes (comme k-algbres).
On dit aussi quun lment de K algbrique sur k est sparablesur k si
son polynme minimal a ses racines distinctes dans une clture algbrique
de K, ou, de manire quivalente, si la drive de ce polynme minimal est

non nulle. Si k est de caractristique nulle, cette condition est automatique.
On dit quune extension algbrique est sparable si tous ses lments sont
sparables.
Thorme (1.5.3) (Thorme de llment primitif). Soit K = k[x, y] une

extension algbrique finie de corps. On suppose que y est sparable sur k. Alors,
il existe z K tel que K = k[z].
Si de plus k est infini, tout lment de K de la forme x + c y pour c k
convient, sauf peut-tre un nombre fini dentre eux.
Dmonstration. On ne fait la dmonstration que dans le cas o k est

infini. Lautre cas est en un sens plus lmentaire et ne nous servira pas.
Soient P et Q k[X] les polynmes minimaux de x et y respectivement et
soit F une extension finie de K dans laquelle P et Q sont scinds. On notera
x = x1 , . . . , x p et y = y1 , . . . , y q leurs racines. Lhypothse que y est sparable
implique que les y j sont tous distincts. Ainsi, si i {1, . . . , p} et j {2, . . . , q},
lquation x i + c y j = x1 + c y1 na quune solution et comme k est infini, on
peut choisir c tel que pour tous i et j, j 1, x i + c y j x1 + c y1 = x + c y.
Posons z = x + c y et montrons que K = k[z]. Le polynme R(X) =
P(z cX) k[z][X] sannule pour X = y puisque P(z c y) = P(x) = 0,
de mme que le polynme Q dont y est mme racine simple. De plus, ils
nont pas dautre racine commune : daprs le choix fait pour c, si j 1,
z c y j = x1 + c y1 c y j nest par un des x i dont P(z c y j ) 0. Autrement
dit, leur pgcd est gal X y. Or, le thorme de Bzout implique que ce
pgcd est un polynme dont les coefficients appartiennent au corps engendr
par les coefficients de R et Q, cest--dire k[z].
Ainsi, y k[z], puis x = z c y k[z]. Par consquent, k[x, y] = k[z].
On dit quune famille (x i )iI dlments de K est algbriquement indpen-
dante sil nexiste pas de polynme non nul P k[X i ] tel que P(x i ) = 0,
autrement dit si lhomomorphisme canonique de k-algbres k[X i ] K
tel que X i x i est injectif. Une base de transcendance de K sur k est une
famille (x i ) algbriquement indpendante dlments de K telle que K est
algbrique sur la sous-extension de K engendre par les x i .
tienne Bzout (17301783)

Ses travaux portrent notamment sur lutilisation des
dterminants pour rsoudre les quations linaires,
ainsi que sur le nombre de points intersection de deux
courbes algbriques planes. Il publia en 1779 une Tho-
rie gnrale des quations algbriques.
Il existe des bases de transcendance. On a en effet lanalogue suivant du

thorme de la base incomplte : si L G sont deux parties de K, avec L alg-
briquement indpendante sur k et G telle que K est algbrique sur lextension
engendre par G, il existe une base de transcendance B avec L B G. Le
cardinal dune telle base ne dpend que de lextension k K et est appel
degr de transcendance de K sur k, not deg. trk K, voire deg. tr K sil ny a
pas de confusion possible sur k. Enfin, si k K K sont trois corps, on a la
relation
deg. trk K + deg. trK K = deg. trk K .
Par abus de langage, on emploiera les mots algbriques, algbriquement
indpendants, degr de transcendance pour une k-algbre intgre A. Il sagira
alors des notions correspondantes dans le corps des fractions de A.
1.6. Produit tensoriel

Soient k un anneau, M et N deux k-modules. Le produit tensoriel M k N
est un k-module muni dune application k-bilinaire M N M k N
qui vrifie la proprit universelle suivante : pour tout k-module P et toute
application k-bilinaire f M N P, il existe une unique application
k-linaire f M k N P telle que f = f .
On peut le construire en prenant le quotient du k-module k (MN) dont les
lments sont les sommes finies c a,b (a, b) par le sous-module engendr
par les lments

(a, b) (a, b), (a, b) (a, b), (a + b, c) (a, c) (b, c).
La classe du couple (a, b) dans M k N est note a b.
Si A et B sont deux k-algbres, A k B hrite dune structure naturelle
de k-algbre telle que (a b) (a b ) = (aa ) (bb ). Lapplication
A A k B dfinie par a a 1 est alors un homomorphisme dalgbres ;
de mme, on a un homomorphisme dalgbres B A k B.
Par exemple, si (X i ) et (Yj ) sont des indtermines, on a
k[X i ] k k[Yj ] k[X i , Yj ]
lisomorphisme tant induit par lapplication bilinaire
k[X i ] k[Yj ] k[X i , Yj ], (P(X i ), Q(Yj )) P(X i )Q(Yj ).
On laisse au lecteur le lemme suivant.
Lemme (1.6.1). Soient I un idal de A et J un idal de B, ils engendrent un

idal (I, J) dans A k B et lon a un isomorphisme canonique
(A k B)/(I, J) (A/I) k (B/J)
qui envoie la classe de a b vers le produit tensoriel des classes de a et de b.
1.7. Limites inductives

Soit I un ensemble ordonn. On suppose que I est filtrant, cest--dire que
si i et j sont deux lments de I, il existe k I tel que k i et k j.
Soit C une catgorie. Un systme inductif dans C est la donne pour tout
i dans I dun objet A i de C et pour tous i j dans I dun morphisme
i j A i A j tels que :
si i j k, ik = jk i j ;
pour tout i, ii = idA i .
Soit A = ((A i )i , ( i j )) un tel systme inductif. Soit A un objet de C et pour
tout i I un morphisme i A i A tels que pour tous i j, i = j i j .
On dit que (A, ()i ) est une limite inductive du systme inductif A si pour
tout objet B de C muni de morphismes i A i B vrifiant i = j i j , il

existe un unique morphisme A B tel que i = i pour tout i I.
Si un systme inductif admet une limite, celle-ci est unique isomorphisme
unique prs. On la note lim A i .
i
Dans les catgories des ensembles, des groupes, des anneaux, des modules,
des k-algbres, tout systme inductif (a i ) admet une limite inductive. On la
construit comme suit. Soit X la runion disjointe des A i et soit la relation
dquivalence suivante dans X dfinie ainsi : si a A i et b A j , a b si et
seulement sil existe k I tel que k i et k j tels que c = ik (a) = jk (b).
Lensemble quotient X/ est alors une limite inductive du systme (A i ).
Si J est une partie de I et (A i ) un systme inductif index par I, on a un
morphisme naturel
lim A j lim A i .

jJ iI
Si pour tout i I, il existe j J tel que j i (on dit que J est cofinal dans I),
ce morphisme est un isomorphisme.
Exercice (1.7.1). Soit A un anneau et S une partie multiplicative de A. On
munit S de la relation de divisibilit : s s si et seulement si il existe t S
tel que s = ts.
Soit M un A-module. Pour tout s S, on pose Ms = M et pour s st, on
dfinit s,st Ms Mst comme la multiplication par t dans M. Montrer que
cela dfinit un systme inductif et que lim (Ms ) = S 1 M.
sS
CHAPITRE 2
PRLIMINAIRES DE TOPOLOGIE
2.1. Faisceaux
Dans son article fondamental Serre (1955), Jean-Pierre Serre a montr que
la thorie des faisceaux invente un peu plus de 20 ans auparavant par Jean
Leray pouvait sappliquer avec succs en gomtrie algbrique. Dsormais,
cest lun des outils invitables de tout gomtre algbriste.
Rappelons en brivement la dfinition.
Dfinition (2.1.1). Soit X un espace topologique. Un prfaisceau F sur X

est la donne pour tout ouvert U de X un ensemble F (U) et pour tout couple
douverts V U dune application rUV F (U) F (V ) telles que rUU = id
et si si W V U sont trois ouverts, rUW = rV W rUV .
On dit que F est un faisceau si pour tout ouvert U de X et toute famille
douverts (U i )i telle que U = i U i , lapplication naturelle
(rUU i ) F (U) F (U i )
i
Jean Leray (19061998)

Cest pendant la guerre, alors quil tait prisonnier de
guerre, que Jean Leray inventa la thorie des faisceaux
en topologie algbrique. On lui doit aussi des dcou-
vertes fondamentales en quations aux drives par-
tielles, notamment la notion de solution faible quil
appliqua ltude de lquation de Navier-Stokes en mcanique des fluides.
20 CHAPITRE 2. PRLIMINAIRES DE TOPOLOGIE
est injective et a pour image lensemble des ( f i )i F (U i ) tels que pour tout
couple (i, j),
rU i ,U i U j ( f i ) = rU j ,U i U j ( f j ).
Exemple (2.1.2) (Faisceau des fonctions). Notons F (U) lensemble des

fonctions de U dans R et soit rUV lapplication de restriction. Alors, F est
un faisceau.
Par analogie avec cet exemple, les rUV sont appeles applications de restric-
tion et rUV ( f ) est souvent not f V . Des raisons historiques font que F (U)
est aussi not (U , F ).
Exemple (2.1.3) (Faisceau des fonctions continues). Notons C (U)

lensemble des fonctions continues U R et soit rUV lapplication qui
associe une fonction continue sur U sa restriction louvert V . Alors, C
est un faisceau ; pour la surjectivit, il faut se rappeler quune fonction est
continue si et seulement si elle est continue en tout point, et ceci quivaut
ce que sa restriction un voisinage de ce point y soit continue.
On dfinit aussi des faisceaux en groupes, en anneaux,... Par exemple, pour

un faisceau en groupes, on suppose que chaque F (U) est un groupe et que
les applications de restriction sont des morphismes de groupes. Le faisceau
des fonctions continues sur un espace topologique est ainsi un faisceau en
R-algbres.
Dfinition (2.1.4). Si F et G sont deux (pr)-faisceaux sur X, un mor-

phisme de (pr)-faisceaux F G est la donne pour tout ouvert U de X
dune application (U) F (U) G (U) telles que (V )rUV = rUV (U).
Si F et G sont des faisceaux en groupes, on ajoutera la dfinition dun

morphisme de faisceaux en groupes la condition que les applications (U)
sont des morphismes de groupes. De mme pour les faisceaux en anneaux,...
Exemple (2.1.5). Les injections naturelles C (U) F (U) dfinissent un

morphisme de faisceaux C F .
CHAPITRE 2. PRLIMINAIRES DE TOPOLOGIE 21
Si F et G sont deux (pr)-faisceaux sur X tels que pour tout ouvert U,

F (U) G (U), on dit que F est un sous-(pr)-faisceau de G . Par exemple,
le faisceau des fonctions continues est un sous-faisceau du faisceau des
fonctions.
On ne dtaille pas la construction du faisceau F associ un prfaisceau
F : cest un faisceau muni dun morphisme F F universel pour les
morphismes de F dans un faisceau. Dans le cas frquent o F est un sous-
prfaisceau dun faisceau G , F est un sous-faisceau de G que lon peut
dfinir ainsi : un lment f G (U) appartient F (U) si et seulement
sil existe un recouvrement ouvert (U i )i de U tel que pour tout i, rUU i ( f )
F (U i ).
Dfinition (2.1.6). Soit X un espace topologique, soit F un faisceau sur X

et soit x un point de X. On appelle fibre de F en x la limite inductive
Fx = lim F (U)

Ux
o U parcourt lensemble des ouverts de X qui contiennent x.
Dfinition (2.1.7). Soit f X Y une application continue entre espaces

topologiques. Si F est un faisceau sur X, on dfinit un faisceau f F sur Y en
posant f F (U) = F ( f 1 (U)) pour tout ouvert U de Y.
Si G est un faisceau sur Y, le faisceau f 1 G est le faisceau associ au prfais-
ceau dont lensemble des sections sur un ouvert U de X est la limite inductive
des G (V ) lorsque V parcourt les ouverts de Y qui contiennent f (U).
Exemple (2.1.8). Si f X Y est une application continue, on a un

morphisme de faisceaux f f 1 CY C X : si V est un ouvert de X, un
lment de f 1 CY (V ) est une fonction continue sur un voisinage de f (V ).
On lui associe la fonction f qui est continue sur V .
On a aussi un morphisme de faisceaux CY f C X : si V est un ouvert de
Y, un lment de f C X (V ) est une fonction continue sur f 1 (V ). Ainsi, la
fonction CY (V ), on associe la fonction f C X ( f 1 (V )).
Exercice (2.1.9) (cf. Hartshorne (1977), Ex. II.1.18)

Soient f X Y une application continue, F un faisceau sur X et G
un faisceau sur Y. Dfinir des applications naturelles f 1 f F F et

G g g 1 G et en dduire une bijection
Hom( f 1 G , F ) Hom(G , f F ).
2.2. Espaces annels

La vraie dfinition dun espace annel dont a besoin la thorie des sch-
mas est courte : cest un espace topologique muni dun faisceau danneaux.
On exige en outre que les fibres de ce faisceau soient des anneaux locaux ;
on parle alors despace localement annel. Cependant, comme notre intro-
duction la gomtrie algbrique se limite aux varits algbriques, nous
pourrons nous contenter dune dfinition plus restrictive et supposer que le
faisceau danneaux est un sous-faisceau du faisceau des fonctions.
Soit k un anneau, qui sera fix dans tout ce chapitre.
Dfinition (2.2.1). On appelle espace fonctionnellement annel la donne

dun espace topologique X et dun sous-faisceau O X du faisceau des fonctions
sur X valeurs dans k.
Un morphisme despaces fonctionnellement annels est une application
continue f X Y telle que pour tout ouvert U de Y et toute fonction
OY (U), la fonction f sur f 1 (U) appartient O X ( f 1 (U)).
(Autrement dit, on a OY f O X .)
Dfinition (2.2.2). Si (X, O X ) est un espace fonctionnellement annel et U

un ouvert de X, le couple (U , O X U ) est un espace fonctionnellement annel,
appel espace fonctionnellement annel induit par X sur U.
Plus gnralement, soit (X, O X ) un espace fonctionnellement annel et soit

A une partie de X ; munissons A de la topologie induite. Pour tout ouvert U
de A, on dfinit un ensemble OA(U) de fonctions sur U en dcrtant quune
fonction f U k appartient OA(U) si pour tout point x U, il existe un
voisinage V de x dans X et une fonction g O X (V ) telle que g(y) = f (y)
pour tout y V U. On a dfini ainsi un sous-faisceau du faisceau des
fonctions sur A, de sorte que (A, OA) est un espace fonctionnellement annel.
2.3. Espaces annels models

En gomtrie diffrentielle, on dfinit une varit comme un espace to-
pologique plus une structure supplmentaire (appele en gnral atlas) une
famille de paramtrisations, qui permet didentifier un voisinage de tout
point un ouvert de Rn . Ces paramtrisations sont compatibles en ce
sens que sur lintersection de deux voisinages, on passe dune identification
une autre par un diffomorphisme douverts de Rn .
Les paramtrisations permettent alors de dfinir la notion de fonction
diffrentiable sur une varit diffrentielle ; le fait que la notion soit bien
dfinie provient de ce que la composition dune fonction diffrentiable et
dun diffomorphisme est diffrentiable. Et si, par hasard, on navait impos
aux diffomorphismes qui identifient deux paramtrisations de ntre que
des homomorphismes, ou bien, de ntre que de classe C p , on naurait pu
dfinir que des fonctions continues, ou que des fonctions de classe C k pour
k p.
Mieux, on peut mme dfinir maintenant intrinsquement, cest--dire
sans rfrence latlas, la notion de C p -diffomorphisme de varits : une
application continue f X Y est de classe C p si et seulement si pour
toute fonction de classe C p sur Y, la fonction f est de classe C p sur X.
Inversement, on peut retrouver les paramtrisations dont on est parti : ce
sont des C -diffomorphismes dun ouvert de X sur un ouvert de Rn .
Autrement dit, la structure intressante nest pas tant latlas qui pour
tre intrinsque ncessite lartifice lourd consistant considrer des atlas
maximaux que le couple form de X et du faisceau des fonctions C
sur X : un espace fonctionnellement annel ! Le fait que X soit une varit
diffrentiable de dimension n se retraduit en disant que tout point de X
possde un voisinage U tel que (U , C U ) soit isomorphe en tant quespace
annel lespace fonctionnellement annel dfini par un ouvert de Rn .
On veut gnraliser un peu ces considrations. Donnons nous une sous-

catgorie pleine L (pour locale) de la catgorie des espaces fonctionnellement
annels. Ce seront les modles locaux. On dira quun espace fonctionnel-
lement annel X est model sur L si tout point de X possde un voisinage
ouvert isomorphe un objet de L. Cela dfinit les objets dune catgorie G

(pour globale) dont les morphismes sont les morphismes despaces annels.
Pour construire des exemples non triviaux, la mthode suivante, dite de
recollement, est fondamentale.
Thorme (2.3.1) (Recollement despaces fonctionnellement annels)

Soient (X i , O X i )i une famille finie despaces annels et, pour tout couple
(i, j) un ouvert X i j de X i , un isomorphisme despaces fonctionnellement an-
nels i j X i j X ji , tels que
si i = j, X ii = X i et ii = id X i ;
pour tous i et j, ji = 1 ij ;
pour tous i, j, k, i j (X i j X ik ) = X ji X jk et on a la relation jk i j = ik
sur louvert X i j X ik de X i .
Alors, isomorphisme unique prs, il existe un unique espace fonctionnelle-
ment annel (X, O X ) muni dune famille douverts U i , et pour tout i, un
isomorphisme despaces fonctionnellement annels
i (U i , O X U i ) (X i , O X i )
tels que pour tous i et j, X i j = i (U i U j ) et i j = j 1
i .
Dmonstration. Lunicit est peu prs tautologique. Supposons

en effet quon ait deux tels espaces annels (X, O X ) et (X , O X ),
deux familles douverts (U i ) de X et (U i ) de X , et deux familles
disomorphismes ( i U i X i ) et (i U i X i ). Pour tout i, posons
alors i = (i )1 i U i U i ; cest un isomorphisme despaces fonc-
tionnellement annels. De plus, sur U i U j , i = j ; ces isomorphismes
donnent alors lieu un isomorphisme despaces fonctionnellement annels
X X .
Il nous faut donc maintenant construire un tel X. Soit dabord X = X i
lespace fonctionnellement annel runion disjointe des X i ; un point de X
est ainsi un couple (i, x) o x X i . On dfinit une relation sur X en posant
(i, x) ( j, y) si et seulement si x X i j et y = i j (x). Cest une relation
dquivalence et on dfinit lespace topologique sous-jacent X comme
le quotient de X par cette relation dquivalence. (Autrement dit, X est
lensemble des classes dquivalences de points de X muni de la topologie

quotient pour laquelle une partie X est ouverte si et seulement si son
image rciproque dans X est ouverte.) On note lapplication continue
canonique X X.
On dfinit U j = (X j ) et il est facile de vrifier que X j U j est un
homomorphisme. Limage rciproque dans X de U j est louvert i X i j ;
par suite, X j est ouvert dans X. Les U j forment donc un recouvrement ouvert
de X.
Pour dfinir le faisceau O X , on doit donner ses sections sur un ouvert
V arbitraire : O X (V ) est lensemble des fonctions f sur V telles que f
O X ( 1 (V )). Il est facile de voir que cela dfinit bien un faisceau.
Par construction mme, limage rciproque du faisceau O X U j sur X j est
canoniquement isomorphe O X j .
Il nous reste noncer deux lemmes faciles et nanmoins utiles.
Lemme (2.3.2). Soient X un espace topologique et (U i )i un recouvrement

ouvert de X. Une partie Z de X est ouverte (resp. ferme) si et seulement si
pour tout i, Z U i est ouvert (resp. ferm) dans U i .
Dmonstration. Dmontrons le pour ouvert, lassertion correspondante

pour les ferms sen dduit par passage aux complmentaires. Si Z est ou-
vert, il est clair que Z U i est ouvert dans U i pour tout i. Rciproquement,
supposons que pour tout i, Z U i soit ouvert dans U i . Comme U i est ouvert,
Z U i est alors ouvert dans X. Puisque Z est la runion des Z U i , Z est
donc ouvert dans X.
Lemme (2.3.3) (Description locale des morphismes)

Si f X Y est un morphisme despaces annels et si U X, V f (U)
Y, alors f U V est un morphisme despaces annels.
Rciproquement, une application f X Y est un morphisme despaces
annels sil existe des recouvrements ouverts (U i ) de X et (Vi ) de Y tels que
pour tout i, f (U i ) Vi et f U i U i Vi soit un morphisme despaces annels.
2.4. Composantes irrductibles

Dfinition (2.4.1). Soit X un espace topologique. On dit que X est irrduc-
tible sil nest pas vide et sil nest pas la runion de deux parties fermes de X,
non vides et distinctes de X. On dit quune partie Z de X est irrductible si
lespace topologique induit est irrductible.
Autrement dit, une partie Z de X est irrductible si et seulement si elle

nest pas vide et si pour tous ferms Z1 et Z2 de X tels que Z Z1 Z2 , on a
Z Z1 ou Z Z2 .
Cette notion est fort utile pour ltude de la gomtrie algbrique dans
laquelle on fait usage de la topologie de Zariski. En revanche, la notion
de partie irrductible noffre gure dintrt pour les espaces topologiques
usuels. Par exemple, les parties irrductibles de Rn sont les singletons.
Proposition (2.4.2). Soit X un espage topologique irrductible et soit U un

ouvert non vide de X.
a) Louvert U est dense dans X, et est irrductible.
b) Laplication Z Z U dfinit une bijection entre ferms irrductibles
de X qui rencontrent U et ferms irrductibles de U. Sa bijection rciproque
est lapplication Z Z.
Dmonstration. a) Par dfinition dun espace irrductible, la runion

de deux parties fermes distinctes de X est distincte de X. Par passage aux
complmentaires, lintersection de deux ouverts non vides de X nest pas
vide. En particuler, U rencontre tout ouvert non vide de X, ce qui signifie
que U est dense.
Dmontrons ensuite que U est irrductible. Soit U1 et U2 des ferms de U
tels que U U1 U2 ; par dfinition, il existe des ferms Z1 et Z2 de X tels que
U1 = Z1 U et U2 = Z2 U. Puisque U Z1 Z2 , que Z1 et Z2 sont ferms
et que U est dense, on a donc X = Z1 Z2 . Par suite, X = Z1 ou X = Z2 , ce
qui entrane U = U1 ou U = U2 .
b) Soit Y un ferm irrductible de U et soit Z son adhrence dans X.
Dmontrons que Z est irrductible. Soit Z1 et Z2 des ferms de X tels que
Z Z1 Z2 . On a donc Y Z U (Z1 U) (Z2 U), ce qui entrane
Y Z1 U ou Y Z2 U. Dans le premier cas, Z1 est un ferm de X

contenant Y, donc Z Z1 ; dans le second, Z Z2 . Cela prouve bien que Z
est irrductible.
Dmontrons que lon a aussi Y = Z U. Comme Y est ferm dans U, il
existe un ferm Z de X tel que Y = Z U. Par dfinition de ladhrence, on
a Z Z . Alors, Y Z U Z U = Y, do Y = Z U, comme il fallait
dmontrer.
Nous pouvons maintenant terminer la preuve de la proposition. Daprs
ce qui prcde, on dispose dune application Y Y de lensemble des
ferms irrductibles de U dans celui des ferms irrductible de X.
Appliqus une partie irrductible Z de X, la partie a) entrane que Z U
est irrductible dans U sil nest pas vide, et que lon a Z U = Z. On dispose
ainsi dune application Z Z U de lensemble des ferms irrductibles
de X dans celui des ferms irrductibles de U. De plus, est lidentit et
lon a dj vu que est lidentit.
Dfinition (2.4.3). On dit quun espace topologique X est noethrien si
toute suite dcroissante de parties fermes de X est stationnaire.
Lemme (2.4.4). Tout sous-espace dun espace topologique noethrien est
encore noethrien.
Dmonstration. Soit X un espace topologique noethrien et soit A un
sous-espace de X. Soit (A n ) une suite dcroissantes de parties fermes de X.
Par dfinition, il existe une suite (Yn ) de parties fermes de X telles que
A n = A Yn pour tout n. Posons Z n = Y0 Yn . La suite (Z n ) est une
suite dcroissante de parties fermes de X, donc est stationnaire. Puisque
lon a A n = A Z n pour tout n, la suite (A n ) est stationnaire.
Dfinition (2.4.5). On appelle composante irrductible dun espace topolo-
gique tout lment maximal de lensemble de ses ferms irrductible, ordonn
par linclusion.
Proposition (2.4.6). Un espace topologique noethrien ne possde quun
nombre fini de composantes irrductibles dont il est la runion. De plus, toute
partie ferme irrductible est contenue dans lune de ces composantes.
Dmonstration. Soit X un espace topologique noethrien. Comme tout

sous-espace de X est noethrien, lassertion doit aussi valoir pour tout sous-
espace de X. Nous allons raisonner par labsurde en supposant quelle est
fausse et tudions un contre-exemple minimal.
Prcisment, considrons lensemble C des parties fermes non vides
de X qui ne sont pas runion finie de parties irrductibles et supposons par
labsurde que C ne soit pas vide. Comme X est un espace noethrien, la
famille C, ordonne par linclusion, possde un lment minimal W qui
nest pas runion finie de parties irrductibles.
Comme lespace vide est runion de la famille vide, on a W ; par
suite, il existe deux sous-espaces ferms W1 et W2 de W, non vides et dis-
tincts de W, tels que W = W1 W2 . Comme W est choisi minimal, W1 et
W2 nappartiennent pas C et sont donc tous deux runion finie de parties
irrductibles. Par suite, W est runion finie de parties irrductibles, contra-
diction !
En particulier, X est runion dune famille finie (X1 , . . . , X n ) de sous-
espaces ferms irrductibles.
Il reste vrifier que toute partie irrductible Z de X est contenue dans
lun de ces ferms X i . Comme on a Z = ni=1 (Z X i ) et que Z est irrductible,
il existe i {1, . . . , n} tel que Z = Z X i , ce qui signifie Z X i .
CHAPITRE 3
VARITS ALGBRIQUES
3.1. Ensembles algbriques

Soit k un corps (commutatif, bien entendu !). On note An = k n lespace
affine sur k. La gomtrie algbrique sintresse aux ensembles dfinis par
des quations polynomiales, cest--dire aux parties Z de An dfinies par
lannulation dune famille de polynmes de k[X1 , . . . , X n ]. Par exemple :
(3.1.0.1) Z1 = {(x, y) C2 ; x 2 + y 2 + 1 = 0}
(3.1.0.2) Z2 = {(x, y) R2 ; x 2 + y2 + 1 = 0},
(3.1.0.3) Z3 = {(x, y) C2 ; y2 = x 3 x},
(3.1.0.4) Z4 = {(x, y, z) Qn ; x n + y n = z n } (n 1).
Dfinition (3.1.1). Soit k un corps et n un entier 0. Soit S une partie de
k[X1 , . . . , X n ]. On appelle ensemble algbrique dfini par S lensemble
V (S) = {(x1 , . . . , x n ) An ; P I, P(x1 , . . . , x n ) = 0}.
Rciproquement, si Z est une partie de An , on dfinit lidal de Z comme
I (Z) = {P k[X1 , . . . , X n ] ; (x1 , . . . , x n ) Z, P(x1 , . . . , x n ) = 0}.
Dautre part, les proprits suivantes sont lmentaires :
Proposition (3.1.2). Soient S, S des parties de k[X1 , . . . , X n ] ; soient Z, Z
des parties de An .
a) Si S S , V (S ) V (S).
b) Si I est lidal engendr par S, alors V (I) = V (S).
c) On a linclusion S I (V (S)).
30 CHAPITRE 3. VARITS ALGBRIQUES
d) Si Z Z , I (Z ) I (Z).
e) Lensemble I (Z) est un idal de k[X1 , . . . , X n ].
f) On a I (Z Z ) = I (Z) I (Z ).
g) On a linclusion Z V (I (Z)), avec galit si et seulement si Z est un
ensemble algbrique.
Dmonstration. Les points a), d), f ) dcoulent directement des dfini-

tions, de mme que les points c) et linclusion g).
Observons que pour tout partie Z de An , deux polynmes P1 et P2
sannulent sur Z, P1 + P2 sannulera sur Z, de mme que P1 pour tout k.
Ainsi, I (Z) est effectivement un idal ; cest en fait le noyau du morphisme
danneaux de k[X1 , . . . , X n ] dans lanneau F (Z; k) des fonctions de Z
dans k qui associe un polynme la fonction polynomiale correspondante.
Cela dmontre le point e).
De mme, soit S est une partie de k[X1 , . . . , X n ] et soit I lidal quelle
engendre ; on a linclusion V (I) V (S). Dautre part, si P I, il existe des
polynmes Q i , R i k[X1 , . . . , X n ] tels que R i S pour tout i, et P = Q i R i .
Alors, pour tout x V (S), P(x) = Q i (x)R i (x) = 0, donc x V (I). Cela
prouve b)
Terminons enfin la dmonstration du point g). Si Z = V (I (Z)), alors Z
est un ensemble algbrique, par dfinition. Inversement, supposons que Z
soit un ensemble algbrique et soit S une partie de k[X1 , . . . , X n ] telle que Z =
V (S). On a donc S I (Z), donc V (I(Z)) V (S) = Z, do finalement
lgalit.
Comme lanneau k[X1 , . . . , X n ] est noethrien, un ensemble algbrique

est en fait dfini par un ensemble fini de polynmes. Si f1 , . . . , fr sont des
polynmes, on notera V ( f1 , . . . , fr ) lensemble algbrique V ({ f1 , . . . , fr })
dfini par lidal engendr par les f i .
Corollaire (3.1.3). Les applications I et V dfinissent des bijections r-

ciproques lune de lautre entre ensembles algbriques de An et idaux de
k[X1 , . . . , X n ] de la forme I (Z).
CHAPITRE 3. VARITS ALGBRIQUES 31
David Hilbert (18621943)

Hilbert a contribu un grand nombre de branches
des mathmatiques : thorie des invariants, nombres
algbriques, analyse fonctionnelle, physique mathma-
tique (relativit gnrale), calcul des variations... Les 23
problmes quil a soulevs lors du congrs international
de Paris en 1900 ont servi de fil conducteur des pans
entiers des mathmatiques du xxe sicle.
Dfinition (3.1.4). Si Z est un ensemble algbrique, on note A (Z) lanneau

quotient k[X1 , . . . , X n ]/I (Z). Il est rduit.
Cest lanneau des fonctions polynomiales sur Z.
Exercice (3.1.5). Un ensemble algbrique peut tre dfini par plusieurs
idaux. Par exemple, les idaux I1 = (X 2 + Y 2 , XY 3 ) et I2 = (X 2 , Y 3 ) de
C[X, Y] dfinissent tous deux (0, 0) dans C2 . Prouver quils sont effective-
ment distincts.
Montrer cependant que lidal I3 = (X, Y) = I ((0, 0)) les contient tous
deux et que cest le plus grand idal de dfinition de (0, 0).
3.2. Le thorme des zros de Hilbert

Lorsque le corps k est algbriquement clos, le thorme des zros de Hil-
bert, auquel un snobisme atavique nous fait prfrer son nom allemand
Nullstellensatz, dcrit le plus grand idal de dfinition dun ensemble alg-
brique en terme dun idal de dfinition quelconque. Ce thorme possde
(au moins) quatre incarnations, toutes intressantes. Les voici.
Thorme (3.2.1) (Nullstellensatz, 1). Soient k un corps et A une k-algbre
de type fini. Si A est un corps, alors A est une extension algbrique finie de k.
Preuve (Zariski, cf. Atiyah & Macdonald (1969), ex. 18, p. 70)
Soient x1 , . . . , x n A des gnrateurs de A comme k-algbre. On raisonne
par rcurrence sur n. Il ny a rien dmontrer si n = 0, puisqualors A = k.
Supposons n 1 et le rsultat vrai pour n 1. Soit K A le corps des fractions

de k[x1 ] ; on voit que A = K[x2 , . . . , x n ] et par rcurrence, A est algbrique
sur K. Il existe ainsi des polynmes unitaires P2 , . . . , Pn dans K[T] tels que
Pj (x j ) = 0 pour tout j. Soit f K le produit des dnominateurs des Pj , de
sorte que pour tout j, les coefficients de Pj appartiennent la sous-algbre
A = k[x1 ][1/ f ] de K. Par dfinition, A est entire sur A . Comme A est un
corps, A aussi daprs le lemme 1.5.2.
Supposons par labsurde que x1 soit transcendant sur k. Lalgbre k[x1 ] est
alors isomorphe lanneau de polynmes k[X] et il existe donc un polynme
non nul P k[X] tel que A soit isomorphe lanneau k[X][1/P]. Daprs
le lemme 3.2.2 ci-dessous, cela contredit lhypothse que A est un corps.
Autrement dit, x1 est algbrique sur k, les x j pour j 2 sont algbriques
sur k[x1 ] donc sur k, et A est la compose dun nombre fini dextensions
algbriques finies de k, donc une extension algbrique finie de k.
Lemme (3.2.2). Soit P un polynme non nul de k[X]. Lanneau localis

k[X][1/P] nest pas un corps.
Dmonstration. Soit Q le polynme 1 + XP ; il est de degr 1 donc

nest pas nul. Sil tait inversible, il existerait un polynme Q k[X] et
un entier n 0 tel que (1 + XP)(Q/P n ) = 1 dans k[X][1/P], cest--dire
(1 + XP)Q = P n . Choisissons n minimal ; on a n 1 car deg(1 + XP) 1.
Puisque P et 1 + XP sont premiers entre eux, P divise Q. Il existe donc un
polynme Q1 k[X] tel que Q = PQ1 , do (1 + XP)Q1 = P n1 , ce qui
contredit la minimalit de n.
Corollaire (3.2.3) (Nullstellensatz, 2). Si k est un corps algbriquement clos,

les idaux maximaux de k[X1 , . . . , X n ] sont de la forme (X1 a1 , . . . , X n a n )
pour (a1 , . . . , a n ) An .
Dmonstration. Soit m un idal maximal de k[X1 , . . . , X n ] et A lanneau

quotient k[X1 , . . . , X n ]/m qui est une k-algbre de type fini, engendre par
les images des X j . Comme m est suppos maximal, A est un corps et donc,
daprs le thorme 3.2.1, une extension algbrique finie de k. Le corps k
tant algbriquement clos, linclusion k A est un isomorphisme. Il existe
donc des lments a1 , . . . , a n k tels que X j a j m, do
m (X1 a1 , . . . , X n a n ).
Rciproquement, soit P m. Par des divisions euclidiennes, on peut crire
P = (X1 a1 )Q1 (X1 , . . . , X n ) + (X2 a2 )Q2 (X2 , . . . , X n )

+ + (X n a n )Q n (X n ) + P(a1 , . . . , a n ).
La constante P(a1 , . . . , a n ) appartient donc m et est ncessairement nulle,

ce qui implique P (X1 a1 , . . . , X n a n ).
Corollaire (3.2.4) (Nullstellensatz, 3). Soient k un corps algbriquement

clos et I un idal de k[X1 , . . . , X n ] distinct de (1). Alors, V (I) .
Dmonstration. Soit m un idal maximal de k[X1 , . . . , X n ] contenant I.

Daprs le corollaire 3.2.3, il existe (a1 , . . . , a n ) An tel que m = (X1
a1 , . . . , X n a n ). On en dduit que pour tout P m, et a fortiori pour tout
P I, on a P(a1 , . . . , a n ) = 0. Autrement dit, (a1 , . . . , a n ) V (I) qui est
ainsi non vide.
Corollaire (3.2.5) (Nullstellensatz, 4). Supposons que k est algbriquement

et soit Z un ensemble algbrique de A dfini par un idal I. Alors, I (Z) =
clos n
I, la racine de I.

Dmonstration. Rappelons que I est lensembledes P k[X1 , . . . , X n ]
tels quil existe r 1 de sorte que P r I. Si P I, soit r 1 tel que
P r I. Ainsi, pour tout x Z, P r (x) = 0, et donc P(x) = 0. Autrement dit
P I (Z).
Rciproquement, soit P I (Z) et montrons quil existe r 1 tel que
P r I. Comme k[X1 , . . . , X n ] est noethrien, il existe des polynmes
P1 , . . . , Pm k[X1 , . . . , X n ]
tels que I = (P1 , . . . , Pm ). Soit P I (V (I)). On constate que lensemble

algbrique de k n+1 dfini par lidal (P1 , . . . , Pm , 1 TP) de k[X1 , . . . , X n , T]
est vide. Daprs le thorme 3.2.4, cet idal est gal k[X1 , . . . , X n , T], si
bien quil existe des polynmes Q j k[X1 , . . . , X m , T] pour 0 j m tels

que
m
Pj Q j + (1 TP)Q0 = 1.
j=1
Posons T = 1/P dans cette galit, on en dduit une galit de fractions

rationnelles
m
Pj (X1 , . . . , X m )Q j (X1 , . . . , X m , 1/P) = 1.
j=1
Soit r 1 un entier tel que pour tout j, r est plus grand que le degr en T
de Q j . Alors, P r Q j (X1 , . . . , X m , 1/P) appartient k[X1 , . . . , X n ], si bien que
lon a
m
P = Pj (X1 , . . . , X m ) P r Q j (X1 , . . . , X m , 1/P)
r
j=1
et donc P r I.
Exercice (3.2.6). Dans lexercice 3.1.5, vrifier que I3 est bien gal aux
radicaux de I1 et I2 .
Exercice (3.2.7). Donner des exemples montrant que les corollaires 3.2.3,
3.2.4 et 3.2.5 sont mis en dfaut si k nest pas algbriquement clos.
Exercice (3.2.8). (On suppose que k est algbriquement clos.) Soit Z An

un ensemble algbrique. Montrer lquivalence des proprits suivantes :
a) Z est fini ;
b) A (Z) est un k-espace vectoriel de dimension finie ;
c) tout idal premier de A (Z) est maximal.
(Utiliser les diffrentes caractrisations des anneaux artiniens fournies par le
thorme dAkizuki.)
3.3. Topologie de Zariski

Proposition (3.3.1). Lensemble vide et An sont des ensembles algbriques.
La runion de deux ensembles algbriques est un ensemble algbrique.
Oscar Zariski (18991986)

Zariski est lun des premiers mathmaticiens a avoir
dvelopp la gomtrie algbrique laide de mthodes
algbriques. Il est notamment connu pour avoir tu-
di la rsolution des singularits des surfaces. Son
livre Commutative algebra, crit en collaboration avec
P. Samuel est devenu un grand classique.
Lintersection dune famille quelconque densembles algbriques est un en-

semble algbrique.
Dmonstration. Lensemble vide et An sont dfinis par les idaux

k[X1 , . . . , X n ] et (0) respectivement.
Si Z1 et Z2 sont deux parties de An dfinies par des idaux I1 et I2 , montrons
que Z1 Z2 = V (I1 I2 ). (Rappelons que I1 I2 est lidal de k[X1 , . . . , X n ]
engendr par les produits f1 f2 , o f1 I1 et f2 I2 .) En effet, comme I1 I2 I1 ,
on a Z1 V (I1 I2 ), et de mme pour Z2 , do une inclusion. Dans lautre
sens, si x = (x1 , . . . , x n ) / Z1 Z2 , il existe f1 I1 et f2 I2 tels que f1 (x) 0
et f2 (x) 0. Il en rsulte f1 f2 (x) 0, do x / V (I1 I2 ).
Enfin soit (Z )A une famille densembles algbriques de An , Z tant
dfini par un idal I . Montrons que Z est dfini par lidal I = I
engendr par les I . Comme pour tout , on a I I, il vient V (I) Z ,
et donc V (I) Z . Rciproquement, considrons x Z et f I.
On peut crire f comme une somme finie f , o pour tout , f I .
Comme x Z , on a f (x) = 0 et finalement, f (x) = 0, ce qui prouve que
x V (I).
On peut reformuler cette proposition 3.3.1 de la faon suivante :
Dfinition (3.3.2). Les ensembles algbriques de An sont les ferms dune

topologie sur An , dite topologie de Zariski. Toute partie de An sera munie de
la topologie induite. En particulier, si Z est un ensemble algbrique, les ferms
de Z sont les ensembles algbriques contenus dans Z.
De mme, le thorme des zros de Hilbert se reformule en :

Proposition (3.3.3). Supposons que k soit un corps algbriquement clos.

Soit Z un ensemble algbrique. Lapplication X I (X) induit une bijection
entre ferms de Z et idaux de A (Z) gaux leur racine ; par cette bijection,
les points de Z correspondent aux idaux maximaux de A (Z).
Exercice (3.3.4) (Ferms de la droite affine). Montrer que les ferms de
A1 sont les parties finies de A1 ainsi que A1 . En particulier, A1 est irrductible.
Remarquer aussi que tout ouvert non vide est dense et que la topologie de
Zariski sur A1 nest pas spare.
Montrer enfin que la topologie de Zariski sur A2 = A1 A1 est strictement
plus fine que la topologie produit.
Exercice (3.3.5). Soit X un espace topologique compact mtrisable et
notons C lanneau des fonctions continues X R. Montrer que les idaux
maximaux de C sont de la forme { f ; f (x) = 0} pour un unique x X.
(Question subsidiaire : que se passe-t-il si X nest plus suppos compact ?
mtrisable ?)
Proposition (3.3.6). Si Z est une partie de An , V (I (Z)) est ladhrence
de Z dans An pour la topologie de Zariski.
Dmonstration. Si I est un idal de k[X1 , . . . , X n ], on a Z V (I) si et
seulement si pour tout P I et tout x Z, P(x) = 0, autrement dit, si
et seulement si pour tout P I, P I (Z), cest--dire I I (Z). La
proposition en rsulte.
Proposition (3.3.7). Toute intersection dcroissante de ferms de An est
stationnaire. (Ainsi, lespace affine An est un espace noethrien.)
Dmonstration. Cela revient dire que toute runion croissante
didaux (radiciels) de k[X1 , . . . , X n ] est stationnaire, ce qui est vrai puisque
k[X1 , . . . , X n ] est noethrien.
Remarquons que par lvaluation des polynmes, tout lment de A (Z)
dfinit une fonction Z k.
Dfinition (3.3.8). Si Z est un ensemble algbrique, on appelle ouvert affine
de Z tout ouvert de la forme D( f ) = {x Z ; f (x) 0}.
Cest louvert complmentaire dans Z du ferm V ( f ) Z.
Proposition (3.3.9). Soit Z un ensemble algbrique de An .

a) Tout ouvert de Z est runion finie douverts affines de Z.
b) On peut extraire de tout recouvrement ouvert de Z un sous-recouvrement
fini.
En dautres termes, la topologie de Zariski dun ensemble algbrique est

quasi-compacte et les ouverts affines en forment une base douvert.
Dmonstration. Soit U un ouvert de Z, F son ferm complmentaire
dont on note I A (Z) lidal. Soit ( f i ) une famille de gnrateurs de
lidal I. Alors, x U si et seulement sil existe i tel que f i (x) 0, cest--
dire U = i D( f i ).
Pour la seconde partie, il suffit de prouver que lon peut extraire un re-
couvrement fini de Z dun recouvrement ouvert par des ouverts affines.
Soit Z = i D( f i ) un tel recouvrement. Alors, lidal engendr par les f i
dans A (Z) nest contenu dans aucun idal maximal de A (Z) : un tel idal
maximal correspond un point x Z tel que pour tout i, f i (x) = 0 ce qui
contredit le fait que les D( f i ) recouvrent Z. Cet idal est donc gal A (Z)
et il existe une combinaison linaire i a i f i = 1. La somme prcdente est
bien sr finie et la runion des D( f i ) pour lesquels a i 0 est gale Z.
Exercice (3.3.10). Soit Z un ensemble algbrique de An . Montrer que

lapplication qui associe un idempotent e A (Z) (cest--dire vrifiant
e 2 = e) le ferm V (e) dfinit une bijection sur lensemble des parties de Z
la fois ouvertes et fermes.
En particulier, Z est connexe si et seulement si A (Z) na pas dautres
idempotents que 0 et 1.
Rappelons (dfinition 2.4.1) quon dit quune partie non vide Z An est
irrductible si pour tous ferms Z1 et Z2 de An tels que Z Z1 Z2 , on a
Z Z1 ou Z Z2 .
Proposition (3.3.11). Un ensemble algbrique Z est irrductible si et seule-

ment si son idal I (Z) est un idal premier de k[X1 , . . . , X n ].
Remarquons que cela revient dire que lanneau A (Z) est intgre.
Dmonstration. Supposons que Z est irrductible. Tout dabord, Z nest

pas vide, donc 1 ne sannule pas sur Z et I (Z) k[X1 , . . . , X n ]. Soient
alors f , g k[X1 , . . . , X n ] tels que f g I (Z). On a ainsi
Z V ( f g) = V ( f ) V (g).
Quitte changer f et g, on peut ainsi supposer que Z V ( f ). Autrement

dit, f I (Z), et I (Z) est un idal premier.
Rciproquement, supposons que I (Z) est un idal premier. Si Z = Z1 Z2 ,
on a I (Z) = I (Z1 ) I (Z2 ). Daprs le lemme dvitement des idaux
premiers 1.1.1, on a I (Z1 ) = I (Z) ou I (Z2 ) = I (Z). Ainsi, Z = Z1 ou
Z = Z2 .
Exercice (3.3.12). Traduire gomtriquement le lemme dvitement 1.1.2.
Proposition (3.3.13). Tout ensemble algbrique Z de An scrit de manire

unique comme la runion dun nombre fini de parties irrductibles Z = Z1
Z m telles que Z i / Z j pour i j.
Dmonstration. Comme lespace affine An est un espace noethrien, tout

ensemble algbrique est aussi noethrien, de sorte que lassertion dcoule
de la proposition 2.4.6.
En fait, transcrite en termes didaux, cest aussi un cas particulier de
la dcomposition primaire qui implique quun anneau noethrien rduit
na quun nombre fini didaux premiers minimaux dont lintersection est
rduite (0), voir la proposition 1.3.1.
Dfinition (3.3.14). Par dfinition, les Z i sont les composantes irrductibles

de Z.
(Ce sont les ferms irrductibles maximaux de X qui sont contenus

dans Z.)
3.4. Varits algbriques affines

Dsormais, et sauf mention explicite du contraire, k est un corps
algbriquement clos.
Dfinition (3.4.1). On appelle ensemble quasi-algbrique tout ouvert dun

ensemble algbrique.
Dfinition (3.4.2). Soit Z An un ensemble quasi-algbrique. On dit

quune fonction f Z k est rgulire en un point x Z sil existe un
voisinage ouvert U de x dans Z et deux polynmes g, h k[X1 , . . . , X n ] tels
que si z U, h(z) 0 et f (z) = g(z)/h(z).
Une fonction f Z k est dite rgulire si elle est rgulire en tout point
de Z.
Remarque (3.4.3). Si f est rgulire en x Z, alors f est rgulire dans

un voisinage de x dans Z.
Lemme (3.4.4). Lensemble des fonctions rgulires sur Z est une k-algbre
note O(Z). Les lments inversibles de O(Z) sont les fonctions rgulires qui
ne sannulent pas.
Dmonstration. Laisse en exercice.
Dfinition (3.4.5). Soit Z un ensemble quasi-algbrique. Le faisceau des

fonctions rgulires OZ sur Z est le faisceau en k-algbres dont lensemble des
sections sur un ouvert U Z est lanneau O(U).
Soit Z An un ensemble quasi-algbrique Z An ; la fonction f Z k

induite par un polynme de k[X1 , . . . , X n ] est manifestement rgulire, do
un homomorphisme de k-algbres k[X1 , . . . , X n ] O(Z) dont le noyau est
par dfinition I (Z). Il en rsulte un homomorphisme injectif
(3.4.5.1) A (Z) = k[X1 , . . . , X n ]/I (Z) O(Z).
Thorme (3.4.6). Si Z est un ensemble algbrique, lhomomorphisme

est un isomorphisme.
Dmonstration. Soit O(Z). Il existe un recouvrement ouvert fini

(U i ) de Z tel que sur U i , scrive i = g i /h i pour deux polynmes g i et h i ,
h i ne sannulant pas sur U i . On peut supposer que le recouvrement est fini
est que U i est de la forme D( f i ).
Comme h i ne sannule pas sur D( f i ), on a V (h i ) V ( f i ). Par le thorme
des zros de Hilbert 3.2.5, ( f i ) (h i ) A (Z). Il en rsulte quil existe
n i 1 tel que f in i (h i ). On peut ainsi supposer que h i = f in i . En remplaant
f i par f in i , on peut mme supposer n i = 1.
crivons alors que i et j concident sur U i U j = D( f i f j ) : pour tout
x Z, ou bien f i (x) = 0, ou bien f j (x) = 0, ou bien f i (x)g j (x) = f j (x)g i (x),
si bien que
( f i f j )( f i g j f j g i ) = 0 A (Z).
La runion des D( f i ) = D( f i2 ) est gale Z, autrement dit, lidal engendr
par les f i2 contient 1. crivons donc 1 = j f j2 k j pour des k j A (Z) et posons
= j f j g j k j A (Z). Alors, si x D( f i ),
f i2 (x)(x)
= f j f i2 g j k j = f i f j2 g i k j
j j
= f i g i k j f j2 = f i g i
j
et donc
f i2 ((x)
(x)) = f i g i f i g i = 0.
Finalement, pour tout x Z, il existe i tel que f i (x) 0 et donc (x) = (x).

On a ainsi = ,
ce qui prouve que est surjectif.
Dfinition (3.4.7). On appelle varit algbrique affine tout espace fonc-

tionnellement annel isomorphe (Z, OZ ) pour un ensemble algbrique Z.
Une varit algbrique quasi-affine est un ouvert dune varit algbrique
affine.
Si X et Y sont deux varits algbriques quasi-affines, un morphisme de va-
rits algbriques quasi-affines est un morphisme despaces fonctionnellement
annels. On note Hom(X, Y) lensemble des morphismes de X dans Y.
On dit quun morphisme f X Y est un isomorphisme sil existe un
morphisme g Y X tel que f g = idY et g f = id X .
Explicitons ce que signifie pour une application f X Y dtre un

morphisme de varits : daprs la dfinition dun morphisme despaces
fonctionnellement annels, f est continue et pour tout ouvert V Y et
toute fonction rgulire sur V , f est une fonction rgulire sur louvert
f 1 (V ) X.
Thorme (3.4.8). Soient X An et Y Am deux varits algbriques quasi-

affines. Une application f X Y est un morphisme de varits algbriques
quasi-affines si et seulement si les composantes ( f1 , . . . , f m ) de f sont des
fonctions rgulires sur X.
Dmonstration. Comme les polynmes X1 , . . . , X m dfinissent des fonc-

tions rgulires x1 , . . . , x m sur Y telles que x i f = f i , cette condition est
ncessaire.
Rciproquement, supposons que les composantes ( f1 , . . . , f m ) de f sont
des fonctions rgulires sur X. Soit alors V un ouvert de Y et une fonc-
tion rgulire sur V . On veut prouver que f 1 (V ) est un ouvert de X sur
lequel f est rgulire. Soit f 1 (V ) et posons = f (). Il faut donc
dmontrer quil existe un ouvert de An contenant , et deux polynmes g,
h k[X1 , . . . , X n ], h ne sannulant pas sur U X tels que pour x U X,
( f (x)) = g(x)/h(x).
Comme est rgulire en , il existe , , k[Y1 , . . . , Ym ] tels que ()
0, ne sannule pas sur D() Y, et pour tout y D() Y, (y) =
(y)/(y). Par suite, si ( f (x)) 0,
f (x)
( f )(x) = .
f (x)
Or, f est donn dans un voisinage de par une famille de fractions ration-
nelles (dont le dnominateur ne sannule pas dans ce voisinage). Dans ce
voisinage, la condition ( f (x)) 0 est ainsi donne par la non-nullit dun
polynme (le numrateur de f ) et lon voit que f est une application
rgulire dans un voisinage de .
Thorme (3.4.9). Soient X une varit quasi-affine et Y une varit affine.

Lapplication
Hom(X, Y) Hom(O(Y), O(X)), f f = f
est une bijection
Dmonstration. Supposons X An , Y Am .
Montrons que cette application est injective. Soient f X Y et g X Y
deux morphismes tels que f = g . On a ainsi f (y i ) = g (y i ) pour tout
i {1, . . . , m}, donc f i = g i et ainsi f = g.
Rciproquement, montrons quelle est surjective. Soit O(Y) O(X)
un homomorphisme de k-algbres. Posons f i = (y i ) et f = ( f1 , . . . , f m ).
Chaque f i est par dfinition une application rgulire sur X, do un mor-
phisme de varits quasi-affines f X Am .
Il reste prouver que f (X) Y et que f = Soit P k[Y1 , . . . , Ym ],
P = ca Yia i . Alors,
f (P) = P f = ca f ia i = ca (y i )a i = ( ca y ia i ) = (PY ).
Ainsi, si P I (Y), f (P) = 0, ce qui implique f (X) Y. Il vient alors
f = .
Corollaire (3.4.10). Deux varits algbriques affines sont isomorphes si
et seulement si leurs anneaux de fonctions rgulires sont isomorphes. Plus
prcisment, X A (X) dfinit une quivalence de catgories entre la catgo-
ries des varits algbriques affines et la catgorie des k-algbres de type fini
rduites.
Exercice (3.4.11). Soit X une varit algbrique affine et f A (X). Mon-
trer que D( f ) = {x X ; f (x) 0} est isomorphe une varit algbrique
affine et que (D( f ), O X ) = A (X)[1/ f ].
Exercice (3.4.12). Montrer que U = A2 {(0, 0)} nest pas isomorphe
une varit algbrique affine. (Calculer O(U).)
Exercice (3.4.13). Soit f A1 A2 donn par f (t) = (t 2 , t 3 ). Montrer que
f est un morphisme injectif dont limage est une varit algbrique affine
C A2 . Dterminer lidal de C ; en dduire le morphisme f A (C)
A (A1 ). Est-ce que f est un isomorphisme ? Les varits algbriques A1 et C

sont-elles isomorphes ?
Remarque (3.4.14). Le fait que le foncteur qui associe une varit alg-
brique affine son anneau de fonctions rgulires soit essentiellement surjectif
signifie quil existe pour toute k-algbre de type fini rduite A une varit
algbrique X telle que A A (X). Il est remarquable que lon puisse dfinir
une telle varit algbrique sans faire intervenir une prsentation de A. On
pose en effet X = Spm(A) (lensemble des idaux maximaux de A). Si I
est un idal de A, on dfinit V (I) comme lensemble des m Spm(A) tels
que I m. Les V (I) dfinissent les ferms dune topologie sur Spm(A)
dont les D( f ) = Spm(A) V (( f )) forment une base douverts. Le fais-
ceau structural est dfini de sorte que (D( f ), O X ) = A f = A[1/ f ] : si
a A et r 0, la fonction a/ f r a pour valeur en m D( f ) llment a/ f r
(mod )m A/m = k.
Il reste vrifier que Spm(A) est bien une varit algbrique affine. Or,
crivons A = k[X1 , . . . , X n ]/I pour un idal radiciel I de k[X1 , . . . , X n ]. On
dfinit f X An en associant m le n-uplet (X i (mod m)) de An . Le
thorme des zros de Hilbert implique que f est un homomorphisme de
Spm(A) sur V (I) et il est alors clair que cest un isomorphisme despaces
fonctionnellement annels.
Exercice (3.4.15). Soit k un corps et A B un homomorphisme de

k-algbres de type fini. Montrer que pour tout idal maximal m B, 1 (m)
est un idal maximal de A. (Utiliser le thorme des zros de Hilbert.)
Exercice (3.4.16). Soit k un corps et soit A une k-algbre de type fini. D-

montrer que lintersection des idaux maximaux de A est gale au nilradical
de A.
3.5. Varits algbriques

On a expliqu dans le chapitre 2 comment la gomtrie diffrentielle tudie
les espaces fonctionnellement annels models sur les ouverts de Rn . En
gomtrie algbrique, considrer des ouverts de Zariski de lespace affine
fournirait trop peu de varits. Ce sont ici les varits algbriques affines qui
jouent le rle des ouverts de Rn .
Dfinition (3.5.1). On dit quun espace fonctionnellement annel (X, O X )

est une varit algbrique sil existe un recouvrement de X par un nombre fini
douverts U i tels que (U i , O X U i ) est isomorphe comme espace fonctionnelle-
ment annel une varit algbrique affine.
Un morphisme de varits algbriques est un morphisme en tant quespaces
fonctionnellement annels.
Dfinition (3.5.2) (cf. 3.3.8). On dira quun ouvert dune varit algbrique
est un ouvert affine sil est isomorphe une varit algbrique affine.
Par dfinition, toute varit algbrique possde un recouvrement ouvert

par un nombre fini douverts affines.
Proposition (3.5.3). Soit X une varit algbrique.

a) Les ouverts affines de X forment une base de la topologie de X ;
b) Toute suite dcroissante de ferms de X est stationnaire (lespace X est
noethrien) ;
c) De tout recouvrement ouvert de X, on peut extraire un sous-recouvrement
fini (la topologie de X est quasi-compacte) ;
d) (cf. 3.3.13) Il existe un nombre fini de ferms irrductibles maximaux (ses
composantes irrductibles) dans X dont X est la runion.
Dmonstration. a) Cela signifie que tout ouvert non vide de X est runion
douverts affines. Comme X est recouvert par des ouverts affines, il suffit de
dmontrer lassertion lorsque X est affine. Cest alors la proposition 3.3.9.
b) Soit (U i ) un recouvrement de X par un nombre fini douverts af-
fines. Lassertion analogue a t prouve pour les U i (proposition 3.3.7.
Lintersection avec chaque U i dune suite dcroissante de ferms est ainsi
stationnaire et comme le recouvrement est fini, la suite est elle-mme sta-
tionnaire.
Le point c) en rsulte. En effet, si (U i )iI est un recouvrement ouvert de X,

les parties fermes Z i = X U i de X sont dintersection vide. Si aucun sous-
recouvrement fini du recouvrement (U i ) ne recouvre X, aucune sous-famille
finie de la famille (Z i ) nest dintersection vide.
On construit alors par rcurrence une suite (i n ) dlments de I telle que
la suite (X n ) dfinie par X n = Z i1 Z i n soit strictement dcroissante.
Si (i1 , . . . , i n ) sont dfinis et que X n nest pas vide, on choisit pour i n+1 un
lment i I tel que Z i X n X n (il en existe, sinon lintersection de
tous les Z i serait gale X n , et ce nest pas le cas.) Cela contredit le fait que
lespace X soit noethrien.
Enfin, le point d) dcoule directement de la proposition 2.4.6.
Proposition (3.5.4). Munie de la structure despace fonctionnellement an-

nel induit, une partie localement ferme dune varit algbrique est une
varit algbrique.
Dmonstration. Soit X une varit algbrique et soit Z X une partie

localement ferme. Cela signifie que Z est un ouvert de son adhrence Z.
Ainsi, il suffit de traiter les deux cas Z ouvert et Z ferm. Mais le cas o Z
est ouvert rsulte de la proposition prcdente, les ouverts affines formant
une base des ouverts de X.
Supposons donc que Z est ferm. Soit (U i ) un recouvrement fini de X
par des ouverts affines. Si lon prouve que chaque (Z U i , O X ZU i ) est une
varit algbrique affine, la proposition sera dmontre. Cela nous ramne au
cas o X est affine. Dans ce cas, Z est dfini par un idal I (Z) de A (X) et est
naturellement une varit algbrique. Si X An , par dfinition, une fonction
rgulire sur Z est localement la restriction dune fonction rgulire sur X
(et mme sur An ). Autrement dit, les faisceaux OZ et (O X /IZ )Z concident.
La proposition est ainsi prouve.
Dfinition (3.5.5). Une sous-varit dune varit algbrique est une partie
localement ferme dune varit algbrique munie de la structure de varit
algbrique induite.
Si lon veut construire des exemples non triviaux de varits algbriques,

la mthode de recollement est incontournable. Nous lavions rappele dans
le contexte gnral des espaces fonctionnellement annels dans le tho-
rme 2.3.1 ; applique au cas des varits algbriques affines, le thorme
devient le suivant.
Thorme (3.5.6) (Construction de varits par recollement)

Soient (X i ) une famille finie de varits algbriques affines et, pour tout
couple (i, j) un ouvert X i j de X i , un isomorphisme de varits quasi-affines,
i j X i j X ji , tels que
si i = j, X ii = X i et ii = id X i ;
pour tous i et j, ji = 1 ij ;
pour tous i, j, k, i j (X i j X ik ) = X ji X jk et on a la relation jk i j = ik
sur louvert X i j X ik de X i .

Alors, il existe une unique varit algbrique X munie dun atlas ( i U i
1
X i ) tel que pour tous i et j, X i j = i (U i U j ) et i j = j i .
Finalement, les morphismes dune varit algbrique dans une varit

affine sont donns par le thorme suivant, qui tend le thorme 3.4.9.
Thorme (3.5.7). Soit X une varit algbrique et Y une varit affine.

Lapplication
Hom(X, Y) Hom(A (Y), O(X)),
est une bijection.
Dmonstration. Notons cette application. Si X est runion douverts

affines U i , on a pour tout i une bijection
i Hom(U i , Y) Hom(A (Y), A (U i ))
en vertu du thorme 3.4.9. De plus, pour toute f A (Y), i ( f ) = ( f )U i .
Montrons que lapplication est injective : si () = ( ), cela signifie
que pour toute fonction rgulire f A (Y), f = f . En particulier,
f U i = f U i , do i () = i ( ) et U i = U i . Comme les U i
recouvrent X, = .
Montrons maintenant que est surjective. Soit un homomorphisme

A (Y) O(X). On en dduit des homomorphismes i A (Y) O(U i )
qui sont donc de la forme i ( i ) pour un unique morphisme i U i Y.
Sur U i U j , lhomomorphisme i j A (Y) O(U i U j ) scrit i j ( i ) =
i j ( j ), si bien que i et j concident sur U i U j . Par recollement, on
en dduit un morphisme X Y tel que U i = i . Il faut prouver que
() = . Or, si f A (Y),
()( f )U i = f U i = f i = i ( i )( f ) = ( f )U i
et comme les U i recouvrent X, ()( f ) = ( f ). Comme cest vrai pour
tout f , () = et est surjective.
3.6. Anneau local, corps des fonctions

Dfinition (3.6.1). Soit X une varit algbrique. Si x X, on appelle
anneau local de X en x la k-algbre
O X,x = lim O X (U)

Ux
lorsque U parcourt les voisinages de x dans X.
Il convient dexpliciter cette dfinition : on considre les couples (U , f )

forms dun voisinage U de x et dune fonction rgulire f sur U. On les
munit de la relation dquivalence selon laquelle (U , f ) (V , g) si f = g sur
un voisinage de x contenu dans U V . Lensemble quotient est naturellement
muni dune structure de k-algbre et sinterprte comme lensemble des
fonctions rgulires sur un voisinage de x dans X. Une telle fonction sur un
voisinage non prcis est appel germe de fonction rgulire en x. Autrement
dit, O X,x est la k-algbre des germes de fonctions rgulires en x.
Proposition (3.6.2). Soient X une varit algbrique, x un point de X et

U X un ouvert affine contenant x. Soit mx lidal maximal de A (U) corres-
pondant au point x. Alors, la k-algbre O X,x est canoniquement isomorphe
lanneau localis A (U)mx . Cest ainsi un anneau local dont lidal maximal
est lidal des germes de fonctions rgulires qui sannulent en x.
Dmonstration. On a une application naturelle A (U) O X,x ; par

cette application, un lment f / mx a pour image un lment inversible de
O X,x puisque la fonction 1/ f est alors dfinie sur le voisinage U D( f ) de x.
Il en rsulte un homomorphisme A (U)mx O X,x .
Cet homomorphisme est injectif : si f /g a pour image 0, cela signifie que la
fonction f /g est nulle dans un voisinage de x, donc f = 0 dans un voisinage
ouvert V U de x. Soit Z = U V le ferm complmentaire. Daprs le
lemme dvitement 1.1.2, il existe h I (Z) A (U) tel que h(x) 0. Alors,
f h = 0 mais h / mx ce qui implique f /1 = 0 dans A (U)mx .
Cet homomorphisme est surjectif : un lment de O X,x est la classe dun
couple (V , f ) pour un voisinage V de x et une fonction rgulire f sur V .
Quitte restreindre V , on peut supposer que f = g/h pour deux polynmes g
et h avec h ne sannulant pas sur V . Comme h(x) 0, on voit que (V , f )
est limage de llment not g/h dans A (U)mx .
Comme A (U)mx est un anneau local, O X,x aussi.
Par construction, lanneau O X,x ne voit que ce qui se passe dans un
voisinage de x X. Par exemple :
Proposition (3.6.3). Soit X une varit algbrique et soit x un point de X.

Lanneau local O X,x est un anneau local rduit dont les idaux premiers mi-
nimaux sidentifient aux composantes irrductibles de X qui passent par x.
En particulier, le point x nappartient qu une seule composante irrductible
de X si et seulement si lanneau local O X,x est intgre.
Dmonstration. Soit U un voisinage affine de x. Comme lanneau A (U)

est rduit, ses localiss aussi et O X,x aussi.
Les idaux premiers de A (U)mx correspondent aux idaux premiers de
A (U) contenus dans mx . Alors, les idaux premiers minimaux de A (U)
correspondent aux idaux premiers minimaux de A (U) contenus dans mx ,
cest--dire aux composantes irrductibles de U qui contiennent x. Comme
ces dernires ont pour adhrence les composantes irrductibles de X qui
contiennent x et que rciproquement, lintersection avec U dune com-
posante irrductible de X est ou vide, ou une composante irrductible, la
deuxime partie de la proposition est prouve.
La premire partie en rsulte, compte-tenu du corollaire 1.3.2 selon lequel

un anneau rduit nayant quun seul idal premier minimal est intgre.
Dfinition (3.6.4). Soit X une varit algbrique irrductible. On appelle

corps des fonctions de X la k-algbre
k(X) = lim O X (U)

U
lorsque U parcourt les ouverts non vides de X.
Proposition (3.6.5). Soit X une varit algbrique irrductible. Le corps

des fonctions de X est un corps ; pour tout ouvert affine non vide U X, il
sidentifie canoniquement au corps des fractions de lalgbre intgre A (U).
Dmonstration. Comme k(X) est une limite inductive de k-algbres,

cest une k-algbre. Cest aussi un corps : si f est une fonction rgulire
sur un ouvert U non vide de X et si f 0, la fonction 1/ f est rgulire sur
louvert non vide U V ( f ).
Soit U un ouvert affine non vide de X ; par dfinition de la limite inductive,
on peut ne prendre la limite que sur les ouverts affines contenus dans U. Au-
trement dit, lhomomorphisme naturel k(X) k(U) est un isomorphisme.
Il reste prouver que si X est affine, on a k(X) = Frac A (X). Lhomomor-
phisme injectif naturel A (X) k(X) induit une injection Frac A (X)
k(X) puisque k(X) est un corps. Rciproquement, si f k(X), il existe
un ouvert U X tel que f est une fonction rgulire sur U. Quitte res-
treindre U, on peut supposer que U = D() pour une fonction non nulle
A (X). Daprs lexercice 3.4.11, O X (D()) = A (X)[1/] ce qui prouve
que f est de la forme g/ n pour une fonction g A (X) et n 1. Cela im-
plique visiblement f Frac A (X).
Remarque (3.6.6). En gomtrie diffrentielle ou en gomtrie analytique

complexe, une telle proposition serait totalement fausse : une fonction ho-
lomorphe sur C {0} ne scrit pas forcment comme le quotient de deux
fonctions holomorphes sur C, par exemple z e 1/z .
Elle permet aussi de vrifier le bien fond davoir dfinir les varits
algbriques comme localement isomorphes une varit affine, et non
un simple ouvert de An . En effet, si X est une varit algbrique irrduc-

tible contenant un ouvert isomorphe un ouvert non vide de An , on aura
k(X) k(X1 , . . . , X n ). Une telle varit est dite rationnelle.
La proposition suivante interviendra dans la dmonstration du tho-
rme 5.5.14.
Proposition (3.6.7). Soient X et Y deux varits algbriques irrductibles.
Si leurs corps de fonctions k(X) et k(Y) sont isomorphes, il existe des ouverts
non vides U X et V Y tels que U V .
Dmonstration. On peut supposer que X et Y sont affines et que A (X)
et A (Y) sont deux sous-k-algbres de type fini de K = k(X). Comme
K = Frac A (Y) et A (X) est de type fini, il existe f K, f 0 tel que
A (X) A (Y)1/ f ]. De mme, il existe g K, g 0 tel que A (Y)
A (X)[1/g]. On a alors
A (X)[1/ f g] A (Y)[1/ f g] A (X)[1/ f g],
autrement dit, A (X)[1/ f g] = A (Y)[1/ f g].
Soit a A (X) tel que A (X)1/ f g] = A (X)[1/a] (le numrateur de
f g convient). De mme, choisissons b A (Y) tel que A (Y)1/ f g] =
A (Y)[1/b]. Daprs lexercice 3.4.11, on a A (D(a)) = A (X)[1/a] et
A (D(b)) = A (Y)[1/b] ce qui implique que D(a) X et D(b) Y sont
isomorphes, ainsi quil fallait dmontrer.
CHAPITRE 4
EXEMPLES
Mme si, bien sr, les varits affines et les varits quasi-affines du chapitre
prcdent sont des varits algbriques, il est temps de donner quelques
exemples !
Dans tout ce chapitre, k est un corps algbriquement clos.
4.1. Espaces projectifs

4.1.1. Droite projective. Lexemple le plus simple de varit algbrique
qui nest pas une varit affine est la droite projective P1 . Classiquement,
celle-ci est dfinie comme lensemble des droites vectorielles du plan k 2 ,
mais cette dfinition ne rend pas apparente la structure de varit algbrique,
ni celle de varit diffrentielle lorsque k = R ou C, ni mme dans ces cas
celle despace topologique. En associant un couple (a, b) k 2 {(0, 0)} la
droite dquation ax + by = 0, on voit quand mme que P1 est le quotient de
k 2 {0} par k , do au moins une structure despace topologique quotient.
Pour la structure de varit, cela ncessite encore du travail...
Cependant, les droites du plan ont ou bien une quation ax + y = 0 avec
a k, ou bien une quation x + by = 0 avec b k. part les deux axes
de coordonnes, toutes les droites ont une quation de chaque forme et si
une droite est reprsente par ax + y = 0 avec a 0, elle a aussi lquation
x + by = 0 avec b = 1/a 0. Autrement dit, on obtient lensemble des droites
vectorielles de k 2 en prenant deux copies de la droite affine A1 et en les
recollant le long de louvert A1 {0} via lisomorphisme A1 {0} A1 {0}
dfini par t 1/t.
52 CHAPITRE 4. EXEMPLES
4.1.2. Espace projectif. Plus gnralement, lespace projectif Pn est

lensemble des hyperplans vectoriels de k n+1 . Montrons comment le munir
dune structure de varit algbrique. Si (y0 , . . . , y n ) sont les coordonnes
de An+1 , un hyperplan possde une quation x0 Y0 + + x n Yn = 0. Si x i 0,
on peut diviser lquation par x i et supposer x i = 1. On considre ainsi n + 1
copies U0 , . . . , U n de lespace affine An , o U i est la sous-varit dquation
x i = 1 de An+1 . Pour tout couple (i, j) dentiers appartenant {0, . . . , n},
louvert U i j de U i est dfini par x j 0 et
i j (x0 , . . . , x n ) (x0 /x j , x1 /x j , . . . , x n /x j )
dfinit un isomorphisme U i j U ji . Il est facile de constater que jk
i j = ik . Par recollement, on obtient une varit algbrique, appele espace
projectif de dimension n et not Pn dont les points sont exactement les
(x0 , . . . , x n ) k n+1 {0} modulo laction par multiplication de k .
Dans la suite, on notera (x0 . . . x n ) le point de Pn qui est la classe de
(x0 , . . . , x n ). Inversement, (x0 , . . . , x n ) seront appeles coordonnes homo-
gnes de ce point.
Proposition (4.1.3). Lapplication An+1 {(0, . . . , 0)} Pn qui associe

(x0 . . . x n ) (x0 , . . . , x n ) est un morphisme.
Dmonstration. Soit Vi An+1 louvert dfini par x i 0 et U i louvert

de Pn dfini par x i 0. On a donc U i = (Vi ).
On a identifi U i la varit algbrique affine dquation x i = 1 dans An+1 .
Ainsi, Vi U i scrit (x0 , . . . , x n ) (x0 /x i , . . . , x n /x i ). Comme X i
ne sannule pas sur Vi , est ainsi un morphisme Vi Pn . Comme les Vi
recouvrent An+1 {0}, est un morphisme.
La proposition suivante prouve que Pn nest pas une varit affine.
Proposition (4.1.4). On a O(Pn ) = k.
Dmonstration. Soit f O(Pn ). Il existe des polynmes P0 , . . . , Pn tels

que sur louvert U i An , on a
f ((x0 . . . x n )) = Pi (x0 /x i , . . . , x i1 /x i , x i+1 /x i , . . . , x n /x i ).
CHAPITRE 4. EXEMPLES 53
On peut rajouter X i comme variable Pi et supposer que pour tout i, Pi est

homogne de degr d. Sur U i U0 , on a ainsi la relation
Pi (x0 /x i , . . . , x n /x i ) = P0 (1, x1 /x0 , . . . , x n /x0 ).
Comme U0 An est irrductible et que U i U0 est un ouvert non vide de U0 ,
il en rsulte une galit de polynmes :
Pi (X0 , . . . , X n )X0d = P0 (X0 , . . . , X n )X id .
Comme X i est irrductible et est premier X0 , le lemme de Gau implique
que X id divise Pi ; soit alors Q i un polynme tel que Pi = X id Q i ; on a donc
Q i = Q0 . Le degr de Q i est gal d d = 0, cest--dire que Q i est un
lment a de k et f ((x0 . . . x n )) = a. Autrement dit, toute fonction
algbrique sur Pn est constante.
Nous nous intressons maintenant aux sous-varits de lespace projectif.
Rappelons que le degr dun monme ni=0 X ia i est gal ni=1 a i et quun
polynme est dit homogne si tous les monmes dont il est la somme ont
le mme degr. Un idal homogne de k[X0 , . . . , X n ] est un idal engendr
par des polynmes homognes.
Exercice (4.1.5). 1) Vrifier quun idal I k[X0 , . . . , X n ] est homogne

si et seulement si pour tout P I, dcompos sous la forme P = d Pd , Pd
tant un polynme homogne de degr d, chacun des Pd appartient I.
2) Montrer que la racine dun idal homogne est encore un idal homo-
gne.
Dfinition (4.1.6). Soit I k[X0 , . . . , X n ] un idal homogne. On dfinit

P(I) comme lensemble des (x0 . . . x n ) Pn tels que pour tout polynme
homogne P I, P(x0 , . . . , x n ) = 0 (cela a un sens car P est homogne).
Thorme (4.1.7). Pour tout idal homogne I, P(I) est un ferm de Pn .
Dmonstration. En vertu du lemme 2.3.2, il suffit de le vrifier aprs

restriction chacun des ouverts affines U i dfini par x i 0. Pour simplifier
les notations, on ne traite que le cas i = 0. Soit donc I0 lensemble des
polynmes de k[X1 , . . . , X n ] de la forme P(1, X1 , . . . , X n ) pour P I. Cest
un idal car I est un idal. Il est alors clair que P(I) U0 = V (I0 ) si bien
que P(I) U0 est un ferm de U0 . Par suite, P(I) est un ferm de Pn .
Dfinition (4.1.8). Soit X Pn une partie ferme. On appelle cne affine
au-dessus de X la runion de {0} et de limage rciproque de X dans An+1 {0}
par le morphisme canonique An+1 {0} Pn . On le note C(X) ; cest un
ferm de An+1 .
Justification. Par dfinition, C(X) {0} = 1 (X) est ferm dans An+1
{0}. Comme C(X) contient {0}, C(X) est donc ferm dans An+1 .
Thorme (4.1.9) (Nullstellensatz projectif). Tout ferm non vide de P
n
est de la forme P(I) pour un unique idal homogne I tel que I = I et le

cne affine au-dessus de X est gal V (I).
Dautre part, P(I) = si et seulement si I contient lidal (X0 , . . . , X n ).
Dmonstration. Soient X un ferm non vide de Pn , C(X) An+1 son
cne affine.
Soit I (X) lidal engendr par les polynmes homognes P
k[X0 , . . . , X n ] tels
que P(x0 , . . . , x n ) = 0 pour tout (x0 . . . x n ) X. Il est
clair que I (X) = I (X) et que X P(I (X)).
Montrons que C(X) = V (I (X)) ; comme C(X) est ferm dans An+1 ,
cela revient prouver, en vertu du Nullstellensatz usuel (thorme 3.2.5) que
I (C(X)) = I (X).
Lemme (4.1.10). On a les inclusions
I (C(X) {0}) I (X) I (C(X)).
Par suite, ces trois idaux sont gaux et et C(X) = C(X) {0}.
Preuve du lemme. En effet, si P est un polynme homogne sannulant
sur X, il sannule sur 1 (X) An+1 . Mais comme il ne peut pas tre de
degr nul (X ), il sannule aussi en 0. Ainsi, P sannule sur C(X), do
I (X) I (C(X)).
Rciproquement, soit P un polynme sannulant sur C(X) {0} et mon-
trons que P I (X). On peut crire P comme une somme de polynmes
homognes : P = d Pd . Si (x0 . . . x n ) X, pour tout k , on a
Giuseppe Veronese (18541917)

Il dveloppa la gomtrie projective en dimension arbi-
traire. Notamment, il mit en vidence les problmes qui
peuvent apparatre lorsquon cherche projeter une
surface algbrique non singulire dans P3 .
(x0 , . . . , x n ) C(X) {0} si bien que d d Pd (x0 , . . . , x n ) = 0. Cela im-

plique que chacun des Pd sannule en (x0 , . . . , x n ). Ainsi, chaque Pd sannule
sur X et P I (X). (Fin de la preuve du lemme.)
On peut maintenant prouver que X = P(I (X)). De fait, si (x0 . . .
x n ) P(I (X)), cela signifie que tout polynme homogne P I (X)
sannule au point (x0 , . . . , x n ), do (x0 , . . . , x n ) V (I (X)) = C(X). Par
suite, (x0 . . . x n ) X.
Pour lunicit, soit I un idal homogne tel que I = I et P(I) = X ; on
constate que
V (I) (An+1 {0}) = C(X) {0}
et donc que I I (C(X) {0}). Il y a alors deux solutions : soit V (I) =
C(X), soit V (I) = C(X) {0}. Mais si X , C(X) {0} nest pas ferm
dans An+1 . Ainsi, C(X) = V (I) et donc I = I (X).
Si X = , lgalit P(I) = X implique que V (I) {0}, soit
(X0 , . . . , X n ) I. Le thorme est ainsi dmontr.
Dfinition (4.1.11). Une varit projective est une varit algbrique iso-
morphe une sous-varit dun espace projectif.
Une varit quasi-projective est un ouvert dune varit projective.
Remarque (4.1.12). Les varits affines sont quasi-projectives. En re-
vanche, toute varit nest pas quasi-projective, mme sil est difficile de
donner un exemple. Une diffrence fondamentale entre les varits affines
et les varits projectives et sur ces dernires, il nexiste pas de fonction
rgulire non localement constante dfinie partout.
Exercice (4.1.13) (Plongement de Veronese). 1o ) Soient n et d des entiers

1. On pose N = (n+d n ) 1. Montrer que le nombre des monmes de degr
d en n + 1 variables est gal N + 1. On les note M0 , . . . , M N .
2o ) Montrer que lapplication d Pn PN donne par (x0 . . . x n )
(M0 (x) . . . M N (x)) est bien dfinie et est un isomorphisme de Pn sur
une sous-varit ferme de PN .
3o ) Soit f k[X0 , . . . , X n ] un polynme homogne de degr d. Montrer
que le complmentaire de P( f ) dans Pn est une varit affine.
4.2. Produits
Dans cette section, nous voulons munir la produit de deux varits alg-
briques dune structure de varit algbrique. Cest plus dur quil ny parat
car le produit dans la catgorie des espaces topologiques est insuffisant : on
a vu dans lexercice 3.3.4 que A2 nest pas homomorphe A1 A1 muni de
la topologie produit.
Pour dfinir le produit de deux varits, on commence par le cas des
varits affines.
Proposition (4.2.1). Soient X An et Y Am deux ensembles algbriques

didaux I k[X1 , . . . , X n ] et J k[Y1 , . . . , Ym ]. Identifions An Am An+m .
Alors, X Y An+m est un ensemble algbrique : son idal est engendr par
les idaux I et J dans k[X1 , . . . , X n , Y1 , . . . , Ym ] et son anneau des fonctions
est A (X Y) = A (X) k A (Y).
Dmonstration. Un point (x, y) de An Am appartient X Y si et

seulement si x X et y Y, donc si et seulement si les lments de I
sannulent en x et ceux de J sannulent en y. Ainsi, V (I + J) = V (I) V (J).
On rappelle (cf. 1.6.1) que lon a un isomorphisme canonique
(k[X1 , . . . , X n ]/I)k (k[Y1 , . . . , Ym ]/J) k[X1 , . . . , X n , Y1 , . . . , Ym ]/(I + J).
Ainsi, si ( f i ) et (g j ) sont des polynmes dfinissant des bases de

A (X) et A (Y) respectivement, on peut crire tout polynme P
k[X1 , . . . , X n , Y1 , . . . , Ym ] de manire unique sous la forme

P = a i, j f i (X)g j (Y) + P0 ,
o les a i, j k et P0 I + J. Supposons donc que P I (X Y). Il en rsulte
que pour tout x X et tout y Y, P(x, y) = 0. En particulier, pour tout
x X,
P(x, Y) = ( a i, j f i (x))g j (Y) + P0 (x, Y) I (Y) = J,
j i
et donc, puisque P0 (x, Y) I (Y), on a pour tout j et pour tout x X que

i a i, j f i (x) = 0. Cela implique que a i, j = 0 pour tout i et pour tout j, do
P I + J et lidal de X Y est engendr dans k[X1 , . . . , X n , Y1 , . . . , Ym ] par
I et J.
Du mme coup,
A (X Y) = A (X) k A (Y).
Corollaire (4.2.2). Le produit de deux ensembles quasi-algbriques est un

ensemble quasi-algbrique.
Proposition (4.2.3). Si X et Y sont des varits algbriques irrductibles,

X Y aussi. (Le produit tensoriel de deux k-algbres de type fini intgres est
intgre.)
Dmonstration. Supposons que X Y = Z1 Z2 , pour deux ferms Z1 et

Z2 de An+m . Pour i = 1 ou 2, soit X i = {x X ; x Y Z i }.
Soit x X. On peut crire
Y x Y = (Z1 (x Y)) (Z2 (x Y))
et comme Y est irrductible, on a x Y Z1 ou Z2 . Autrement dit, x X1
ou x X2 , ce qui implique X = X1 X2 .
Dautre part, x X1 quivaut dire que pour tout y Y, (x, y) Z1 :
X1 = {x X ; y Y , P I (Z1 ), P(x, y) = 0}
est ainsi un ensemble algbrique ferm. De mme, X2 est ferm.
Comme X = X1 X2 est irrductible, X = X1 ou X = X2 , cest--dire

X Y = Z1 ou Z2 .
Pour dfinir le produit de deux varits algbriques arbitraires, un peu de
formalisme de thorie des catgories est utile.
Dfinition (4.2.4). Soient C une catgorie, X et Y deux objets de C. On
dit quun triplet (Z, p, q), o Z est un objet de C, p Z X et q Z Y
sont deux morphismes, est un produit si la proprit universelle suivante
est satisfaite : pour tout triplet (W, f , g) form dun objet de C et de deux
morphismes f W X et g W Y, il existe un unique morphisme
W Z tel que f = p et g = q .
Exercice (4.2.5). Vrifier quun produit, sil existe, est unique un isomor-
phisme unique prs, autrement dit, que si (Z , p , q ) est un autre produit, il

existe un unique isomorphisme Z tel que p = p , q = q .
Ainsi, on peut parler du produit de deux objets ( condition quil existe,
bien entendu).
Proposition (4.2.6). Soient X An et Y Am deux varits algbriques
affines. Pour tout ouvert U de X et V de Y, le produit U V muni des pro-
jections p U V U et q U V V est le produit de U et V dans la
catgorie des varits algbriques.
Dmonstration. Soient W une varit algbrique et f W U, g W
V deux morphismes. Si W U V vrifie p = f et q = g,
on a ncessairement (w) = ( f (x), g(y)). Rciproquement, comme les
coordonnes de sont ( f1 , . . . , f n , g1 , . . . , g m ), le thorme 3.4.8 montre que
est un morphisme de varits algbriques.
Thorme (4.2.7). Si X et Y sont deux varits algbriques, il existe un
produit X Y dans la catgorie des varits algbriques.
Dmonstration. On crit X = U i , Y = Vk comme runion de varits
affines, avec des isomorphismes de recollement f i j U i j U ji , g kl Vk
Vk comme dans la construction du thorme 3.5.6. On va alors recoller les
U i Vk .
Pour cela, on remarque que les morphismes U i j Vk U i j U ji et

U i j Vk Vk Vk implique lexistence dun unique morphisme
(ik)( j) U i j Vk Vk U ji .
(Les U i j sont des ouverts de varits affines, donc admettent des produits.)
De plus, les conditions du thorme 3.5.6 sont vrifies (grce lunicit des
(ik)( j) ) et en particulier, ce sont des isomorphismes. Cela nous fournit une
varit algbrique, note X Y, par recollement des U i Vk .
Les morphismes U i Vk U i X se recollent en un morphisme p
X Y X, et de mme, on a un morphisme q X Y Y.
Montrons maintenant que (X Y , p, q) est un produit.
Soit W une varit algbrique et f W X, g W Y deux morphismes.
On cherche montrer quil existe un unique W X Y tel que p = f ,
q = g. Soit Wik = f 1 (U i ) g 1 (Vk ) ; cest un ouvert de W avec deux
morphismes f Wi k Wik U i et gWi k Wik Vk . Comme U i Vk est
un produit de U i et Vk , il en rsulte un unique morphisme ik Wik
U i Vk tel que p ik = f Wi k et q ik = gWi k . Ncessairement, Wi k = ik ,
do lunicit de . Par lunicit des ik , ils se recollent pour fournir un
morphisme W X Y. On a donc construit le produit de X et de Y
dans la catgorie des varits algbriques.
Remarque (4.2.8). Soit pt la varit algbrique donne par un point
(elle est affine, danneau k). Si X est une varit algbrique, Hom(pt, X)
est lensemble des points de X. Comme,
Hom(pt, X Y) = Hom(pt, X) Hom(pt, Y),
lensemble sous-jacent X Y est le produit des ensembles sous-jacents
X et Y.
Cependant, la topologie nest pas la topologie produit : par construction,
A A1 = A2 et lexercice 3.3.4 a fait remarquer que la topologie de Zariski
1
sur A2 nest pas la topologie produit.

Lemme (4.2.9). Soient X et Y deux varits algbriques. Si U est un ouvert
de X, le morphisme canonique U Y X Y identifie U Y un ouvert de
X Y. Si Z est un ferm de X, Z Y sidentifie de mme un ferm de X Y.
Corrado Segre (18631924)

Grand reprsentant de lcole italienne de gomtrie
algbrique, Segre est connu pour ses travaux sur les
quadriques et les surfaces.
Dmonstration. Il suffit de traiter le cas dun ferm et on peut supposer

que X An et Y Am sont des varits affines. Alors, Z Y sidentifie la
sous-varit de An+m didal I (Z) + I (Y) qui contient lidal I (X) +
I (Y).
Thorme (4.2.10) (Plongement de Segre). Lapplication
S Pn Pm Pnm+n+m ,
((x0 . . . x n ), (y0 . . . y m ) (x0 y0 . . . x0 y m x1 y0 . . . x n y m )
est un morphisme de varits algbriques qui identifie Pn Pm une sous-

varit ferme de Pnm+n+m . On lappelle plongement de Segre.
Dmonstration. On commence par vrifier que cela a un sens : si on

multiplie les x i par k et les y j par k , cela multiplie les x i y j par ;
de plus, lun des x i y j est non nul.
Les coordonnes homognes de Pnm+n+m sont notes par la lettre z et
indexes par (i, j) {0, . . . , n} {0, . . . , l}. Notons U i , Vj et Wi j les ouverts
affines de Pn , Pm et Pnm+n+m o respectivement x i 0, y j 0 et z i j 0.
On a S 1 (W ) = U V : si S(x, y) W , x y 0, do x U et
y V .
Montrons que S est injective : si S(x, y) = S(x , y ) W , on peut sup-
poser x = x = 1 et y = y = 1, do x y = x y = 1, ce qui implique que
pour tous i et j, x i y j = x i y j . En particulier, si i = , on trouve y j = yj pour

tout j, et pour j = , on trouve x i = x i pour tout i.
Montrons que S dfinit un isomorphisme de U V sur une sous-varit
de W . Or, limage de S est forme des (z i j ) tels que z i j = x i y j . Comme
x = 1 et y = 1, on en dduit x i = z i et y j = z j , si bien que limage de
S est contenue dans la sous-varit Z de W dfinie par les quations
z i j = z i z j . Rciproquement, lapplication T Z U V dfinie par
T(z i j ) = ((z i ), (z j )) est un morphisme et il est facile de constater que
T S = idZ et S T = idU V . Autrement dit, S dfinit un isomorphisme
de U V sur une sous-varit ferme de W .
Notons Z limage de Pn Pm par S. On a ainsi prouv que la restriction
de S S 1 (W ) = U V dfinit un isomorphisme U V Z W
et que Z W est ferm dans W . Il en rsulte que Z est ferm et que
S Pn Pm Pnm+n+m est un isomorphisme de Pn Pm sur Z.
Exemple (4.2.11). Lorsque n = m = 1, on obtient le morphisme

P1 P1 P3 , ((u, v) (s, t)) (x y z w) = (us ut vs vt).
Son image est la quadrique dquation homogne x y zw = 0.
En gnral, lidal homogne de limage de Pn Pm dans Pnm+n+m est
engendr par les z i j z z i z j . Cest ainsi une intersection de quadriques.
Corollaire (4.2.12). Un produit de varits projectives est une varit pro-

jective.
Dmonstration. Soient X Pn et Y Pm deux varits projectives. Alors,

X Y sidentifie une sous-varit de Pn Pm laquelle sidentifie par le plon-
gement de Segre une sous-varit de Pnm+n+m . Ainsi, X Y est isomorphe
une sous-varit de Pnm+n+m et est donc une varit projective.
4.3. Grassmanniennes
Les grassmanniennes sont des varits algbriques dont les points sont en
bijection avec les sous-espaces vectoriels dun k-espace vectoriel donn. Les
espaces projectifs en sont un cas particulier.
Hermann Gnter Grassmann (18091877)

Un des fondateurs du calcul vectoriel en inventant no-
tamment lalgbre extrieure, il a aussi travaill sur
llectricit, la couleur, la botanique. Du du manque
dintrt port ses travaux, il sest consacr ltude
du sanscrit ; son dictionnaire est toujours utilis !
4.3.1. Construction. Soient p et n deux entiers 1, avec p n. Pour se

donner un p-plan de k n , il suffit de sen donner une base, cest--dire une
matrice A M p,n (k) de p vecteurs lignes dont le rang est p. Dire quune
matrice A M p,n (k) est de rang p quivaut dire quil existe un mineur
p p inversible, cest--dire une partie I {1, . . . , n} de cardinal p telle que
la matrice A I forme en prenant les colonnes dindices dans i soit inversible.
(Gomtriquement, cela signifie que le p-plan dfini par A et le (n p)-
plan engendr par les vecteurs de base dindices non dans I sont en somme
directe.) Comme deux matrices A et A reprsentent le mme p-plan si et
seulement sil existe g GL p (k) tel que A = gA, quitte multiplier A par
A1
I , on peut supposer que A I = id.
Si I {1, . . . , n} est de cardinal p, soit ainsi G I M p,n (k) lensemble des
matrices A dont le mineur A I est lidentit. Cest une sous-varit affine de
M p,n (k) Anp , isomorphe A p(np) (puisque p(n p) est le nombre de
coefficients de A qui restent indtermins). Si J est une partie p lments
de {1, . . . , n}, soit G IJ lensemble des A G I telles que A J est inversible.
Cette condition scrit det A J 0 ; comme le dterminant est une fonction
polynomiale, A det A J est une fonction rgulire sur G I et G I j est un
ouvert de G I . De mme, lapplication
IJ G IJ G JI , A A1
J A
Gabriel Cramer (17041752)

Il fut surtout connu pour son trait sur les courbes al-
gbriques. Il est en effet le premier avoir dmontr
quune courbe plane de degr n est dtermine par
n(n + 3)/2 de ses points, en position gnrale. Cest
au cours de ces travaux quil dveloppa la thorie des
dterminants. Il tudia aussi lanalyse, la mcanique
cleste et lhistoire des mathmatiques.
est un morphisme (car A A1J est donn selon les formules de Cramer par
le quotient de polynmes par la fonction rgulire A det A J et celle-ci ne
sannule pas sur G IJ .
Si K est une troisime partie de {1, . . . , n}, on constate que pour A
G IJ G IK ,
JK IJ (A) = JK (A1 1 1 1
J A) = (A J A K ) (A J A)
= A1 1 1
K A J A J A = A K A = IK (A)
et donc que les (G I , G IJ , IJ ) vrifient la condition de recollement du tho-

rme 3.5.6 pour fournir une varit algbrique G p,n , appele grassmannienne
des p-plans de k n .
4.3.2. Le plongement de Plcker. Montrons maintenant que G p,n est

une varit projective. Soit N = (np) 1. On dfinit une application G p,n
PN . La restriction de G I est donne par A I (A) = (det A K )I , o K
dcrit les N + 1 parties p lments de {1, . . . , n}. Comme le dterminant
est donn par un polynme, I est un morphisme de varits algbriques. Si
A G IJ , on a
det( IJ (A))K = det(A1 1 1
J A)K = det(A J A K ) = det(A J ) det A K ,
si bien que
J ( IJ (A)) = (det A J )1 I (A) = I (A).
Ainsi, les I se recollent en un morphisme G p,n PN .
Montrons que est un isomorphisme de G p,n sur une sous-varit ferme

de PN . Pour cela, on remarque quun point (G p,n ) de coordonnes
homognes ( I ) est dans limage de G I si et seulement si I 0. Ainsi, pour
prouver que limage de G p,n est ferme, il suffit de prouver que limage par
I de G I dans la sous-varit U I de AN+1 dfinie par I = 1 est ferme.
Or, si A G I , la donne de = I (A) permet de retrouver A. Pour simpli-
fier les notations, supposons I = {1, . . . , p}. Alors, si J = I {i} { j}, on
a
1 . . . 0 a1, j

0

0 . . . 1 0 a i1, j

J = det
0 . . . 0 0 . . . 0 a i, j = (1) a i, j .
pi

1 . . . 0 a i+1, j

0
0 . . . 1 a p, j
Ainsi, on peut poser
1 . . . 0 (1) p1 I1+(p+1) . . . (1) p1 I1+n

I UI GI , ( I )
.

0 . . . 1 Ip+(p+1) ... Ip+n
Lapplication I est un morphisme et lon a I I = id si bien que la

restriction de I I I (G I ) est lidentit aussi. Il en rsulte que I (G I ) est
une partie ferme de U I , dfinie par le systme dquations polynomiales
= I ( I ()). On a ainsi prouv que (G p,n ) U I est ferm dans U I pour
toute partie I {1, . . . , n} de cardinal p. Par suite, (G p,n ) est ferm dans
PN .
De plus, I G I (G I ) = (G p,n ) U I est un isomorphisme, ce qui
implique que est un isomorphisme, appel plongement de Plcker de G p,n
sur une sous-varit algbrique de PN .
4.3.3. Relations de Grassmann. Nous allons maintenant dterminer les

quations de limage dune grassmannienne par le plongement de Plcker
et dmontrer que celle-ci est une intersection de quadriques.
Julius Plcker (18011868)

Ses travaux ont port aussi bien sur les mathmatiques
(configuration de droites, combinatoire) que la physique
(magntisme, physique atomique, lectronique).
Exprim de manire intrinsque, cest--dire sans lusage dun systme

de coordonnes explicite, le plongement de Plcker associe au p-plan de
V = k n engendr par les vecteurs v1 , . . . , v p la droite de p V engendre
par le p-vecteur dcomposable v1 v p . Rciproquement, on cherche
une condition ncessaire et suffisante sur un p-vecteur w p V pour tre
dcomposable.
Soit V le dual de V . Pour tout entier p, lunique application bilinaire
p V p V k telle que
1 p , v1 v p = det( i (v j ))
identifie p V au dual de p V . Si q V , soit () loprateur de

contraction p V pq V , adjoint de loprateur pq V p V tel
que : il est caractris par la relation
, ()() = ,
pour pq V et p V .
Si (e1 , . . . , e n ) et (e1 , . . . , e n ) sont des bases de V et V duales lune de
lautre, une base de p V est forme des e I = e i1 e i p o I = {i1 < i2 <
i p } est une partie de {1, . . . , n} p lments. De mme pour p V et les
bases (e I ) et (e I ) sont duales lune de lautre. Alors, on a la formule suivante
pour la contraction :
e K , (e J )(e I ) = e J e K , e I = IJK ,
o IJK vaut 0 si I J K et vaut la signature de la permutation qui envoie la

suite I sur la suite J K sinon. Autrement dit,
(e J )(e I ) = IJK e K .
K
Dans le cas particulier o q = p 1, I = {i1 < < i p } et K = {i j },

on a IJK = (1) p j . On en dduit que pour toute suite de formes linaires
f1 , . . . , f p1 V et toute suite de vecteurs v1 , . . . , v p V , on a
(4.3.3.1) ( f1 f p1 )(v1 v p )
p
= (1) pi f1 f p1 , v1 v i1 v i+1 v p v i .
i=1
Lemme (4.3.4). Soit un lment de p V . Il existe un plus petit sous-

espace vectoriel V de V tel que p V .
Il admet les deux caractrisations supplmentaires suivantes :
son orthogonal dans V est gal lespace vectoriel W des f V tels
que ( f )() = 0 ;
cest limage de lapplication linaire p1 V V donne par
()().
Dmonstration. Soit V lintersection des sous-espaces vectoriels W de

V tels que p W. Soient W et W deux sous-espaces vectoriels de V .
En prenant une base de W W et en la compltant en une base de V qui
contient une base de W et une base de W , on constate que p (W W ) =
p W p W . Par suite, appartient p V et V est le plus petit sous-
espace vectoriel de V ayant cette proprit.
Soit f une forme linaire sur V qui est nulle sur V . Alors, pour tout
p1 V , f , = 0. On a donc , ( f )() = 0 pour tout ,
donc ( f )() = 0. Cela prouve que V est contenu dans le noyau W de
lapplication linaire f ( f )(). Par dualit, W V .
Puisquon veut montrer lgalit V = W , il reste donc prouver
linclusion V W . Compte tenu de la dfinition de V , il suffit donc de
prouver que p W . Soit U un supplmentaire de W dans V ; on a
ainsi une dcomposition

p p p1 p
V = W ( W U) U .
Par dualit, U est un supplmentaire de W dans V , do une dcomposi-
tion de p V :
p p p1 p
V = W ( W U ) U .

On crit donc = i=0 i i , avec i pi W i U. Pour tout

p
f W , on a donc
p
0 = ( f )() = i ( f )( i ).
i=1
Cela entrane que pour i 1, i ()( i ) est nul, autrement dit i = 0 ou

( f )( i ) = 0.
Supposons que i 0. Alors, pour tout f W , ( f )( i ) = 0, et donc,
pour tout i1 V , f , i = 0. Puisque lapplication naturelle de W
dans U est surjective, on a donc i = 0. Ainsi, p W.
Par dualit, lautre caractrisation rsulte du fait que les applications li-
naires
p1

V V, f ( f )()
et
p1
V V, ()()
sont (au signe prs) transposes lune de lautre. Ainsi, le noyau W de la
premire est limage de la seconde.
Proposition (4.3.5). Soit un lment non nul de p V , soit V le plus petit

sous-espace vectoriel de V tel que p V . Les conditions suivantes sont
quivalentes :
(i) est dcomposable ;
(ii) dim V = p ;
(iii) pour tout V , = 0 ;
(iv) pour tout p1 V , ()() = 0.
Dmonstration. Les conditions (i) et (ii) sont trivialement quivalentes

et impliquent visiblement (iii).
Rciproquement, si d = dim V > p, laccouplement p V dp V
d V k est non dgnr. Par suite, il existe un (d p)-vecteur dp V
tel que 0, et donc un vecteur w V tel que w 0.
Daprs le lemme prcdent, V est gal lensemble des ()(), do
lquivalence de (iii) et (iv).
Lorsque parcourt une base de p1 V , on obtient ainsi une famille de
dim p1 V = ( p1
n
) quations quadratiques en les coordonnes de qui
sont satisfaites si et seulement si est dcomposable. Ces relations sont
appeles relations de Grassmann.
4.3.6. Exemple. Pour les expliciter un peu plus, donnons-nous une base
(e1 , . . . , e n ) de V . Les formules ci-dessus montrent que si = I e I ,
e J , (e H ))() = i,H,J H{i} J{i}
iJ H
o i,H,J = 1 si le nombre dlments de J qui sont < i et le nombre dlments

de H qui sont < i ont mme parit, et vaut 1 dans le cas contraire.
La grassmannienne la plus simple qui nest pas un espace projectif est
G2,4 (2-plans de k 4 ). Le plongement de Plcker lidentifie lhypersurface
dquation
z12 z34 z13 z24 + z14 z23 = 0
dans P5 dont les coordonnes homognes sont indexes par les parties
deux lments de {1, 2, 3, 4}.
4.4. Quotients
Soit X une varit algbrique et G un groupe fini agissant sur X par des
automorphismes de varits algbriques. Autrement dit, pour g G, on se
donne un morphisme de varits algbriques (g) X X et on suppose
que (1) = id et (g g ) = (g) (g ). On notera g x = (g)(x). On veut
dfinir un quotient de X par G.
Dfinition (4.4.1). On dit quun couple (Y , p) form dune varit alg-

brique Y et dun morphisme p X Y est un quotient de X par (laction de)
G si :
a) p est G-invariant : pour tout x X et tout g G, p(g x) = p(x) ;
b) pour tout morphisme G-invariant X W, il existe un unique
morphisme Y W tel que = p.
(Cette dfinition est la dfinition gnrale du quotient dans une catgorie.)
Lemme (4.4.2). Si p X Y et p X Y sont deux quotients de X, il

existe un unique isomorphisme Y Y tel que p = p.
Dmonstration. Comme p est G-invariant et p X Y un quotient

de X, il existe un unique morphisme Y Y tel que p = p. De
mme, il existe un unique morphisme Y Y tel que p = p . Alors,
p = p = ( ) p et comme p est un quotient, on a ncessairement
= idY . De mme, = idY . Ainsi, et sont des isomorphismes
rciproques lun de lautre et le lemme est dmontr.
Si G agit sur X, il agit aussi sur (X, O X ) par la formule : si f (X, O X )
et g G, on pose g f la fonction x f (g 1 x).
On a alors la proposition :
Proposition (4.4.3). Soit p X Y un quotient. Par lhomomorphisme p ,

(Y , OY ) est isomorphe lanneau (X, O X )G des fonctions rgulires sur X
qui sont G-invariantes.
Dmonstration. Soit f (Y , OY ). Si g G et x X,
g ( f p)(x) = ( f p)(g 1 x) = f (x)
donc f p = p ( f ) (X, O X )G .
Soit rciproquement f (X, O X )G de sorte que f dfinit un morphisme
X A1 qui est G-invariant. Ainsi, il existe un unique Y A1 tel
que = p. La fonction rgulire f sur Y donne par est ainsi lunique
fonction rgulire sur Y telle que f = f p = p ( f).
Lorsque X est une varit algbrique affine, un point crucial pour

lexistence du quotient de X par G est le thorme suivant.
Thorme (4.4.4) (Noether). Soient k un corps, A une k-algbre de type

fini et G un groupe fini agissant sur A par des automorphismes de k-algbres.
Alors, AG est une k-algbre de type fini.
Remarque (4.4.5). Lorsque le groupe G nest pas fini, la situation est

beaucoup plus subtile et fait lobjet de la thorie des invariants.
Dmonstration. Si a A, le polynme P(X) = (X g a) A[X] est

G-invariant. Ses coefficients sont donc des lments de AG . Comme P est
unitaire et comme P(a) = 0, a est entier sur AG . Il en rsulte que A est entire
sur AG . Comme A est une k-algbre de type fini sur k, A est a fortiori de
type fini sur AG . tant entire, A est un AG -module de type fini. Le thorme
rsulte alors du lemme suivant.
Lemme (4.4.6) (ArtinTate). Soient k A B trois anneaux. On suppose

que k est noethrien, que B est une k-algbre de type fini et que B est un
A-module de type fini. Alors, A est une k-algbre de type fini.
Dmonstration. Soient (x i )1in une famille finie de gnrateurs de B

comme k-algbre et (b j )1 jm une famille finie de gnrateurs de B comme
A-module. IL existe alors des i j A tels que x i = j i j b j et des i jk A
tels que b i b j = k i jk b k . Soit A0 la sous k-algbre de A engendre par les
i j et les i jk . Cest une k-algbre de type fini, donc un anneau noethrien.
Alors le A0 -sous-module de B engendr par les b j est une k-algbre et
contient les x i . Ainsi, B = A0 b j . En particulier, B est un A0 -module de type
fini. Comme A0 est noethrien, tout sous-A0 -module de B est de type fini et
en particulier, A est un A0 -module de type fini et a fortiori une A0 -algbre
de type fini.
Comme A0 est une k-algbre de type fini, A est ainsi une k-algbre de type
fini et le lemme est dmontr.
Corollaire (4.4.7). Si X est une varit algbrique affine, il existe un quotient

p X X/G de X par G. La varit algbrique X/G est affine danneau
A (X)G et le morphisme X X/G est fini(1) et surjectif.
Dmonstration. Soit Z une varit algbrique et X Z un mor-

phisme G-invariant.
On prouve tout dabord quil existe une famille finie de couples ( f i , U i )
o f i A (X)G et U i est un ouvert affine de Z contenant (D( f i )).
On part en effet dun recouvrement ouvert affine (U i ) de Z. Pour tout
i, 1 (U i ) est un ouvert de X stable par G auquel on applique le lemme
suivant.
Lemme (4.4.8). Pour tout ouvert U de X qui est stable par G, il existe une
famille ( f1 , . . . , fr ) dlments de A (X)G telle que U = D( f i ).
Preuve du lemme. Soit Z = X U. Soit x U. Comme U est stable par

G, les g x appartiennent U pour tout g G. Daprs le lemme dvitement
des idaux premiers 1.1.2, il existe f x I (Z) tel que pour tout g, f (g x) 0.
Quitte remplacer f x par g (g f x ), on peut supposer que f x A (X)G .
Alors, D( f x ) U et x D( f x ). Comme U = xU D( f x ) et que lespace
topologie sous-jacent varit algbrique est quasi-compact, on peut en
extraire un sous-recouvrement fini. (Fin de la preuve du lemme)
Alors, i = D( f i ) D( f i ) U i correspond un morphisme de k-algbres
i A (U i ) A (D( f i )) = A (X)[1/ f i ].
Comme est G-invariant, limage de i est alors contenue dans le sous-
anneau
(A (X)[1/ f i ]) = (A (X))G [1/ f i ],
G
si bien que i se factorise de manire unique par un morphisme i D( f i )

Z, o D( f i ) est considr comme un ouvert de X/G, tel que i = i p.
Comme les i sont uniques, ils concident ncessairement sur D( f i )
D( f j ) = D( f i j ), do finalement un unique morphisme X/G Z tel
que = p.
(1)
Pour la dfinition dun morphisme fini de varits algbriques affines, voir la df. 5.1.2...
variste Galois (18111832)

Crateur de la thorie qui porte dsormais son nom,
Galois sut dvelopper la thorie des groupes en elle-
mme pour rsoudre le problme de la rsolution des
quations par radicaux. Son uvre fulgurante sacheva
lge de 21 ans par un suicide en forme de duel...
Il nous reste constater que les points de X/G sont en bijection avec les
orbites de G dans X. Un cas particulier de la proposition suivante est souvent
prouv dans les cours de thorie de Galois.
Proposition (4.4.9). Soient A un anneau, G un groupe fini agissant sur A
et AG lanneau des lments G-invariants. Si q est un idal premier de AG , les
idaux premiers de A au-dessus de q sont conjugus par G.
En particulier, si p X X/G est le quotient dune varit algbrique affine
par laction dun groupe fini G, p induit une bijection entre les G-orbites de
points de X et les points de X/G.
Dmonstration. On commence par remarquer que A est entire sur AG .

Soient p et p deux idaux premiers de A au-dessus de q. On veut prouver
quil existe g G tel que p = g p.
Soit a p , b = gG g a. Alors, b AG p = q = AG p, donc b p.
Comme p est premier, lun des g a appartient p et on a linclusion
p g p.
gG
Daprs le lemme dvitement 1.1.2, il existe g G tel que p g p. Le

thorme de CohenSeidenberg 5.2.6 implique alors que p = g p.
Pour le cas particulier, on rappelle que p X X/G est surjective. Dautre
part, si p(x) = p(x ), la premire partie de la proposition implique que x et
x sont dans la mme orbite sous G, autrement dit, p1 (p(x)) est lorbite de
x par G.
CHAPITRE 5
THORIE LOCALE DES VARITS

ALGBRIQUES
5.1. Le lemme de normalisation de Noether

Thorme (5.1.1) (Lemme de normalisation de Noether)
Soit k un corps, A une k-algbre intgre de type fini. Il existe des lments
a1 , . . . , a n A tel que lunique morphisme de k-algbres k[X1 , . . . , X n ] A
qui applique X i sur a i soit injectif et entier.
Avec ces notations, n nest autre que le degr de transcendance du corps

des fractions de A sur k.
Dmonstration. Soit (x1 , . . . , x m ) une famille dlments de A telle que

A = k[x1 , . . . , x m ]. Nous allons dmontrer le rsultat par rcurrence sur m.
Si m = 0, alors A = K et le rsultat est vrai. Supposons donc le rsultat vrai
pour toute k-algbre qui est engendr par au plus m 1 lments.
Soit k[X1 , . . . , X m ] A lunique morphisme de k-algbres tel que
(X i ) = x i pour tout i. Si est injectif, il suffit de prendre n = m et
a i = x i pour tout i. Supposons donc quil existe un polynme non nul
P k[X1 , . . . , X m ] tel que P(x1 , . . . , x m ) = 0. Nous allons dmontrer quil
existe des entiers strictement positifs r1 , . . . , r m1 tels que A soit entire sur
la sous-algbre B engendre par y2 , . . . , y m , o lon pose y i = x i x1r i pour
i {2, . . . , m}. Puisque x i = y i +x1r i pour tout i 2, observons que A = B[x1 ].
Il suffit donc de trouver des entiers r i tels que x1 soit entier sur B.
Soient (cn ) les coefficients de P, de sorte que
m
P = cn X in i .
nNm i=1
76 CHAPITRE 5. THORIE LOCALE DES VARITS ALGBRIQUES
Soit r un entier qui est strictement plus grand que le degr de P en chaque
variable ; autrement dit, pour tout n Nm , on a cn = 0 sil existe i tel que
n i r. Nous allons prouver que les entiers r i = r i1 conviennent.
On dfinit un polynme Q B[T] par
Q(T) = P(T, y2 + T r2 , . . . , y m + T r m )
= cn T n1 (y2 + T r2 )n2 . . . (y m + T r m )n m
nNm
n2 nm
n2 nm n j n j
= . . . ( ) . . . ( )cn y2 2 2 . . . y mm m T n1 +i=2 j i r i
m
nNm j 2 =0 j m =0 j2 jm
et on observe que Q(x1 ) = P(x1 , x2 , . . . , x m ) = 0. Dmontrons que le coeffi-

cient dominant de Q est inversible.
Munissons Nm de l ordre lexicographique inverse : par dfinition,
(n1 , . . . , nm ) < (n1 , . . . , n m ) si et seulement si nm < n m ou nm = n m et
nm1 < n m1 , ou... Soit n Nm le plus grand multi-indice tel que cn 0. Pour
tout autre multiindice n Nm tel que cn 0, on a ni < r pour tout i, de
sorte que pour tous j2 {0, . . . , n2 }, . . ., j m {0, . . . , n m }, on a
n1 + j2 r2 + + j m r m n1 + n2 r + + nm r m1 < n1 + n2 r + + n m r m1 .
Cela entrane que le degr de Q est infrieur ou gal N = n1 + n2 r + +

n m r m1 et que seul le terme avec j k = n k pour k {2, . . . , m} contribue
au coefficient de T N , qui est donc gal cn . En particulier, le coefficient
dominant de Q est unitaire et x1 est entier sur B. Par suite, lanneau A = B[x1 ]
est entier sur B.
Par rcurrence, il existe un entier n m 1 et des lments a1 , . . . , a n B
tels que lunique morphisme f1 k[X1 , . . . , X n ] B tel que f (X i ) = a i pour
tout i {1, . . . , n} soit injectif et entier. Le compos f de f1 avec linjection
de B dans A est encore injectif ; il est aussi entier puisque B est entier sur A.
Cela conclut la preuve du thorme.
On peut reformuler le lemme de normalisation de Noether laide de la

notion suivante :
CHAPITRE 5. THORIE LOCALE DES VARITS ALGBRIQUES 77
Dfinition (5.1.2). Soit f X Y un morphisme de varits algbriques af-

fines. On dit que f est fini si par lhomomorphisme de k-algbres f A (Y)
A (X), A (X) est entier sur A (Y).
Les morphismes finis vrifient les proprits suivantes :
Proposition (5.1.3). Soit f X Y un morphisme fini de varits alg-

briques affines.
a) Limage dun ferm de X par f est ferm dans Y.
b) Le morphisme f est surjectif si et seulement si lhomomorphisme
f A (Y) A (X) est injectif.
c) Pour tout y Y, f 1 (y) est un ensemble fini.
Dmonstration. a) Soit I un idal de A (X). Prouvons que limage par f

de V (I) est ferme dans Y. Par la bijection entre idaux maximaux et points,
V (I) correspond aux idaux maximaux de A (X) contenant I. Considrons
lhomomorphisme injectif
A (Y)/( f )1 (I) A (X)/I
induit par f . Cet homomorphisme est donc entier, ce qui permet
dappliquer le thorme de CohenSeidenberg 5.2.6 : les idaux maximaux
de A (Y)/( f )1 (I) sont les ( f )1 (m) pour un idal maximal m de
A (X)/I. Autrement dit, lorsque m dcrit les idaux maximaux de A (X)
contenant I, ( f )1 (m) dcrit exactement lensemble des idaux maximaux
de A (Y) contenant ( f )1 (I). On a ainsi prouv que
f (V (I)) = V (( f )1 (I)),
ce qui prouve que limage dun ferm est un ferm.
b) En appliquant le a) I = 0, on voit que f (X) = V (ker
f ). Ainsi, f est
surjectif si et seulement si V (ker f ) = Y, cest--dire ker f = (0), donc
ker f = (0) puisque A (Y) est rduit.
c) Si n est un idal maximal de A (Y), il faut montrer que A (X) na
quun nombre fini didaux m tels que n = ( f )1 (m). De tels m contiennent
f (n)A (X), si bien quil suffit de prouver que A (X)/ f (n)A (X) na
quun nombre fini didaux maximaux. Or, A (X)/ f (n)A (X) est entire
sur A (Y)/n = k, donc de dimension finie sur k daprs le thorme des

zros de Hilbert 3.2.1. Le thorme dAkizuki implique alors quelle na
quun nombre fini didaux maximaux.
Alors, le lemme de normalisation 5.1.1 prend la forme gomtrique sui-
vante :
Thorme (5.1.4) (Lemme de normalisation, forme gomtrique)

Si X est une varit algbrique affine, il existe un entier n 0 et un mor-
phisme fini et surjectif f X An .
Exercice (5.1.5). Lorsque k est un corps infini, reprendre la dmonstration

du lemme de normalisation de Noether en montrant que lon peut effectuer
le changement de variables z i = y i a i y1 pour des a i k bien choisis. Si
X Am est une varit algbrique de dimension n, en dduire quil existe
une projection linaire Am An telle que la composition X Am An
soit un morphisme fini et surjectif.
5.2. Dimension
Rappelons quune chane est une suite finie strictement croissante dun
ensemble ordonn.
Dfinition (5.2.1). Soit Z une varit algbrique. On appelle dimension

de Z la borne suprieure des longueurs des chanes de ferms irrductibles
Z0 Z1 Z n Z.
Lemme (5.2.2). La dimension dune varit algbrique est le maximum

des dimensions de ses composantes irrductibles.
Dmonstration. Cest clair, toute chane tant contenue dans un ferm

irrductible maximal, cest--dire une composante irrductible.
Dfinition (5.2.3). Soit A un anneau. On appelle dimension de Krull de

A la borne suprieure des longueurs des chanes p0 p1 pn didaux
premiers de A.
Wolfgang Krull (18991971)

Ses contributions en algbre commutative sont au-
jourdhui invitables : invention des anneaux locaux,
de la dimension, tude des algbres entires et notam-
ment une premire tude du relvement des idaux
premiers dans une extension entire, mais aussi thorie
de Galois des extensions infinie, thorie des valuations,
etc.
Il rsulte de la correspondance entre ensembles algbriques affines irr-

ductibles et idaux premiers (thorme des zros de Hilbert) le lemme :
Lemme (5.2.4). Si Z est une varit algbrique affine, dim(Z) =

dim(A (Z)).
Remarque (5.2.5). Lanneau nul na pas didaux premiers, la varit

algbrique vide na pas de ferms irrductibles ; leurs dimensions sont donc
gales . Le rsultat principal de ce paragraphe, le thorme 5.2.9 entrane
que la dimension dune varit algbrique non vide est finie.
Il est facile de construire des anneaux de dimension infinie, par exemple
lanneau k[X1 , X2 , . . . ] des polynmes en une infinit dindtermines. Le
mathmaticien japonais Nagata a mme donn des exemples danneaux
noethriens de dimension infinie.
Thorme (5.2.6) (CohenSeidenberg). Soient A B deux anneaux tels

que B soit entier sur A.
a) Soient q un idal premier de B et p = q A. Alors p est maximal si et
seulement si q est maximal.
b) Soient q q deux idaux premiers de B tels que q A = q A. Alors,
q = q .
c) Pour tout idal premier p de A, il existe un idal premier q de B tel que
q A = p.
Dmonstration. a) On a une inclusion danneaux intgres A/p B/q

et B/q est entier sur A/p. Daprs le lemme 1.5.2, A/p est un corps si et
seulement si B/q est un corps. Cela revient dire que p est maximal si et
seulement si q est maximal.
b) Notons p = q A et localisons par rapport la partie multiplicative
A p, do une inclusion entire danneaux Ap Bp . Comme qBp Ap =
q Bp Ap = pAp est maximal, qBp et q Bp sont tous deux maximaux, et par
consquent gaux. Il en rsulte q = q puisque lapplication q qBp dfinit
une bijection de lensemble des idaux premiers de B ne rencontrant pas p
sur lensemble des idaux premiers de Bp .
c) Localisons par rapport la partie multiplicative A p. Daprs a),
lintersection de tout idal maximal de Bp avec Ap est gale lunique idal
maximal pAp de Ap . Un tel idal est de la forme qBp pour un idal premier
q de B. On a alors qBp Ap = pAp , do lon dduit que p = q A. En effet,
si b q A, b/1 qBp Ap = pAp ; il existe donc a A p tel que ab p,
do b p puisque p est premier. Rciproquement, si a p, a/1 qBp , ce qui
implique quil existe a A p tel que aa q. Comme a / p, a / q et, q
tant premier, a q.
Corollaire (5.2.7). Soient A B deux anneaux. Si B est entier sur A, alors

A et B ont mme dimension (finie ou infinie).
Dmonstration. Soit q0 qn une chane didaux premiers de B. En

prenant les intersections avec A, on obtient daprs le thorme 5.2.6, b), une
chane didaux premiers (q0 A) (qn A) de A, ce qui implique
dim(A) dim(B).
Inversement, soit p0 pn une chane didaux premiers de A et
montrons quil existe une chane q0 qn didaux premiers de B telle
que qr A = pr . Choisissons un idal premier q0 de B tel que q0 A = p0 , ce
qui est possible daprs le c) du thorme 5.2.6. Soit alors r < n et supposons
avoir construit q0 , . . . , qr par rcurrence. On applique alors le mme rsultat
linclusion A/pr B/qr et lidal premier pr+1 (A/pr ) de A/pr . Ainsi,
dim(B) dim(A).
Exercice (5.2.8). Dduire le thorme des zros de Hilbert (sous sa

forme 3.2.1) du thorme de CohenSeidenberg et du lemme de normalisa-
tion de Noether (thorme 5.1.1).
Thorme (5.2.9). Soit k un corps et soit A une k-algbre de type fini intgre.
On a dim(A) = deg. tr(k(A)).
En particulier, la dimension dune varit algbrique affine est finie.
Dmonstration (daprs Perrin (1994)). Lorsque le degr de transcen-
dance de A sur k est nul, tout lment de A est algbrique sur k, donc entier.
Ainsi, A est un corps et dim(A) = 0.
On dmontre alors le thorme par rcurrence sur le degr de transcen-
dance de A sur k. Daprs le lemme de normalisation 5.1.1, A est entire
sur une sous-algbre k[a1 , . . . , a n ] isomorphe lalgbre de polynmes
k[X1 , . . . , X n ]. Daprs le thorme de CohenSeidenberg 5.2.6, on a
dim(A) = dim(k[a1 , . . . , a n ]) = dim(k[X1 , . . . , X n ]). Dautre part, A tant
entire sur k[a1 , . . . , a n ], ces deux algbres ont mme degr de transcen-
dance, savoir n. Il suffit ainsi de prouver que dim(k[X1 , . . . , X n ]) = n,
rsultat qui mrite davoir son numro lui, puisquil signifie que lespace
affine An est de dimension n.
Thorme (5.2.10). Soit k un corps. On a
dim(k[X1 , . . . , X n ]) = dim(An ) = n.
Preuve (en supposant dmontr le thorme 5.2.9 en dimension < n)
La chane didaux premiers
(0) (X1 ) (X1 , X2 ) (X1 , . . . , X n )
prouve que dim(k[X1 , . . . , X n ]) n. Considrons une chane didaux pre-
miers (0) p1 pr de k[X1 , . . . , X n ].
Considrons la k-algbre intgre A = k[X1 , . . . , X n ]/p1 . Comme p1 (0),
il existe une relation de dpendance algbrique non triviale entre les images x i
des X i dans A . Cela implique que lun des x i , disons x n est algbrique sur le
corps des fractions de la sous-algbre k[x1 , . . . , x n1 ] A qui est de degr
de transcendance n 1. Ainsi, le degr de transcendance de A est n 1.
Dautre part, sa dimension est au moins r 1. Par rcurrence, on obtient

r 1 dim(A ) deg. tr(A ) n1 do r n. Ainsi, dim(k[X1 , . . . , X n ])
n, do finalement lgalit voulue.
Corollaire (5.2.11). Soit X une varit algbrique irrductible. On a
dim(X) = deg. tr(k(X)).
Dmonstration. Soit Z0 Zr une chane de ferms irrductibles
de X. Soit U un ouvert affine de X tel que Z0 U ; daprs la proposi-
tion 2.4.2, la suite
Z0 U Z1 U Z r U
de ferms de U est une chane de ferms irrductibles. Daprs le tho-
rme 5.2.9, il en rsulte lingalit
r dim(U) = deg. tr(k(U)) = deg. tr(k(X)),
car les extensions k(X) et k(U) de k sont isomorphes. Par suite, dim(X)
deg. tr(k(X)).
Inversement, soit U un ouvert affine non vide de X, posons r = dim(U)
et choisissons une chane Z0 Zr de ferms irrductibles de U. Alors,
Z0 Zr est une chane de ferms irrductibles de X, do lingalit
dim(X) dim(U) = deg. tr(k(X)).
Thorme (5.2.12). Soient X et Y deux varits algbriques. Alors,
dim(X Y) = dim(X) + dim(Y).
Dmonstration. Notons (X i ) et (Yj ) les familles des composantes irr-
ductibles de X et Y. La varit X Y est runion des ferms irrductibles
X i Yj ; ce sont ses composantes irrductibles. On a donc
dim(X Y) = sup dim(X i Yj ).
i, j
Supposons avoir dmontr que dim(X i Yj ) = dim(X i ) + dim(Yj ) ; alors,

dim(X Y) = sup dim(X i ) + dim(Yj ) = dim(X) + dim(Y).
i, j
On peut donc supposer que X et Y sont irrductibles.

Soient U et V deux ouverts affines non vides de X et Y respectivement.

Ainsi, U est dense dans X, dim(U) = deg. tr(k(U)) = deg. tr(k(X)) =
dim(X) ; de mme, dim(V ) = dim(Y). De plus, U V est dense dans X Y,
donc dim(U V ) = dim(X Y). Nous sommes ainsi ramens au cas o X
et Y sont affines.
Daprs le lemme de normalisation de Noether 5.1.1 il existe un sous-
anneau de A (U) isomorphe lanneau k[X1 , . . . , X n ] des polynmes en
n variables sur lequel A (U) est entier ; de mme, A (V ) est entier sur un
sous-anneau isomorphe lanneau des polynmes en m variables. Alors, on
constate que A (U V ) = A (U) k A (V ) est entier sur k[X1 , . . . , X n ] k
k[Y1 , . . . , Ym ] = k[X1 , . . . , X n , Y1 , . . . , Ym ]. Daprs le corollaire 5.2.6 au tho-
rme de CohenSeidenberg, on a n = dim(U), m = dim(V ) et n + m =
dim(U V ).
5.3. Codimension
Dfinition (5.3.1). Soit X une varit algbrique et soit Y un ferm irr-
ductible de X. La codimension de Y dans X, note codim(Y , X) est la borne
suprieure des entiers n tels quil existe une chane de ferms irrductibles
Y = Y0 Y1 Yn X.
On voit que la codimension de Y dans X est le maximum des codimensions

de Y dans les composantes irrductibles de X qui contiennent Y.
Dfinition (5.3.2). Soient A un anneau et p un idal premier de A. On

appelle hauteur de p, note ht(p), la borne suprieure des entiers n tels quil
existe une chane didaux premiers
p0 p1 . . . pn = p.
Cest ainsi la dimension de lanneau local Ap .
Si X est une varit algbrique affine, le dictionnaire entre idaux premiers

de A (X) et ferms irrductibles de X implique lgalit
(5.3.2.1) codim(Y , X) = ht(I (Y)) dans lanneau A (X).
Remarque (5.3.3). Nagata a prouv que la dimension dun anneau local

noethrien est finie, cf. le thorme 5.4.7. Ainsi, la hauteur dun idal premier
arbitraire dun anneau noethrien est finie. Dans notre cas, celui des k-
algbres de type fini, cest une consquence du thorme 5.2.9 puisque par
dfinition codim(Y , X) dim(X) et ht(p) dim(A).
Lemme (5.3.4). Soit X une varit algbrique irrductible et soit U un

ouvert non vide de X. Pour tout ferm irrductible Z X tel que Z U ,
on a codim(Z, X) = codim(Z U , U).
Dmonstration. Si Z = Z0 Zr est une chane de ferms irrduc-

tibles de X, la suite Z U = Z0 U Zr est une chane de ferms
irrductibles de U, car Z U (prop. 2.4.2). Par suite, codim(Z U , U)
codim(Z, X).
Inversement, daprs cette mme proposition, si Z U = Y0 Yr
est une chane de ferms irrductibles de U, leurs adhrences constituent
une chane de ferms irrductibles de X, et Z U = Z. Il en rsulte que
codim(Z, X) codim(Z U , U).
Les varits algbriques affines irrductibles de codimension 1 dans

lespace affine An sont les hypersurfaces :
Proposition (5.3.5). Soit Z An un ferm irrductible de codimension 1.

Lidal I (Z) est principal, engendr par un polynme irrductible de
k[X1 , . . . , X n ].
Dmonstration. Soit f k[X1 , . . . , X n ] un lment non nul quelconque

de lidal de Z. Comme I (Z) est premier, f nest pas inversible et I (Z)
contient lun de ses facteurs irrductibles. Cela permet de supposer que f
est irrductible. Comme k[X1 , . . . , X n ] est un anneau factoriel, lidal ( f )
est un idal premier. Linclusion (0) ( f ) I (Z) jointe lhypothse
codim(Z, An ) = 1 implique que I (Z) = ( f ).
Remarque (5.3.6). Ce rsultat stend en remplaant An par toute varit

algbrique affine X telle que A (X) est un anneau factoriel.
laide de ce rsultat, nous allons tablir le lien entre dimension et codi-

mension. Il nous faut tout dabord expliciter le comportement de la codi-
mension lors dun morphisme fini.
Thorme (5.3.7) (Deuxime thorme de Cohen-Seidenberg)
Soient A B deux anneaux. On suppose que B est intgre, que A est
intgralement clos et que B est une A-algbre finie (cest--dire entire et de
type fini). Si p0 pr est une chane didaux premiers de A et qr un idal
premier de B tel que qr A = pr , il existe des idaux premiers q0 qr1 qr
tels que pour tout i, qi A = pi .
Dmonstration. Notons K le corps des fractions de A, F celui de B et
soit F une extension finie de K contenant F et normale. Soit B la clture int-
grale de A dans F , cest--dire lensemble des lments de F qui sont entiers
sur A. Daprs le premier thorme de Cohen-Seidenberg (thorme 5.2.6),
il existe des idaux premiers q0 qr de B tels que pi = qi A. Soit aussi
qr un idal premier de B tel que qr B = qr .
Comme A est intgralement clos, le lemme suivant (une variante de la
proposition 4.4.9) affirme lexistence dun automorphisme de F tel que
K = id et tel que (qr ) = qr . Posons alors pour 1 i r 1, qi = (qi ) B.
On a q0 qr et pour tout i, on a
qi A = (qi ) B A = (qi A) = (pi ) = pi
do le thorme.
Lemme (5.3.8). Soit K F une extension finie normale de corps. Soit
A K un sous-anneau intgralement clos et F la clture intgrale de A dans
F. Si p est un idal premier de A, le groupe G des automorphismes de F qui
sont lidentit sur K opre transitivement sur lensemble des idaux premiers q
de B tels que q A = p.
Dmonstration. Soient q et q deux idaux premiers de B au-dessus de A.
Si x q , y = G (x) est un lment de F invariant par tout lment
de G. La thorie de Galois implique que y est radiciel sur K, cest--dire
quil existe q 1 (q = 1 si F/K est sparable, q est une puissance de la
caractristique de K sinon) tel que y q K. Comme x est entier sur A, tous
les (x) sont aussi entiers et y q est entier sur A. Comme A est intgralement
clos, y q A et donc y q q A = p, donc y q q. Comme q est premier, on a
ainsi y q et il existe G tel que (x) q. Nous avons ainsi prouv que
q G (q).
Comme B est intgralement clos, tout lment G est tel que (B) = B.
Les idaux (q) sont alors des idaux premiers de B et daprs le lemme
dvitement des idaux premiers 1.1.2, q est contenu dans lun dentre eux.
Si q (q), comme q A = q A = (q) A, on a daprs le thorme 5.2.6,
b), lgalit q = (q).
Le lemme est ainsi dmontr.
Corollaire (5.3.9). Soit A B deux anneaux. On suppose que B est intgre,

fini sur A et que A est intgralement clos. Alors, pour tout idal premier q de B,
on a ht(q) = ht(q A).
Thorme (5.3.10). Soit A une k-algbre de type fini intgre. Pour tout idal
premier p de A, ht(p) = dim(A) dim(A/p).
Dmonstration. Lingalit ht(p)+dim(A/p) dim(A) est claire (consi-

drer une chane didaux premiers contenue dans p, une autre contenant
dans p et les mettre bout bout).
Daprs le lemme de normalisation de Noether, il existe x1 , . . . , x n A
algbriquement indpendants tels que A est entire et de type fini sur B =
k[x1 , . . . , x n ]. Soit q = pB. Daprs le thorme 5.2.6, on a ainsi dim(A) = n
et dim(A/p) = dim(B/q). Daprs le corollaire 5.3.9 au deuxime tho-
rme 5.3.7 de Cohen-Seidenberg, on a aussi ht(q) = ht(p). Ainsi, il suffit de
dmontrer le rsultat lorsque A = k[x1 , . . . , x n ]. Par rcurrence, il suffit aussi
de le vrifier lorsque ht(p) = 1.
Dans ce cas, A tant factoriel, p est principal engendr par un poly-
nme irrductible f (proposition 5.3.5). Le degr de transcendance de
k[x1 , . . . , x n ]/( f ) est alors au moins n 1 : si f fait intervenir la variable
x n , x1 , . . . , x n1 sont algbriquement indpendants dans A/( f ). En effet,
toute relation de dpendance P(x1 , . . . , x n1 ) = 0 dans A/( f ) signifie que
P ( f ) k[x1 , . . . , x n ] ce qui implique P = 0 si degx n f 0.
Daprs le thorme 5.2.9, dim(A/p) n 1, do lingalit ht(p) +

dim(A/p) n et compte tenu de lautre ingalit, le thorme est dmontr.
La version gomtrique de ce thorme est la suivante.
Thorme (5.3.11). Soit X une varit algbrique affine irrductible et Y X

un ferm irrductible. On a codim(Y , X) + dim(Y) = dim(X).
Corollaire (5.3.12). Soit X une varit algbrique irrductible. Toutes les

chanes maximales de ferms irrductibles de X ont pour longueur dim(X).
Dmonstration. Considrons une chane maximale de ferms irrduc-

tibles Z0 Zr = X. Ainsi, Z0 est un point {x} ; soit U un ouvert affine
de X contenant x. Remarquons que la suite Z0 U Zr U est une
chane maximale de ferms irrductibles de U. Par suite, les thormes 5.3.11
et 5.2.9 impliquent les galits
r = codim({x}, U) = dim(U) dim({x}) = dim(U)

= deg. tr(k(U)) = deg. tr(k(X)).
Le thorme est donc dmontr.
5.4. Systmes de paramtres

Dans la suite de ce paragraphe, on tudie la dimension des ferms dune
varit algbrique affine dfinis par r quations. On commence naturellement
par le car r = 1.
Thorme (5.4.1). Soient X une varit algbrique affine irrductible et

f A (X) un lment non nul. Les composantes irrductibles de V ( f ) sont
toutes de codimension 1.
Ce thorme est la traduction gomtrique du thorme algbrique sui-

vant :
Thorme (5.4.2) (Hauptidealsatz de Krull). Soient A un anneau noeth-

rien et f un lment de A. Les idaux premiers minimaux de A parmi ceux
contenant f sont de hauteur 1.
En particulier, si f nest pas diviseur de 0, f nappartient aucun idal
premier minimal de A et les idaux premiers minimaux de A contenant f sont
de hauteur exactement 1.
Dmonstration. Soit p un idal premier minimal parmi ceux qui

contiennent f . Il faut montrer que p est de hauteur 1 dans A, cest--dire
quil nexiste pas de chane didaux premiers q q p dans A.
Quitte quotienter par q , on peut supposer A intgre et il faut ainsi
montrer que (0) est le seul idal premier de A contenu dans p. En remplaant
lanneau A par son localis Ap et f par son image dans Ap , on peut de plus
supposer que A est local didal maximal p.
Soit ainsi q p un idal premier de A et montrons que q = (0). Lhypothse
que p est minimal parmi les idaux premiers contenant f implique que f / q.
Pour tout n 1, on pose alors qn = qn Aq A. Cest lensemble des a A tels
quil existe b / p tel que ab qn . On a pour tout n linclusion qn qn+1 .
Les idaux premiers de lanneau A/ f A correspondent aux idaux premiers
de A qui contiennent f . Ainsi, p(A/ f A) est le seul idal premier de A/ f A.
Cet anneau est donc de dimension 0. Comme il est noethrien, il est ainsi
artinien. Par suite, la suite dcroissante didaux qn (A/ f A) est stationnaire
et il existe un entier N 1 tel que pour n N,
qn + f A = qn+1 + f A.
Si x qn , il existe ainsi a A tel que x + a f qn+1 , do en particulier a f qn ,

et donc a qn puisque f / q. Ainsi, x qn+1 + f qn et par consquent, on a
lgalit
qn = qn+1 + f qn
et a fortiori, puisque f p,
qn = qn+1 + pqn .
Daprs le lemme de Nakayama 1.3.3, on a ainsi qn = qn+1 pour tout n N.

Par suite, en prenant n = N, on a
qN Aq = qN Aq = qN+1 Aq = qN+1 Aq = q qN Aq .
Le lemme de Nakayama implique alors que qN Aq = 0, et donc, q tant

premier, qAq = 0. On a ainsi q = 0, comme il fallait dmontrer.
La dernire assertion dcoule de ce que la runion des idaux premiers
minimaux de A contient lensemble des diviseurs de 0. (Sous lhypothse
inutile que A est rduit, cela fait lobjet dune partie de la proposition 1.3.1 ;
en fait, la preuve de cette proposition prouve linclusion voulue dans le cas
prsent.)
On peut alors tendre par rcurrence le thorme 5.4.1 aux ferms de

codimension suprieure.
Corollaire (5.4.3). Soient X une varit algbrique affine irrductible

et f1 , . . . , fr des lments de A (X). Les composantes irrductibles de
V ( f1 , . . . , fr ) sont toutes de codimension infrieure ou gale r.
Dmonstration. Le rsultat est trivialement vrai pour r = 0. Supposons le

vrai pour r1 et soit Z une composante irrductible de V ( f1 , . . . , fr ). Comme
Z est contenu dans V ( f1 , . . . , fr1 ), Z est contenu dans une composante
irrductible Z et est ainsi une composante irrductible de Z V ( fr ). Par
rcurrence, codim(Z , X) r 1 tandis que le thorme 5.4.1 implique que
codim(Z, Z ) 1. Par suite,
codim(Z, X) = dim(X) dim(Z)

= (dim(X) dim(Z) ) + (dim(Z) dim(Z))
= codim(Z , X) + codim(Z, Z )
r 1 + 1 = r.
Autrement dit, les composantes irrductibles dun ensemble algbrique

dfini par r quations sont de codimension au plus r. Inversement :
Proposition (5.4.4). Soit Z X un ferm irrductible de codimension r. Il

existe alors f1 , . . . , fr A (X) tels que toutes les composantes irrductibles de
V ( f1 , . . . , fr ) soient de codimension r et que Z soit lune dentre elles.
Dmonstration. Si r = 0, Z est une composante irrductible de X. Si r 1,

Z ne contient aucune composante irrductible de X, donc son idal I (Z)
nest contenu dans aucun des idaux premiers minimaux de A (X). Daprs
le lemme dvitement 1.1.2, I (Z) nest pas contenu dans leur runion.
Daprs la proposition 1.3.1, il existe ainsi f1 I (Z) non diviseur de 0
dans A (X). Daprs le thorme 5.4.1, les composantes irrductibles de
V ( f1 ) sont toutes de codimension 1 et Z est contenu dans lune dentre elles.
Par rcurrence, il existe f2 , . . . , fr A (V ( f1 )) = A (X)/ ( f1 ) tels que les
composantes irrductibles de V ( f1 , f2 , . . . , fr ) soient toutes de codimension
r 1 dans V ( f1 ) et Z est contenu dans lune dentre elles. Autrement dit, les
composantes irrductibles de V ( f1 , . . . , fr ) sont toutes de codimension r et
Z est lune dentre elles.
Exercice (5.4.5). En utilisant le lemme dvitement 1.1.2, montrer le rsul-

tat suivant : Soit Z = Zr Zr1 Z1 X une chane de ferms irrduc-
tibles, avec codim(Z i , X) = i pour i {1, . . . , r}. Il existe f1 , . . . , fr A (X)
tels que pour tout i, toutes les composantes irrductibles de V ( f1 , . . . , f i )
sont de codimension i et Z i est lune dentre elles. (Voir Mumford (1994),
Cor. 4, p. 62, pour une dmonstration.)
Exercice (5.4.6). Soit f A1 A3 le morphisme dfini par f (t) =

(t 3 , t 4 , t 5 ). Montrer que limage de f est un ferm irrductible de codimen-
sion 2 dans A3 mais que son idal nest pas dfini par deux quations. (Lidal
I ( f (A1 )) est constitu des polynmes p k[X, Y , Z] tels que pour tout t,
p(t 3 , t 4 , t 5 ) = 0. On prouvera quil est engendr par Y 2 XZ, X 3 Y Z et
X 5 Z 3 puis que cet idal dfinit exactement f (A1 ). Enfin, montrer que cet
idal nest pas engendr par deux lments en considrant les composantes de
degr 2.) On dit que f (A1 ) nest pas intersection complte dans A3 .
Les corollaires 5.4.3 et 5.4.4 ont la formulation algbrique suivante :

Thorme (5.4.7). Soit A un anneau local noethrien ; notons m son idal

maximal. Alors, la hauteur ht(m) de m est le plus petit entier n tel quil existe
f1 , . . . , f n m tels que m = ( f1 , . . . , f n ).
Dmonstration. Remarquons tout dabord que si A est un anneau lo-

cal didal maximal m, alors m = ( f1 , . . . , f n ) quivaut au fait que m est
lunique idal premier de A contenant ( f1 , . . . , f n ).
Dmontrons par rcurrence sur n que si m = ( f1 , . . . , f n ), alors
ht(m) n. Si ht(m) = 0, il ny a rien dmontrer. Soit sinon p m un idal
premier de A maximal parmi les idaux premiers de A distincts de m. Nous
allons prouver que ht(p) n 1, do il rsultera, p tant arbitraire, que
ht(m) n.
Lhypothse sur la suite ( f1 , . . . , f n ) implique que lun des f i , soit f1 ,
nappartient pas p. Alors, m est lunique idal premier de A qui contient
p + ( f1 ). Par consquent, m est nilpotent modulo p + ( f1 ) et il existe m 1,
a2 , . . . , a n A et g2 , . . . , g n p tels que
f2m = a2 f1 + g2 , ,..., f nm = a n f1 + g n .
Par suite, dans lanneau A/(g2 , . . . , g n ), m est un idal premier minimal
contenant f1 . Daprs le Hauptidealsatz 5.4.2, la hauteur de m dans cet anneau
est 1. Les inclusions m p (g2 , . . . , g n ) impliquent alors que p est un idal
premier minimal de A contenant (g2 , . . . , g n ). Par rcurrence, ht(p) n 1
et ht(m) n.
Dmontrons maintenant par rcurrence sur n = ht(m) quil existe
f1 , . . . , f n m tel que m soit lunique idal premier de A contenant les f i .
Si ht(m) = 0, m est lunique idal premier de A et la famille vide convient.
Si ht(m) = n 1, remarquons que m nest contenu dans aucun idal pre-
mier minimal de A et daprs le lemme dvitement 1.1.2 nest pas contenu
dans leur runion. Il existe ainsi f1 m qui nest contenu dans aucun idal pre-
mier minimal de A et daprs le Hauptidealsatz (thorme 5.4.2), la hauteur
de tout idal premier de A qui est minimal parmi ceux contenant ( f1 ) est gale
1. La hauteur de m/( f1 ) dans A/( f1 ) est ainsi infrieure ou gale n 1. (On
peut prolonger toute chane didaux premiers de A/( f1 ) par un des idaux
premiers minimaux de A.) Par rcurrence, il existe f2 , . . . , f n m tels que la
hauteur de m/( f1 , . . . , f n ) dans A/( f1 , . . . , f n ) est nulle, ce qui prouve qui m

est un idal premier minimal parmi ceux qui contienent ( f1 , . . . , f n ).
Corollaire (5.4.8). Dans un anneau noethrien, la hauteur de tout idal

premier est finie. En particulier, un anneau local noethrien (non nul) est de
dimension finie.
Dmonstration. En effet, dans un anneau noethrien, tout idal admet

une famille gnratrice finie.
5.5. Espace tangent

Dfinition (5.5.1). Soit X An une varit algbrique affine et soit x X.
Lespace tangent X en x est le sous-espace vectoriel Tx (X) de k n dfini par
les quations
n
f
(x)u i = 0,
i=1 X i
o f parcourt lensemble des lments de I (X).
Remarque (5.5.2). Soient f1 , . . . , fr des lments de k[X1 , . . . , X n ] tels que

I (X) = ( f1 , . . . , fr ). Alors, Tx (X) est dfini par les quations
n n
f1 fr
(x)u i = = (x)u i = 0.
i=1 X i i=1 X i
En effet, le sous-espace vectoriel Tx (X) dfini par ces quations

contient Tx (X), par hypothse. Inversement, soit u Tx (X) et soit
f I (X). Soit g1 , . . . , gr des polynmes tels que f = g1 f1 + + gr fr . On a
donc
n n r fj g j
f
(x)u = g j (x) (x) + (x) f j (x) u i
i=1 j=1
i
i=1 X i X i X i
r n fj
= g j (x) ( (x)u i ) = 0,
j=1 i=1 X i
do u Tx (X).
En particulier, la codimension de Tx (X) dans k n est gale au rang de la

matrice jacobienne ( Xji (x)).
f
Cette dfinition est concrte mais se prte mal aux manipulations car
elle dpend du plongement de X dans An choisi. On va ainsi donner des
dfinitions quivalentes.
Dfinition (5.5.3). On appelle drivation en x tout homomorphisme k-

linaire D A (X) k tel que pour tous f , g A (X),
D( f g) = f (x)D(g) + g(x)D( f ).
On note Derx (X) lensemble des drivations en x.
Proposition (5.5.4). On a des isomorphismes canoniques de k-espaces vec-

toriels :
Tx (X) Derx (X) (mx /m2x ) .
Dmonstration. On construit trois homomorphismes.

Si u = (u i ) Tx (X), on dfinit un homomorphisme de k-espaces vecto-
riels Du k[X1 , . . . , X n ] k en posant
n
f
Du ( f ) = (x)u i .
i=1 X i
Il est clair que Du est une drivation en x, mais sur An . Il reste ainsi prouver
que I (X) est contenu dans le noyau de Du . Or, si f I (X), on peut crire
f = a j f j pour des polynmes a j k[X1 , . . . , X n ]. Alors,
n fj a j
f
(x)u i = a j (x) (x)u i + f j (x) (x)u i = 0
i=1 X i j i X i i i X i
car u Tx (X) (pour la premire somme) et x X (pour la seconde). On a

ainsi construit une application Tx (X) Derx (X) dont il est clair quelle est
k-linaire.
Si D Derx (X), on peut restreindre D mx . Comme f est une drivation,
on voit que D(m2x ) = 0, do une application linaire (mx /m2x ) k.
Enfin, on construit un homomorphisme (mx /m2x ) Tx (X) en associant

D le vecteur u de coordonnes u i = D(X i x i ). Si f k[X1 , . . . , X n ], on
peut crire
n
f = f (x) + a i (X x i ) + termes de degrs 2
i=1
do il ressort que D( f f (x)) = a i u i . De plus, on a a i = ( f /X i )(x).

Ainsi, si f I (X), ( f /X i )(x)u i = 0 et cela implique que u Tx X.
Il est alors facile de vrifier que la composition de ces trois homomor-
phismes est lidentit. Ce sont les isomorphismes cherchs.
Remarque (5.5.5). Il est facile de prouver que toute drivation en x stend

de manire unique en une drivation locale en x, cest--dire un homomor-
phisme k-linaire, D O X,x k, vrifiant D( f g) = f (x)D(g) + g(x)D( f )
et que lon obtient ainsi toutes les drivations locales.
De mme, mx /m2x peut tre calcul, au choix, dans A (X) ou dans lanneau
local O X,x .
Dfinition (5.5.6). Soit X une varit algbrique et x X. On appelle espace

tangent X en x le k-espace vectoriel Tx (X) = (mx /m2x ) , o mx O X,x est
lidal maximal de lanneau local de X en x.
Dfinition (5.5.7). On dit que X est rgulire au point x de X si

dimk (Tx (X)) = codim(x, X). Cela quivaut la relation
dim(O X,x ) = dimk (mx /m2x ).
On dit aussi que x est un point rgulier et, dans le cas contraire, que x est un
point singulier de X.
Exercice (5.5.8). Rsoudre lexercice 3.4.13.
Dfinition (5.5.9). Soit A un anneau local noethrien et soit m son idal

maximal. On dit que A est rgulier si la dimension de A est gale la dimension
du A/m-espace vectoriel m/m2 .
Remarque (5.5.10). On a toujours lingalit dim(m/m2 ) dim(A). En

effet, si des lments f1 , . . . , fr de m engendrent m/m2 , on peut crire m =
( f1 , . . . , fr ) + m2 et le lemme de Nakayama implique que m = ( f1 , . . . , fr ).

Daprs le thorme 5.4.7, on a dim(A) r.
Autrement dit, on a pour tout x X, dim(Tx (X)) codim(x, X) et cette
dernire codimension nest autre que dim(X) si X est irrductible.
Thorme (5.5.11). Un anneau local noethrien rgulier est intgre.
Dmonstration. Soit A un anneau local noethrien rgulier. On dmontre

par rcurrence sur la dimension de A que A est intgre.
Si dim(A) = 0, on a dim(m/m2 ) = 0, si bien que m = m2 . Daprs le lemme
de Nakayama, m = 0 et A est un corps.
Soient (pi ) les idaux premiers minimaux de A. (Gomtriquement, les pi
correspondent aux composantes irrductibles de Spec A.) Comme dim(A) >
0, m pi et A tant rgulier, m m2 . Daprs le lemme dvitement 1.1.2,
il existe a m tel que a / m2 pi . Soit B lanneau A/(a) ; si b / n = mB,
b est inversible, donc B est un anneau local didal maximal n. De plus, a
nest pas diviseur de zro dans A. Daprs le Hauptidealsatz 5.4.2, on a donc
dim(B) = dim(A) 1. Dautre part, n/n2 = m/(m2 + (a)) est un quotient de
m/m2 ; comme a / m2 , ces deux espaces vectoriels ne sont pas isomorphes,
si bien que
dim(A) 1 = dim(B) dim(n/n2 ) < dim(m/m2 ) = dim(A)
do lon dduit que dim(n/n2 ) = dim(B). Autrement dit, B est un anneau

local noethrien rgulier. Par rcurrence, B est intgre : (a) est un idal
premier de A. Par le lemme dvitement 1.1.1, lun des pi , soit p, est contenu
dans (a). (Gomtriquement, V (p) est la composante irrductible de Spec A
qui contient le ferm irrductible V (a).) Comme a / p, p (a).
Soit x p. On peut crire x = ay avec y A. Comme p est premier,
y p, do il vient x ap mp et donc p = mp. Daprs le lemme de
Nakayama 1.3.3, p = 0. Ainsi, (0) est un idal premier de A qui est donc
intgre.
Dfinition (5.5.12). Si X est une varit algbrique, on note Sing(X) et

Reg(X) les ensembles des points singuliers (resp. rguliers) de X.
Lemme (5.5.13). Soit X une varit algbrique, notons (X i ) la famille de

ses composantes irrductibles. On a alors
Sing(X) = Sing(X i ) (X i X j ).
i i j
Dmonstration. Si x nappartient qu une composante irrductible X i ,

celle-ci est un voisinage de x. Un tel x est donc rgulier dans X si et seulement
sil est rgulier dans X i . Si au contraire x appartient plusieurs composantes
irrductibles de X, le thorme 5.5.11 implique que lanneau local O X,x nest
pas rgulier, si bien que x Sing(X).
Thorme (5.5.14). Soit X une varit algbrique. Lensemble Reg(X) est

un ouvert dense de X.
La dmonstration de ce thorme est un peu dlicate et va occuper la fin

de ce paragraphe.
5.5.14.1. Si X est affine et irrductible, Sing(X) est ferm. Soit I (X) =
( f1 , . . . , fr ) lidal de X. Daprs la remarque 5.5.2, la dimension de Tx (X)
est gale n rang ( Xji (x)). Le rang de la matrice jacobienne des f j en x
f
est donc infrieur ou gal n dim(X), avec galit si et seulement si x est

un point rgulier de X. (Cette formulation, fondamentale, porte le nom de
critre jacobien.) Ainsi, x X est un point singulier si et seulement si ce rang
est < n dim(X), ce qui signifie que tous les mineurs dordre n dim(X) de
la matrice des drives partielles des f j sannulent en x. On a prouv quun
point x X appartient Sing(X) si et seulement sil satisfait une famille
finie dquations polynomiales. Autrement dit, Sing(X) est ferm dans X.
5.5.14.2. Si X est irrductible, Sing(X) est ferm. Pour tout ouvert affine
U X, Sing(X) U = Sing(U) est ferm dans U. Par suite, Sing(X) est
ferm dans X.
5.5.14.3. Si X est une hypersurface irrductible de An , Sing(X) est
dintrieur vide. Supposons X = V ( f ) pour un polynme irrductible
f k[X1 , . . . , X n ]. On a donc Sing(X) = V ( f , X
f
1
, . . . , f
X n
).
Supposons par labsurde que Sing(X) nest pas dintrieur vide. Comme X
est irrductible, on a alors Sing(X) = X, autrement dit, les drives partielles
f
X i sannulent sur X. Mais si le polynme f /X i nest pas nul, il ne peut
pas appartenir lidal ( f ) car son degr en X i est strictement infrieur
f
celui de f . Ainsi, on a X i
= 0 pour tout i.
Si k est de caractristique nulle, cela implique que f est constant, ce qui est
absurde. Si k est de caractristique p > 0, on peut crire f = g(X1 , . . . , X n ),
p p
puis, k tant algbriquement clos, f = h(X1 , . . . , X n ) p . Ceci contredit

lhypothse que f est irrductible. Autrement dit, Sing(X) X.
5.5.14.4. Si X est irrductible, Sing(X) est dintrieur vide. Pour cela, il
suffit de remarquer quil existe un ouvert U de X isomorphe un ouvert V
dune hypersurface irrductible de Adim(X)+1 (proposition 5.5.15 ci-dessous).
5.5.14.5. Preuve du thorme quand X nest plus suppos irrductible.
Daprs le lemme 5.5.13, le lieu singulier Sing(X) est une runion finie de
ferms dintrieurs vides dans chacune des composantes irrductibles de X.
Cela conclut la preuve du thorme 5.5.14.
Proposition (5.5.15). Soit X une varit algbrique affine irrductible de

dimension d. Il existe une hypersurface irrductible Y Ad+1 et des ouverts
non vides U X et V Y tels que U V .
Dmonstration. Daprs la proposition 3.6.7, il suffit de prouver que le

corps k(X) des fonctions de X est engendr par d + 1 lments.
Si k(X) = k(x1 , . . . , x n ) avec n minimal, il faut donc prouver que n d + 1.
Supposons au contraire n > d + 1. Daprs le thorme 5.2.9, le degr de
transcendance de k(X) sur k est gal d et on peut supposer que x1 , . . . , xd
sont algbriquement indpendants. Il existe alors un polynme irrduc-
tible f k[X1 , . . . , Xd+1 ] tel que f (x1 , . . . , xd+1 ) = 0. Comme f est irrduc-
tible, il existe i tel que f /X i 0 (largument vient dtre dtaill) et on
peut supposer que i = d + 1, ce qui signifie que lextension k(x1 , . . . , xd )
k(x1 , . . . , xd+1 ) est sparable. De plus, xd+2 est algbrique sur k(x1 , . . . , xd ).
Le thorme de llment primitif (thorme 1.5.3) implique alors quil existe
y k(x1 , . . . , xd+2 ) tel que
k(x1 , . . . , xd , y) = k(x1 , . . . , xd , xd+1 , xd+2 ).

Cela contredit lhypothse que n est minimal. Par suite, n d + 1.

Remarque (5.5.16). Les prcisions contenues dans la preuve du thorme
de llment primitif impliquent que si X An est une varit irrductible de
dimension d, il est possible de trouver une projection linaire An Ad+1
telle que Y = (X) convienne.
PILOGUE
Au moment o ce cours se termine, il me parat souhaitable dajouter

quelques mots dintroduction un cours de gomtrie algbrique plus avanc
dans lequel la thorie des schmas serait dveloppe.
Ce cours sest attach dcrire quelques proprits gomtriques lies
aux algbres de type fini sur un corps algbriquement clos. Or, on a vu
plusieurs reprises des noncs gomtriques qui taient la traduction dun
nonc algbrique analogue concernant les algbres de type fini sur un corps
quelconque, voire mme les anneaux noethriens. Il en est ainsi du lemme
de normalisation de Noether ou de certains aspects de la thorie de la dimen-
sion. Cependant, le thorme des zros de Hilbert ne donne apparemment
une signification gomtrique quaux algbres de type fini sur un corps alg-
briquement clos. Pour contourner cette difficult, une possibilit est de ne
considrer non plus les seules solutions dans k n dun systme dquations
polynomiales coefficients dans un corps k mais toutes les solutions dans la
clture algbrique de k, autrement dit prendre en compte tous les idaux
maximaux dune k-algbre de type fini, et non seulement ceux de corps
rsiduel k.
Mais lopration algbrique de localisation fait sortir fatalement de la
catgorie des algbres de type fini sur un corps, tout en ayant une signi-
fication gomtrique trs simple. Pourquoi ne pas disposer dune thorie
gomtrique dans laquelle ces anneaux locaux auraient droit de cit comme
anneaux des fonctions sur un objet gomtrique part entire (une espce
de germe de varits algbriques) ?
100 PILOGUE
Alexander Grothendieck (1928)

Aprs sa thse au cours de laquelle il rsolut une dizaine
de problmes majeurs danalyse fonctionnelle, il consa-
cra toute son nergie la refondation prodigieuse de la
gomtrie algbrique (thorie des schmas) en vue de
la dmonstration des conjectures de Weil, dmonstra-
tion acheve en 1974 par son lve P. Deligne. Depuis la
fin des annes 80, Grothendieck sest progressivement
retir du monde mathmatique, puis du monde tout
cours.
De mme, si lon tudie les morphismes entre varits algbriques les

plus honntes, et en particulier la fibre dun tel morphisme au-dessus dun
point de limage, on est amen introduire des objets nouveaux comme des
points avec multiplicits : si f A1 A1 est donne par f (x, y) = x 2 , la

fibre au-dessus de t 0 est forme de deux points (+ t et t), tandis que
la fibre au-dessus de 0 est forme du point 0 dont on sait quil faut le compter
avec multiplicit 2. Lanneau de la fibre au-dessus de t 0 est isomorphe
k k, tandis que lanneau de la fibre au-dessus de t = 0 devrait tre lanneau
non rduit k[t]/(t 2 ).
Larithmtique considre des anneaux dun type un peu diffrent : si lon
sintresse aux quations polynomiales coefficients dans Z, lanneau qui
intervient naturellement est une Z-algbre de type fini.
Au point o on en est, pourquoi ne pas essayer de donner sens, pour tout
anneau A, une varit algbrique dont lanneau des fonctions serait
A ? La rponse est fournie par la thorie des schmas dveloppe dans les
annes 5060 par Alexander Grothendieck. Lensemble sous-jacent une
telle varit algbrique (le schma affine danneau A) est le spectre Spec(A)
de A, lensemble des idaux premiers de A, muni dune topologie (analogue
celle que nous avons dfinie sur le spectre maximal dune algbre de type fini
sur un corps) et dun faisceau danneaux OSpec(A) dont les sections globales
sont les lments de A et dont la fibre en un point p est le localis Ap . Ainsi, le
PILOGUE 101
couple (A, OSpec(A) ) est un espace localement annel ; par contre, ce faisceau
nest pas un faisceau de fonctions en gnral.
Lintrt est quun morphisme danneaux f A B donne lieu automati-
quement une application continue Spec(B) Spec(A), alors que lon
ne dispose pas en gnral dune application entre les spectres maximaux. En
outre, cette application f peut tre complte en un morphisme despaces
localement annels.
La thorie des schmas fournit alors la souplesse et lintuition gomtrique
ncessaires, au prix de difficults nouvelles qui pourront amener ntudier
tout de mme que les varits algbriques, mais les tudier dans ce langage
(on parle alors de schma de type fini sur un corps).
Il ne paratra peut-tre pas surprenant au lecteur que les anneaux quel-
conques naient pas les proprits algbriques ncessaires une bonne intui-
tion gomtrique. Plus tonnant est que les anneaux noethriens ne suffisent
pas toujours. En effet, deux rsultats importants du cours ne sont pas vrais
pour tous les anneaux noethriens : ceux-ci ne sont pas forcment de dimen-
sion finie et leur lieu rgulier (ensemble des idaux premiers p de A tels que
lanneau local Ap est rgulier) nest pas forcment ouvert.
Nanmoins, il est lgitime de penser que la thorie des schmas, par la sou-
plesse quelle apporte, est devenue incontournable, quand bien-mme on ne
sintresserait quaux varits algbriques telles que nous les avons tudies.
Cest dans cet esprit que nous conseillons au lecteur daborder la lecture
des ouvrages modernes, ncessairement ardus, de gomtrie algbrique. En
souhaitant quil y trouvera de lintrt et pourquoi pas, du plaisir...
BIBLIOGRAPHIE
M. F. Atiyah & I. G. Macdonald (1969), Introduction to commutative

algebra, AddisonWesley.
N. Bourbaki (1981), Algbre, Masson. Chapitres 4 7.
N. Bourbaki (1983), Algbre commutative, Masson. Chapitres 8 et 9.
D. Eisenbud (1995), Commutative algebra with a view towards algebraic
geometry, Graduate Texts in Math. 150, Springer-Verlag.
R. Hartshorne (1977), Algebraic Geometry, Graduate Texts in Math. 52,
Springer-Verlag.
H. Matsumura (1986), Commutative ring theory, Cambridge studies in
advanced mathematics, Cambridge Univ. Press.
J. S. Milne (1998), Algebraic geometry . Notes du cours Math 631, dispo-
nible ladresse http://www.jmilne.org/math/.
D. Mumford (1994), The Red Book of Varieties and Schemes, Lecture Notes
in Math. 1358, Springer-Verlag.
D. Perrin (1994), Gomtrie algbrique, Interditions.
J.-P. Serre (1955), Faisceaux algbriques cohrents . Ann. of Math., 61, p.
197278.
J.-P. Serre (1965), Algbre locale, multiplicits, Lecture Notes in Math. 11,
Springer-Verlag.
INDEX
A B
adhrence, 36, 45, 49 base douverts, 37, 44
Akizuki (thorme d), 10, 31, 80 birationnel, 100
algbre
de polynmes, 7, 14, 16
de type fini, 42, 72, 101 C
entire, 13, 32, 74, 81, 82 catgorie, 24, 42, 58, 60, 71
algbriquement indpendants chane, 8083, 85, 86, 8890, 92
lments , 77 clture
anneau algbrique, 101
artinien, 31, 90 intgrale, 13
de fractions, 4 codimension, 86, 89, 91, 92
factoriel, 7, 86 CohenSeidenberg (thorme de
), 75, 79, 82, 83, 85
intgre, 2, 5, 38, 97
composante
local, 8, 9, 48, 93
connexe, 37
local dun point, 48
irrductible, 38, 44, 48, 80, 85,
local rgulier, 97 9092, 97, 98
noethrien, 6, 10, 30, 36, 97, cne affine, 56
101 corps, 13, 31
quotient, 16, 33 algbriquement clos, 31
rduit, 5, 6, 31, 48 des fonctions, 49, 50
Artin (E.), 12 des fractions, 4
atlas, 23, 46 Cramer (G.), 65
105
106 INDEX
D vitement (lemme d), 2, 3, 6, 38,

dcomposition primaire, 6, 38 48, 74, 75, 92, 97, 98
degr, 55, 57, 58, 93, 99 extension
degr de transcendance, 83, 89, 100 algbrique finie, 31
dimension, 89, 97, 101 entire, 32, 77, 79
de Krull, 81 sparable, 14
dun anneau, 8183, 86
dune varit algbrique, 80, F
83, 84, 89 faisceau, 39
diviseur de zro, 6 associ un prfaisceau, 21
division euclidienne, 33 des fonctions, 20
droite affine, 36, 53 exemples de faisceaux, 20, 21
droite projective, 53 morphisme de faisceaux, 21
sous-faisceau, 21, 22
E ferm
lment de Zariski, 35
inversible, 39 fibre
irrductible, 87 dun faisceau, 21
nilpotent, 4 fonction
primitif (thorme de l), diffrentiable, 23
100 rgulire, 39, 41, 42
ensemble
filtrant, 16 G
ensemble algbrique, 29, 30, 33, 35, Galois (.), 75
37 thorie de , 74, 88
ensemble quasi-algbrique, 39 Gau (C.F.), 8
quivalence de catgories, 42 lemme de , 7, 55
espace gomtrie diffrentielle, 23, 44, 50
affine, 29, 54, 83 Grassmann (H.G.), 64
compact, 36 relations de , 70
noethrien, 36
projectif, 54 H
quasi-compact, 37, 44, 74 Hauptidealsatz, 93, 97
espace fonctionnellement annel, hauteur, 90, 93
24, 26, 40, 4446 Hilbert (D.), 32
induit, 22, 45 thorme de , 5
espace tangent, 94 homogne
INDEX 107
polynme , 55, 56 despaces fonctionnellement

hypersurface, 86, 100 annels, 22
fini, 73, 79
I
idal N
engendr, 2 Nagata (M.), 81, 86
homogne, 55, 57 Nakayama (lemme de ), 8, 9, 91,
maximal, 8, 33, 35, 36 97
premier, 38 nilradical, 6
premier minimal, 5, 6, 48, 90, Noether (E.), 6
97 normalisation
principal, 86 lemme de , 80, 83, 85, 101
radiciel, 56 Nullstellensatz, 31, 35, 40, 43, 80, 81,
idempotent, 37 83, 101
invariant, 72 projectif, 56
J O
jacobien (critre ), 99 ouvert
K affine, 37, 42, 44, 45, 4749,
Krull (W.), 81 56, 62, 73, 84, 99
dimension de , 81 de Zariski, 35
L P
lieu rgulier, 98 partie irrductible, 26, 38, 59
lieu singulier, 99 Plcker (J.), 67
limite inductive, 17 plongement de , 67
localisation, 4, 9, 17, 101 point singulier, 99
longueur, 80, 81 polynme, 29
produit
M de varits, 84
mineur, 99 produit tensoriel, 16, 58
module proprit universelle, 1, 2, 4, 17, 21,
de type fini, 8 60
morphisme
de faisceaux, 20, 21 Q
de varits, 41 quadrique, 63, 67
despaces annels, 26 quotient
108 INDEX
dune varit affine, 73 T

topologie
de Zariski, 3537
R produit, 36, 58, 61
racine, 6, 3335, 40, 79, 93
rang, 99 V
recollement, 24, 46, 54, 61 varit
algbrique, 45, 46
algbrique affine, 4244, 46,
S 57, 58, 60, 65, 73, 74, 7981, 83,
schma, 102 8991
schma affine, 102 diffrentielle, 23, 44
Segre (C.), 63 projective, 64
plongement de , 6264 rationnelle, 50
Serre (J-P.), 19 Veronese (G.), 58
sous-varit, 46 plongement de , 58
spectre
maximal, 3, 36, 43 Z
premier, 102 Zariski (O.), 36

Algèbre Commutative Et Introduction À La Géometrie Algébrique

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Algèbre Commutative Et Introduction À La Géometrie Algébrique

Cargado por

Copyright:

Formatos disponibles

ALGBRE COMMUTATIVE

Version du 9 septembre 2013

Avant que tu nentames la lecture de ces pages,

Lalgbre commutative est certes un peu austre

la gomtrie, elle offre des mthodes

Et jespre dans ce cours par trop acclr

1.1. Anneaux, idaux

Un idal dun anneau A est un sous-A-module de A. Lintersection de

Lemme (1.1.1) (Lemme dvitement). Soient I, J et p des idaux de A. Si p

Dmonstration. Si I / p, il existe x I tel que x / p. De mme, si J / p,

Lemme (1.1.2) (Un autre lemme dvitement). Soient p1 , . . . , pn et I des

On note Spec A le spectre premier, ou spectre de A : cest lensemble des

Emmy Noether (18821935)

De plus, tout idal de S 1 A est de cette forme. Enfin, lapplication p

Dmonstration. Si f A nest pas nilpotent, il faut prouver quil existe

1.3. Chanes, anneaux noethriens

Je renvoie par exemple Matsumura (1986), 6 pour lnonc gnral

Soit p M et soit I lintersection

Puisque q / p pour tout q p, le lemme dvitement 1.1.1 (ou la dfinition

Corollaire (1.3.2). Un anneau noethrien est intgre si et seulement sil est

Dmonstration. Si A est intgre, (0) est lunique idal premier minimal

Carl Friedrich Gau (17771855)

Thorme (1.3.3) (Lemme de Nakayama). Soient A un anneau, a un idal

Dmonstration. Soient m1 , . . . , m n des gnrateurs de M. Comme M =

Soient A la matrice des a i j et In la matrice identit n n ; faisons oprer ces

Exercice (1.3.4). Donner une autre dmonstration du lemme de Na-

1.4. Anneaux artiniens

Proposition (1.4.1). Soient M un A-module et soit N un sous-A-module de

Dmonstration. Si N0 N1 N a et M0 /N Mb /N sont des

est une chane de sous-modules de M de longueur a + b, do lingalit

Lemme (1.4.2). a) Un anneau artinien intgre est un corps.

Dmonstration. Soit A un anneau artinien.

Enfin, si p est un idal premier de A, A/p est un anneau artinien intgre,

Thorme (1.4.3) (Akizuki). Soit A un anneau. Les conditions suivantes

Dmonstration. La condition b) implique que toute suite monotone

Emil Artin (18981962)

I s = I s+1 , aI s = 0 et a J. Ainsi, J = J, ce qui est absurde ; nous avons donc

chaque quotient successif est un A-module artinien de la forme M/mM.

1.5. lments entiers

Proposition (1.5.1). Un lment x B est entier sur A si et seulement sil

Dmonstration. Si x admet une relation de dpendance intgrale comme

Lemme (1.5.2). Si A B sont deux anneaux intgres avec B entier sur A,

de K, ou, de manire quivalente, si la drive de ce polynme minimal est

Thorme (1.5.3) (Thorme de llment primitif). Soit K = k[x, y] une

Dmonstration. On ne fait la dmonstration que dans le cas o k est

tienne Bzout (17301783)

Il existe des bases de transcendance. On a en effet lanalogue suivant du

1.6. Produit tensoriel

par les lments

Lemme (1.6.1). Soient I un idal de A et J un idal de B, ils engendrent un

1.7. Limites inductives

tout objet B de C muni de morphismes i A i B vrifiant i = j i j , il

Dfinition (2.1.1). Soit X un espace topologique. Un prfaisceau F sur X

Jean Leray (19061998)

Exemple (2.1.2) (Faisceau des fonctions). Notons F (U) lensemble des

Exemple (2.1.3) (Faisceau des fonctions continues). Notons C (U)

On dfinit aussi des faisceaux en groupes, en anneaux,... Par exemple, pour

Dfinition (2.1.4). Si F et G sont deux (pr)-faisceaux sur X, un mor-

Si F et G sont des faisceaux en groupes, on ajoutera la dfinition dun

Exemple (2.1.5). Les injections naturelles C (U) F (U) dfinissent un

Si F et G sont deux (pr)-faisceaux sur X tels que pour tout ouvert U,

Dfinition (2.1.6). Soit X un espace topologique, soit F un faisceau sur X

o U parcourt lensemble des ouverts de X qui contiennent x.