Exercise 11, § 2
Algebra, II, p. 184
Bourbaki marks this one as harder than the rest.
Let be a ring, and let be an -module. We say that is injective if, for every exact sequence of a-linear mappings, the sequence is exact. a) Now prove that the following properties are equivalent: α) is injective. β) For every exact sequence of a-linear mappings, the sequence
δ) For every left ideal of and every -linear mapping there exists an element such that for every . ζ) is a direct factor of every -module which contains it. θ) For every -module which is the sum of and a monogenic submodule, is a direct factor of . (To now prove that δ) implies γ), show that property δ) implies that if is an -module and is a submodule of such that is monogenic, then every linear mapping from into extends to a linear mapping from into . Then use Zorn's theorem. To now prove that θ) implies δ), consider the -module , the submodule of formed by the elements for , and apply θ) to the quotient module .) b) For a -module to be injective, it is necessary and sufficient that for every and every integer , there exists such that . In particular, the -modules and are injective.
Solution
No solution has been written yet.