Bourbaki

Exercice 3, § 1

Algèbre, II

Soit E un A-module. a) Soit (Lμ)μ∈M(L_\mu)_{\mu \in M} une famille d’ensembles ordonnés filtrants croissants, et pour tout μ∈M\mu \in M, soit (Fλμ)λ∈Lμ(F_{\lambda \mu})_{\lambda \in L_\mu} une famille croissante de sous-modules de E. Montrer que l’on a

⋂μ∈M(∑λ∈LμFλμ)=∑ρ∈∏μLμ(⋂μ∈MFρ(μ),μ). \bigcap_{\mu \in M} \left( \sum_{\lambda \in L_\mu} F_{\lambda \mu} \right) = \sum_{\rho \in \prod_\mu L_\mu} \left( \bigcap_{\mu \in M} F_{\rho(\mu), \mu} \right).

b) On prend pour A un corps, pour E le A-module ANA^\mathbf{N}; soit G le sous-module A(N)A^{(\mathbf{N})} de E; d’autre part, pour toute partie finie H de N\mathbf{N}, soit FHF_H le sous-module ∏n∈NMn\prod_{n \in \mathbf{N}} M_n de E, où Mn=AM_n = A pour n∉Hn \notin H et Mn={0}M_n = \{0\} pour n∈Hn \in H. Montrer que la famille (FH)(F_H), où H parcourt l’ensemble Φ\Phi des parties finies de N\mathbf{N}, est filtrante décroissante, et que l’on a

(⋂H∈ΦFH)+G≠⋂H∈Φ(FH+G). (\bigcap_{H \in \Phi} F_H) + G \neq \bigcap_{H \in \Phi} (F_H + G).
Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.