
II – Anneaux de dimension un
La dimension d’un anneau est le maximum des chaˆınes d’id´eaux premiers contenus
l’un dans l’autre. Par exemple Zest un anneau de dimension un.
Nous explicitons dans ce chapitre les anneaux fondamentaux de la g´eom´etrie arithm´e-
tique en dimension un : les anneaux d’entiers alg´ebriques et les anneaux de fonctions
alg´ebriques sur une courbe affine.
0 – Anneaux noeth´eriens de dimension z´ero.
Pour faciliter l’´etude des anneaux de dimension un nous ´etablissons d’abord quelques
faits en dimension 0.
REMARQUE 0.1. — Soit Aun anneau int`egre de dimension un et soit fun ´el´ement
non nul de A, alors A/fA est de dimension z´ero. En effet les seuls id´eaux premiers de A
sont (0) et les id´eaux maximaux.
REMARQUE 0.2. — Soit Aun anneau et soit Mun A-module simple (i.e. un A-
module non nul qui ne contient pas de sous-A-module propre), alors il existe un id´eal
maximal mde Atel que M'A/m. En effet si xest non nul dans M,xengendre Msur
Adonc M'A/I pour un id´eal I···
PROPOSITION 0.3 (th´eor`eme de Jordan-H¨older). — Soient Aun anneau et Mun A-
module. Soient (0) = M0⊂M1⊂ ··· ⊂ Mn−1⊂Mn=Met (0) = M0
0⊂M0
1⊂
··· ⊂ M0
0=Mdeux filtrations finies de Mtelles que les quotients successifs Mi+1/Miet
M0
j+1/M0
jsoient des A-modules simples. Alors n=q. De plus, il existe une permutation
σde {1,2, . . . , n}telle que Mi/Mi−1'M0
σ(i)/M0
σ(i)−1.
Une filtration finie (0) = M0⊂M1⊂M2⊂ ··· ⊂ Mn=Mest dite de longueur
n. Nous allons montrer par r´ecurrence sur nqu’on a q≤n. Les rˆoles de qet n´etant
les mˆemes on aura ainsi la premi`ere partie de l’´enonc´e. Soit rle plus petit entier tel que
M0
r⊃M1. On a la filtration suivante dont au plus un des quotients successifs est nul, les
autres ´etant simples :
(0) = M0
0⊂M0
1⊂ ··· ⊂ M0
r−1⊂M0
r/M1⊂M0
r+1/M1⊂ ··· ⊂ M0
q/M1=M/M1.
Le module M/M1ayant une filtration `a quotients successifs simples, de longueur n−1,
par r´ecurrence on a q≤n−1 ou q−1≤n−1 en tout cas q≤n.
Il nous reste `a montrer qu’`a l’ordre pr`es les quotients successifs sont les mˆemes. Soit
mun id´eal maximal de A, si Mest un A-module poss´edant une filtration comme dans
l’´enonc´e, Mmest un Am-module de longueur finie. En fait la filtration (0) = M0⊂ ··· ⊂
Mi⊂ ··· ⊂ Mn=Mtensoris´ee par Amdonne une filtration de Mm(I 1.7 b)). Les
quotients successifs sont nuls s’ils sont isomorphes `a A/m0o`u m0est un id´eal maximal
diff´erent de m. Les quotients successifs isomorphes `a A/m=Am/mAmrestent inchang´es.
Appliquant la premi`ere partie de l’´enonc´e au Am-module Mm, la deuxi`eme partie de
l’´enonc´e est prouv´ee.
La proposition 0.3 justifie la d´efinition suivante.