- #1
Kreizhn
- 743
- 1
Homework Statement
Let R be an arbitrary ring, B and B' be left R-modules, and [itex] i: B' \to B [/itex] be an R-module morphism. Show that if the induced map [itex] i^*: \operatorname{Hom}_R(B,M) \to \operatorname{Hom}(B',M) [/itex] is surjective for every R-module M, then [itex] i: B' \to B [/itex] is injective.
The Attempt at a Solution
The maps all seem to go the wrong way to use the categorical definition of kernels, so I fear that I must be much trickier about the application and exploit the module structure quite specifically. This would suggest an intelligent choice of M and a morphism [itex] B' \to M [/itex] in order to apply the hypothesis.
In my mind, the only obvious candidate is the projection map [itex] \pi: B' \to B'/\ker i [/itex]. The hypothesis would then suggest that there exists [itex] \hat \pi: B \to B'/\ker i [/itex] such that [itex] \hat \pi \circ i = \pi [/itex]. However, nothing useful seems to come of this. Any ideas?