Exercise 13, § 2
Algebra, II, 389
Bourbaki marks this one as harder than the rest.
(a) Let A be a ring and I an injective A-module (Exercise 11) such that for every non-zero monogenous A-module E, there exists a non-zero A-homomorphism of E into I. Let M be an A-module, N a submodule of M and the set of such that in N. Show that for all , there exists a such that .
(b) Let be a ring. For every -bimodule and every left (resp. right) -module , has canonically a right (resp. left) -module structure deriving from that on , and there is a canonical -homomorphism such that is the -homomorphism . Show that if is an -bimodule which, as a left -module, satisfies the conditions of , then the canonical homomorphism is injective for every left -module .
(c) Suppose that is an -bimodule which is injective as a left -module and a right -module and that for every (left or right) monogenous -module , there exists a non-zero -homomorphism of into . Show that under these conditions, if is a left (resp. right) projective -module, is a right (resp. left) injective -module. (Suppose that is a left projective -module. Observe that for every submodule of a right -module , is isomorphic to a quotient module of and apply to the right module and the left module .)
(d) Let be a commutative ring, a -algebra and an injective -module such that for every monogenous -module there exists a non-zero -homomorphism of into . For every -module , is an -module; show that for every projective -module , is an injective -module (same argument as in ).
Solution
No solution has been written yet.