Bourbaki

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 N~\tilde{N} the set of u∈Hom⁡A(M,I)u \in \operatorname{Hom}_A(M, I) such that u(x)=0u(x) = 0 in N. Show that for all y∉Ny \notin N, there exists a u∈N~u \in \tilde{N} such that u(y)≠0u(y) \neq 0.

(b) Let AA be a ring. For every (A,A)(A, A)-bimodule TT and every left (resp. right) AA-module MM, HomA(M,T)\mathrm{Hom}_A(M, T) has canonically a right (resp. left) AA-module structure deriving from that on TT, and there is a canonical AA-homomorphism cM,T:M→HomA(HomA(M,T),T)c_{M, T}: M \to \mathrm{Hom}_A(\mathrm{Hom}_A(M, T), T) such that cM,T(x)c_{M, T}(x) is the AA-homomorphism u↦u(x)u \mapsto u(x). Show that if II is an (A,A)(A, A)-bimodule which, as a left AA-module, satisfies the conditions of (a)(a), then the canonical homomorphism cM,Ic_{M, I} is injective for every left AA-module MM.

(c) Suppose that II is an (A,A)(A, A)-bimodule which is injective as a left AA-module and a right AA-module and that for every (left or right) monogenous AA-module E≠0E \neq 0, there exists a non-zero AA-homomorphism of EE into II. Show that under these conditions, if PP is a left (resp. right) projective AA-module, HomA(P,I)\mathrm{Hom}_A(P, I) is a right (resp. left) injective AA-module. (Suppose that PP is a left projective AA-module. Observe that for every submodule N′N' of a right AA-module NN, HomA(N′,I)\mathrm{Hom}_A(N', I) is isomorphic to a quotient module of HomA(N,I)\mathrm{Hom}_A(N, I) and apply (b)(b) to the right module NN and the left module PP.)

(d) Let CC be a commutative ring, AA a CC-algebra and II an injective CC-module such that for every monogenous CC-module E≠{0}E \neq \{0\} there exists a non-zero CC-homomorphism of EE into II. For every AA-module MM, HomC(M,I)\mathrm{Hom}_C(M, I) is an AA-module; show that for every projective AA-module PP, HomC(P,I)\mathrm{Hom}_C(P, I) is an injective AA-module (same argument as in (c)(c)).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.