Bourbaki

Exercice 3, § 3

Algèbre, II, p. 189

a) Soient (Eλ)λ∈L(E_\lambda)_{\lambda \in L} une famille de A-modules à droite, F un A-module à gauche. Montrer que si F est de type fini, l’application canonique (∏λ∈LEλ)⊗AF→∏λ∈L(Eλ⊗AF)(\prod_{\lambda \in L} E_\lambda) \otimes_A F \to \prod_{\lambda \in L} (E_\lambda \otimes_A F) est surjective. b) Donner un exemple d’anneau commutatif A et d’un idéal m de A tels que l’application canonique AN⊗A(A/m)→(A/m)NA^\mathbf{N} \otimes_A (A/m) \to (A/m)^\mathbf{N} ne soit pas injective (cf. II, p. 178, exerc. 2 b)). c) Donner un exemple d’anneau commutatif A tel que l’application canonique AN⊗AAN→AN×NA^\mathbf{N} \otimes_A A^\mathbf{N} \to A^{\mathbf{N} \times \mathbf{N}} ne soit pas surjective (observer que pour n donné, l’image de N\mathbf{N} par une application de la forme m↦∑i=1rui(m)vi(n)m \mapsto \sum_{i=1}^r u_i(m)v_i(n) où les uiu_i et viv_i appartiennent à ANA^\mathbf{N}, engendre un idéal de type fini de A). d) Déduire de b) et c) un exemple où l’homomorphisme canonique (22) (II, p. 61) n’est ni injectif ni surjectif.

Solution

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

Transcrit du volume imprimé. Non traduit.