Lemme d'Artin-Tate

En algèbre, le lemme d'Artin-Tate énonce :

(Ici, « de type fini » signifie « algèbre de type fini » et « fini » signifie « module de type fini ».)

Ce lemme a été introduit par Emil Artin et John Tate en 1951 pour donner une preuve du théorème des zéros de Hilbert.

Le lemme est similaire au théorème d'Eakin-Nagata, qui dit que : si C est fini sur B et C est un anneau noethérien, alors B est un anneau noethérien.

Preuve

La preuve suivante peut être trouvée dans Atiyah-MacDonald. Soient $x_1,\dots ,x_m$ engendrant $C$ en tant que $A$-algèbre et soient $y_1,\dots ,y_n$ engendrant $C$ comme $B$-module. On peut alors écrire

$x_i=\sum _j{b}_{ij}{y}_j\text{et}{y}_i{y}_j=\sum _k{b}_{ijk}{y}_k$

avec $b_{ij},b_{ijk}\in B$. Alors $C$ est fini (engendré par $y_1,\dots ,y_n$) sur la $A$-algèbre $B_0$ engendrée par les $b_{ij},b_{ijk}$. En utilisant le fait que $A$ et donc $B_0$ sont noethériens, le sous-module $B\subset C$ est lui aussi fini sur $B_0$. Puisque $B_0$ est de type fini en tant que $A$-algèbre, $B$ est aussi une $A$-algèbre de type fini.

Nécessité de la noethérianité

Sans l'hypothèse que A est noethérien, l'énoncé du lemme d'Artin-Tate n'est plus vrai. En effet, pour tout anneau A non noethérien, on peut définir une structure de A-algèbre sur $C:=A\oplus A$ en posant $(a,x)(b,y)=(ab,bx+ay)$. Alors pour tout idéal $I\subset A$ qui n'est pas de type fini, $B:=A\oplus I\subset C$ n'est pas de type fini sur A, bien que toutes les autres hypothèses du lemme soient satisfaites.

Voir aussi

Article connexe

Élément entier

Lien externe

http://commalg.subwiki.org/wiki/Artin-Tate_lemma