Soit E un A-module. a) Soit (Lμ)μ∈M une famille d’ensembles ordonnés filtrants croissants, et pour tout μ∈M, soit (Fλμ)λ∈Lμ une famille croissante de sous-modules de E. Montrer que l’on a
μ∈M⋂λ∈Lμ∑Fλμ=ρ∈∏μLμ∑μ∈M⋂Fρ(μ),μ.
b) On prend pour A un corps, pour E le A-module AN; soit G le sous-module A(N) de E; d’autre part, pour toute partie finie H de N, soit FH le sous-module ∏n∈NMn de E, où Mn=A pour n∈/H et Mn={0} pour n∈H. Montrer que la famille (FH), où H parcourt l’ensemble Φ des parties finies de N, est filtrante décroissante, et que l’on a