3 The Hom Functors — Projectivity and Injectivity.
Our immediate goal is to study the phenomenon of category equivalence, and that we shall do in the next Section. First, however, we have to be in control of the so-called Hom functors and projective modules. Later in the term, the duals of projective modules, the injective modules, will play a crucial role. So in this Section we will treat the basics of these two types of modules.
We begin with a pair of rings R and S aand an (R, S)-bimodule RUS. This bimodule determines two Hom functors
HomR(RUS, ):RMod → SMod and HomR( ,R US):RMod → ModS de ned by
HomR(RUS, ):R M 7 → HomR(RUS,R M) and HomR( ,R US):R M 7 → HomR(RM,R US) for each RM in RMod, and
HomR(RUS,f):ϕ 7 → f ϕ and HomR(f,R US): 7 → f for all f : M → N in RMod and all ϕ ∈ HomR(U, M) and all ∈ HomR(N,U). One readily checks that both of these are additive, that HomR(RUS, ) is covariant and HomR( ,R US) is contravariant. In general, these functors are not exact, but each is left exact. That is, for each short exact sequence
f g 0 → K → M → N → 0 in RMod the sequence
Hom(U,f) Hom(U,g) 0 → Hom(U, K) → Hom(U, M) → Hom(U, N) is exact in SMod, and
Hom(g,U) Hom(f,U) 0 → Hom(N,U) → Hom(M,U) → Hom(K, U) is exact in ModS. We do not want to take the time to prove these facts here. Although exactness at M is a bit of a challenge, the proof is pretty strightforward diagram chasing. Proofs are available in standard references; see, for example, [1] and [6]. In the interest of completeness, we’ll record all of this formally.
3.1. Theorem. If RUS is a bimodule, then the functors
HomR(RUS, ):RMod → SMod and HomR( ,R US):RMod → ModS
are both additive and left exact with HomR(RUS, ) covariant and HomR( ,R US) contravariant. Non-Commutative Rings Section 3 23
Since the notation for these functors is more than a little cumbersome, it is fairly common, when the bimodule U is xed, to abbreviate