Annexe A
Limite directe et limite inverse
Dans toute la suite, A sera un anneau.
Définition A.1. On dit qu’un ensemble ordonné (I , ≤) est dirigé si pour tout i, j ∈ I , il existe k ∈ I tel
que i ≤ k et j ≤ k.
Définition A.2. Un système direct de A-modules indexé par un ensemble dirigé I consiste en
(a) une famille (Mi )i∈I de A-modules,
(b) un homomorphisme ϕij : Mi → Mj pour chaque pair i ≤ j ∈ I , tel que
(i) ϕii = idMi pour tout i,
(ii) ϕik = ϕjk ◦ ϕij si i ≤ j ≤ k.
On note ce système direct par ((Mi )i∈I , (ϕij )i≤j ) ou simplement par (Mi )i∈I si les applications ϕij sont
sans ambiguı̈tées dans le contexte.
Définition A.3. Soit ((Mi )i∈I , (ϕij )i≤j ) un système direct de A-modules. Une limite directe de ce système
est un couple (M, (fi )i∈I ) où M est un A-module et (fi : Mi → M)i∈I une famille de A-homomorphismes tels
que fi = fj ◦ ϕij pour tout i ≤ j, et ce couple a la propriété universelle suivante :
Pour tout couple (N, (gi )i∈I ) où N est un A-module et (gi : Mi → N)i∈I une
famille de A-homomorphismes tels que gi = gj ◦ ϕij pour tout i ≤ j, alors il existe
un unique A-homomorphisme g : M → N tel que gi = g ◦ fi pour tout i ∈ I .
ϕij
Mi / Mj
fi fj
~
gi M gj
g
N
Proposition A.4. Les limites directes existent pour les A-modules et sont uniques à isomorphisme près.
Preuve. L’unicité est clair d’après la propriété universelle. Soit alors ((Mi )i∈I , (ϕij )i≤j ) un système direct
de A-modules. Posons M 0 = i∈I Mi la réunion disjointe des ensembles sous-jacents Mi . On définit sur M 0
`
une relation ∼ de la manière suivante. Pour tout a, b ∈ M 0 , on prend l’unique couple (i, j) ∈ I × I tel que
a ∈ Mi et b ∈ Mj . On dit alors que a ∼ b s’il existe k ∈ I vérifiant i ≤ k, j ≤ k et ϕik (a) = ϕjk (b). On vérifie
facilement que ∼ est une relation d’équivalence sur M 0 . On remarque aussi que, pour tout u, v ∈ I vérifiant
i ≤ u et i ≤ v , on a ϕiu (a) ∼ ϕiv (a). En effet, il suffit de prendre t ∈ I tel que u ≤ t et v ≤ t. Dans ce cas,
ϕit = ϕut ◦ ϕiu = ϕvt ◦ ϕiv .
s
Soit M = M 0 / ∼ l’ensemble quotient, et soit fi : Mi → M la composition Mi ,→ M 0 → − M où s est la
surjection canonique. On a alors fi = fj ◦ ϕij si i ≤ j. Maintenant, soit (N, (gi )i∈I ) un couple où N est un
ensemble et (gi : Mi → N)i∈I une famille d’applications vérifiant
gi = gj ◦ ϕij pour tout i ≤ j (A.1)
En mettant ensemble les applications gi , on obtient une application une application M 0 → N qui respecte la
relation ∼ d’après l’égalité (A.1). Ainsi, cette application se factorise à travers M et induit une application
unique g : M → N qui vérifie gi = g ◦ fi pour tout i.
1
A. LIMITE DIRECTE ET LIMITE INVERSE 2
Il reste à faire de M un A-module. Soient α, β ∈ M et λ ∈ A. On choisit i, j ∈ I , a ∈ Mi et b ∈ Mj tels
que fi (a) = α et fj (b) = β. Maintenant, on choisit k ∈ I tel que i ≤ k et j ≤ k. On pose alors α + β =
fk (ϕik (a) + ϕjk (b)) et λα = fi (λa). On vérifie facilement que ces opérations sont bien définies et munissent
M d’une structure de A-modules. De plus, avec ces opérations, les fi deviennent des A-homomorphismes.
Maintenant, si N est un A-module et les gi des A-homomorphismes, la factorisation à travers M donne un
unique A-homomorphisme g .
Notation. On note lim Mi la limite directe du système (Mi )i∈I . Les limites directes existent aussi pour
−→
les groupes...
Exemple A.5. Un A-module est limite directe de A-modules de type fini. En effet, soit M un A-module,
et soit I l’ensemble des sous-modules de type fini de M. Ordonné par l’inclusion, I est un ensemble dirigé. Si
i ∈ I , alors i est un A-module de type fini que nous allons noté par Mi . On obtient alors un système direct où
les ϕij sont les inclusions. Il est clair que M = lim Mi .
−→
Exemple A.6. Soit A un anneau, et soit p ∈ Spec A. Nous verrons plus tard que
lim Ax = Ap .
−→
x6∈p
Définition A.7. Un système inverse de A-modules indexé par un ensemble dirigé I consiste en
(a) une famille (Mi )i∈I de A-modules,
(b) un homomorphisme ϕij : Mi → Mj pour chaque pair j ≤ i ∈ I , tel que
(i) ϕii = idMi pour tout i,
(ii) ϕik = ϕjk ◦ ϕij si k ≤ j ≤ i.
On note ce système inverse par ((Mi )i∈I , (ϕij )j≤i ) ou simplement par (Mi )i∈I si les applications ϕij sont
sans ambiguı̈té dans le contexte.
Définition A.8. Soit ((Mi )i∈I , (ϕij )j≤i ) un système inverse de A-modules. Une limite inverse de ce
système est un couple (M, (fi )i∈I ) où M est un A-module et (fi : M → Mi )i∈I une famille de A-homomorphismes
tels que fj = ϕij ◦ fi pour tout j ≤ i, et ce couple a la propriété universelle suivante :
Pour tout couple (N, (gi )i∈I ) où N est un A-module et (gi : N → Mi )i∈I une
famille de A-homomorphismes tels que gj = ϕij ◦ gi pour tout j ≤ i, alors il existe
un unique A-homomorphisme g : N → M tel que gi = fi ◦ g pour tout i ∈ I .
ϕij
MiX ` / Mj
> F
fi fj
gi MO gj
N
Proposition A.9. Les limites inverses existent pour les A-modules et sont uniques à isomorphisme près.
Preuve. L’unicité provient de la propriété universelle. Soit alors ((Mi )i∈I , (ϕi,j )j≤i ) un système inverse
de A-modules. Posons
Y
M = {(xi ) ∈ Mi | xj = ϕij (xi ) chaque fois que j ≤ i},
i∈I
Q
et soit fi : M → Mi la restriction de la i-ième projection j∈I Mj → Mi . On vérifie facilement que M est un
Q
sous-A-module du produit direct i∈I Mi et que les fi sont des A-homomorphismes et que cette construction
donne la limite inverse du système.
Notation. On note lim Mi la limite inverse du système (Mi )i∈I . Les limites inverses existent aussi pour
← −
les groupes...
Exemples A.10. Soit I = N \{0}.