Bourbaki

Exercise 21, § 2

Algebra, II, 393

Bourbaki marks this one as harder than the rest.

(a) Let (Ej)j∈J(E_j)_{j \in J} be a finite family of A-modules and for all j∈Jj \in J let IjI_j be an injective envelope of EjE_j; show that ⨁j∈JIj\bigoplus_{j \in J} I_j is an injective envelope of ⨁j∈JEj\bigoplus_{j \in J} E_j.

(b) An A-module M is called indecomposable if it is distinct from {0}\{0\} and it is not the direct sum of two submodules distinct from {0}\{0\}. Show that if I is an injective A-module, the following properties are equivalent: (α)(\alpha) {0}\{0\} is an irreducible submodule in I. (β)(\beta) I is indecomposable. (γ)(\gamma) I is an injective envelope of each of its submodules ≠0\neq 0. (Use (a) and Exercise 18 (e).) (δ)(\delta) I is isomorphic to the injective envelope I(A/q)I(A/q), where q is an irreducible left ideal of A.

Moreover, when this is so, for all x≠0x \neq 0 in I, Ann⁡(x)\operatorname{Ann}(x) is an irreducible left ideal of A and I is isomorphic to I(A/Ann⁡(x))I(A/\operatorname{Ann}(x)).

Deduce that for the injective envelope of an A-module E to be indecomposable, it is necessary and sufficient that {0}\{0\} be an irreducible submodule of E.

(c) Give an example of an indecomposable Z\mathbf{Z}-module E such that its injective envelope I(E)I(E) is decomposable (cf. VII, § 3, Exercise 5).

(d) Let E be an A-module, I an injective envelope of E and I=⨁λ∈LIλI = \bigoplus_{\lambda \in L} I_\lambda a decomposition of I as a direct sum of a finite family of indecomposable injective submodules; for all λ∈L\lambda \in L let Jλ=⨁μ≠λIμJ_\lambda = \bigoplus_{\mu \neq \lambda} I_\mu and let Nλ=Jλ∩EN_\lambda = J_\lambda \cap E. Show that (Nλ)λ∈L(N_\lambda)_{\lambda \in L} is a reduced irreducible decomposition of {0}\{0\} in E (Exercise 16 (b)) and that IλI_\lambda is an injective envelope of E/NλE/N_\lambda. Conversely, every reduced irreducible decomposition of {0}\{0\} in E can be obtained by the above procedure uniquely up to isomorphism (use Exercise 16 (b)).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.