Bourbaki

Exercise 11, § 2

Algebra, II, p. 184

Bourbaki marks this one as harder than the rest.

Let AA be a ring, and let II be an AA-module. We say that II is injective if, for every exact sequence E′→E→E′′E' \to E \to E'' of a-linear mappings, the sequence Hom(E′′,I)→Hom(E,I)→Hom(E′,I)\mathrm{Hom}(E'', I) \to \mathrm{Hom}(E, I) \to \mathrm{Hom}(E', I) is exact. a) Now prove that the following properties are equivalent: α) II is injective. β) For every exact sequence 0→E′→E→E′′→00 \to E' \to E \to E'' \to 0 of a-linear mappings, the sequence

0→Hom(E′′,I)→Hom(E,I)→Hom(E′,I)→0 0 \to \mathrm{Hom}(E'', I) \to \mathrm{Hom}(E, I) \to \mathrm{Hom}(E', I) \to 0
is exact. γ) For every AA-module MM and every submodule NN of MM, every A-linear mapping from NN into II extends to an A-linear mapping from MM into II.

δ) For every left ideal aa of AA and every AA-linear mapping f:a→If : a \to I there exists an element b∈Ib \in I such that f(a)=abf(a) = ab for every a∈aa \in a. ζ) II is a direct factor of every AA-module which contains it. θ) For every AA-module EE which is the sum of II and a monogenic submodule, II is a direct factor of EE. (To now prove that δ) implies γ), show that property δ) implies that if EE is an AA-module and FF is a submodule of EE such that E/FE/F is monogenic, then every linear mapping from FF into II extends to a linear mapping from EE into II. Then use Zorn's theorem. To now prove that θ) implies δ), consider the AA-module As×I=MA_s \times I = M, the submodule NN of MM formed by the elements (a,−f(a))(a, -f(a)) for a∈aa \in a, and apply θ) to the quotient module M/NM/N.) b) For a Z\mathbf{Z}-module EE to be injective, it is necessary and sufficient that for every x∈Ex \in E and every integer n≠0n \neq 0, there exists y∈Ey \in E such that ny=xny = x. In particular, the Z\mathbf{Z}-modules Q\mathbf{Q} and Q/Z\mathbf{Q}/\mathbf{Z} are injective.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.