![](//s1.studylibfr.com/store/data-gzf/cd0b64ed6ea1085bdbd2e00d767ed1c8/1/000839502.htmlex.zip/bg3.jpg)
0.9 Lemme de normalisation de Noether
Dans cet exercice kest un corps quelconque.
a) Soit A=k[x1, ..., xm]une k-algèbre de type fini et telle que x1, ..., xmsoient algé-
briquement liés. Montrer que si eest suffisamment grand, alors en posant yi=xi−xei
met
B=k[y1, ..., ym−1], on a A=B[xm]et xmest entier sur B(en particulier Aest un B-module
de type fini). Montrer que si kest infini, on peut en fait choisir yi=xi−aixnpour des
a1, ..., an−1∈kconvenables.
b) En déduire le lemme de normalisation : si Aest une k-algèbre de type fini, alors on peut
trouver a1, ..., an∈Aalgébriquement indépendants sur ket tels que Asoit un k[a1, ..., an]-
module de type fini (et donc tout élément de Aest entier sur k[a1, ..., an].
c) Trouver explicitement a1, ..., ancomme dans b) pour les k-algèbres suivantes : A=
k[X, 1/X],A=k[X2, X3],A=k[X, Y, Z]/(XY Z −1),A=k[X, Y ]/(X2+Y2−1).
d) Démontrer le lemme de Zariski : si une k-algèbre de type fini est un corps, alors c’est une
extension finie de k.
e) En déduire que si mest un idéal maximal d’une k-algèbre de type fini A, alors A/m est
une extension finie de k. De plus, si f:A→Best un morphisme de k-algèbres de type fini et
si mest un idéal maximal de B, alors f−1(m)est un idéal maximal de A.
f) Soit Iun idéal d’une k-algèbre de type fini A. Montrer que √Iest l’intersection des idéaux
maximaux contenant I.
0.10 Théorème d’Ax-Grothendieck
Soient P1, ..., Pn∈k[X1, ..., Xn]des polynômes avec kalgébriquement clos. On se propose
de montrer que si l’application
f:An(k)→An(k), x →f(x) = (P1(x), ..., Pn(x))
est injective, alors elle est surjective. On suppose par l’absurde que fn’est pas surjective.
a) Montrer que si Aest une Z-algèbre de type fini et si mest un idéal maximal de A, alors
A/m est un corps fini.
b) Montrer qu’il existe mi≥1et Hi,j ∈k[X, Y ]tels que
(Xi−Yi)mi=X
j
Hi,j (Pi(X)−Pi(Y)).
c) Montrer qu’il existe a1, ..., an∈ket G1, ..., Gn∈k[X]tels que PiGi(Pi−ai) = 1.
d) Conclure, en considérant le sous-anneau Ade kengendré par les coefficients de tous les
Gi, Pi, Hi,j et par tous les ai, ainsi qu’un idéal maximal mde A.
3