2
(4) Soit aun idéal non nul de A. Montrer que l’application K⊗Aa→Kqui à x⊗aassocie xa
est un isomorphisme.
Exercice VI (Lemme de Nakayama)
Soit Aun anneau local, c’est-à-dire que Aun anneau commutatif possédant un unique idéal
maximal que l’on notera m. On note k=A/m. Soit Mun A-module de type fini. Montrer que les
conditions suivantes sont équivalentes :
(i) M={0}.
(ii) k⊗AM={0}.
(Indication : raisonner par récurrence sur le nombre de générateurs de M.)
Exercice VII (Modules projectifs sur les anneaux locaux)
Soit Aun anneau local d’idéal maximal m. On note k=A/m.
Soit Mun A-module projectif de type fini. Soit m1, . . . , mnune k-base de M/mM. On note
m1, . . . , mndes éléments de Mrelevant les éléments m1, . . . , mn.
Montrer que Mest un A-module libre de base m1, . . . , mn.
Exercice VIII (Modules projectifs de type fini)
Soit Aun anneau commutatif. Soit Mun A-module. Pour tout f∈A, on note A[1/f]le localisé
de Apar rapport à la partie multiplicative {fn, n ≥0}et on note M[1/f] = A[1/f]⊗AM. Si p
est un idéal premier, on note Mple Ap-module Mp:= Ap⊗AMoù Apest le localisé de Aen p.
(1) Soit Mun A-module de présentation finie (pour simplifier, on peut éventuellement supposer
plutôt que Aest noethérien et que Mest un A-module de type fini).
(1a) Soit pun idéal premier de A. On suppose que Mpest un Ap-module libre de type fini. Montrer
qu’il existe f∈A−ptel que M[1/f]soit un A[1/f]-module libre.
(1b) Soit Nun A-module. Soit f∈A. Montrer que l’on a un isomorphisme canonique
HomA(M, N )[1/f]'HomA[1/f](M[1/f], N[1/f]) .
(2a) Soit Nun A-module tel que pour tout idéal premier pde A, on ait Np= 0. Montrer que
N= 0.
(2b) Soit N0→Nun morphisme entre A-modules tel que pour tout idéal premier pde Ale
morphisme induit N0
p→Npsoit surjectif. Montrer que N0→Nest surjectif.
(3) Soit Mun A-module. Montrer que les conditions suivantes sont équivalentes :
(i) Mest un A-module projectif de type fini.
(ii) Mest un module de présentation finie (ou de type fini si on fait l’hypothèse que Aest
noethérien) et pour tout idéal premier pde A, le Ap-module Mpest libre de type fini.
(iii) Il existe des éléments f1, . . . , fnde Atels que l’on ait une égalité d’idéaux A= (f1, . . . , fn)
et que pour tout i,M[1/fi]soit un A[1/fi]-module projectif de type fini.
Exercice IX (Structures des modules sans torsion sur les anneaux de Dedekind)
Soit Aun anneau de Dedekind.
(1) Soit Mun A-module de type fini sans torsion. On note MK:= K⊗AM. On identifie Mà
un sous-A-module de MK(pourquoi est-ce possible ?). Soit m∈M− {0}un élément non nul.
Pour tout x∈K, on peut considérer xm =x⊗m∈MK. On note J={x∈K, xm ∈M}et
M0:= {xm, x ∈J} ⊂ M.
(1a) Montrer que Jest un idéal fractionnaire contenant A.
(1b) Montrer que Jest un A-module projectif de type fini.
(1c) Montrer que M/M0est un A-module de type fini sans torsion.
(2) Soit Mun A-module de type fini sans torsion. Montrer que M'a1⊕ ··· ⊕ anoù les aksont
des idéaux non nuls de A.
(3) Soit Mun A-module de type fini. Montrer que les conditions suivantes sont équivalentes :
(i) Mest un A-module projectif.
(ii) Mest un A-module sans torsion.
(iii) M'a1⊕ ··· ⊕ anoù les aksont des idéaux non nuls de A.