Théorème de Krull-Akizuki

Le théorème de Krull-Akizuki est un théorème d'algèbre commutative qui donne des conditions sous lesquelles la clôture intégrale d'un anneau noethérien intègre est encore un anneau noethérien.

Énoncé

Soient A un anneau commutatif intègre noethérien de dimension de Krull 1 (ie : tout idéal premier non nul est maximal), K son corps des fractions, L une extension finie de K, et B un sous-anneau de L contenant A. Alors B est noethérien de dimension 1. En outre, pour tout idéal non nul J de B, le A-module B/J est un A-module de longueur finie.

• Remarque : Une conséquence importante du théorème est que la clôture intégrale d'un anneau de Dedekind A dans une extension finie de son corps des fractions est encore un anneau de Dedekind. Ceci se généralise partiellement en dimension supérieure à 1 par le théorème de Mori-Nagata qui montre que la clôture intégrale d'un anneau noethérien intègre est un anneau de Krull.

Démonstration

Supposons pour simplifier que $L=K$. Soit ${𝔭}_i$ les idéaux premiers minimaux de A, qui sont en nombre fini. Soit $K_i$ le corps des fractions de $A/{𝔭}_i$ et $I_i$ le noyau de l'application naturelle $B\to K\to K_i$. Alors :

$A/{𝔭}_i\subset B/I_i\subset K_i$.

Si le théorème est vrai lorsque A est intègre, alors B est un anneau noethérien intègre de dimension 1 puisque chaque $B/I_i$ l'est et que $B=\prod B/I_i$. Il suffit donc de montrer le théorème dans le cas où A est intègre. Soit $0\ne I\subset B$ un idéal et a un élément non nul de $I\cap A$. Posons $I_n=a^{n}B\cap A+aA$. Comme $A/aA$ est un anneau noethérien de dimension 0, donc artinien, il existe un indice $l$ tel que $I_n=I_l$ pour tout $n\ge l$. Montrons que :

$a^{l}B\subset a^{l+1}B+A.$

Puisqu'il suffit d'établir l'inclusion localement, on peut supposer que A est un anneau local d'idéal maximal $𝔪$. Soit alors x un élément non nul de B , il existe alors n tel que ${𝔪}^{n+1}\subset x^{-1}A$ et donc $a^{n+1}x\in a^{n+1}B\cap A\subset I_{n+2}$. Donc,

$a^{n}x\in a^{n+1}B\cap A+A.$

Soit alors $n\ge l$ le plus petit entier pour lequel l'inclusion est vérifiée. Si $n>l$, il est facile de voir que $a^{n}x\in I_{n+1}$. Mais alors, l'inclusion est aussi vérifiée pour $n-1$, ce qui est une contradiction. Donc $n=l$ et l'assertion est démontrée. De cela il s'ensuit que:

$B/aB\simeq a^{l}B/a^{l+1}B\subset (a^{l+1}B+A)/a^{l+1}B\simeq A/a^{l+1}B\cap A.$

Ceci montre que $B/aB$ est un A-module de longueur finie. En particulier, l'image de I est de type fini et donc I est de type fini. Enfin, ce qui précède montre que la dimension de $B/aB$ est nulle et donc que B est de dimension 1.