## The Hom Functor is Left Exact

**Point of Post: **In this post we prove that the Hom functor is left exact.

*Motivation*

We have proven that the tensor functor is ‘right exact’, and moreover we have seen that this partial exactness can be a great boon in our quest to compute things. But, there are other things besides tensor products for which we would like to compute. In particular, we like to compute the homomorphism group/module if not for practical reasons then for purely philosophical ones. Thus, in this post we shall prove that the Hom functor itself has a certain kind of ‘partial exactness’, one which is dual to that of the tensor product: ‘left exactness’. In other words, the Hom functor (in either variance [i.e. the covariant or contravariant]) takes exact sequences of the form to exact sequences of the same form. There should be, at least some, lack of surprise at this fact considering the somewhat dualistic nature that the Hom and tensor functors share, via their adjointness.

*Left Exactness*

There are two ways in which one could prove this: the conventional and the clever. The conventional is the get-down-and-dirty approach, one just ‘does it’ (as the kids say) and the second where one uses the adjointness of Hom and tensor to do a more hands-off, clean proof. In my opinion, especially considering some of the more categorical clean proofs that have pervaded my posts recently it would help to pursue the latter avenue of proof–let’s get our hands dirty.

So, the statement:

**Theorem: ***Let be some ring and left -modules. Then, if *

*is an exact sequence of left -modules, then*

*is an exact sequence of abelian groups.*

**Proof: **Let’s first show that is an injection. This is easy though since we know every injective -map is a monomorphism, and so if then necessarily . So we must now show that the induced sequence is exact at . To do this we first show that , but so this is easily done. We must now show conversely that if then for some . So we have that for all . But, since our first sequence is exact we know then that for each for some , and moreover this is unique by the injectivity of . Define then by . Certainly then we have that since . Thus, we see that and . The conclusion follows.

There is a somewhat similar statement for the contravariant Hom functor, the only issue being that we will have to reverse the direction of our sequences:

**Theorem: ***Let be a ring and be left -modules. Then, if *

*is exact, then so is*

Since the proof is in the same spirit as the first proof I’ll omit it.

As promised, let’s use this to make a previously messy computation easy. Namely, let’s compute , or really (since we know the answer) prove this is . As we have remarked in the previous computation, it really suffices to compute for since the rest follows by the multiplicativeness of Hom and the Chinese remainder theorem. To make this computation we merely note that we have the exact sequence

where the first map is ‘multiply by ‘ and the second is the canonical epimorphism. We note then that we may apply the left exactness of to see that we have the exact sequence

In particular, we have an injection . But, the image of this map is the kernel of the corresponding map which, clearly, is just multiplication by . But, it’s clear that the kernel of this map is just the multiples of less than or equal to , of which there are clearly . Thus, is an isomorphism of with a subgroup of of size which (by cyclicity) must be (isomorphic to) . Thus, as desired. Much easier, right?

**References:**

[1] Dummit, David Steven., and Richard M. Foote. *Abstract Algebra*. Hoboken, NJ: Wiley, 2004. Print.

[2] Rotman, Joseph J. *Advanced Modern Algebra*. Providence, RI: American Mathematical Society, 2010. Print.

[3] Blyth, T. S. *Module Theory.* Clarendon, 1990. Print.

[4] Lang, Serge. *Algebra*. Reading, MA: Addison-Wesley Pub., 1965. Print.

[5] Grillet, Pierre A. *Abstract Algebra*. New York: Springer, 2007. Print.

[…] the covariant Hom functor is fully exact. Let’s see why this makes sense. Well, since we know the Hom functor is left exact the meat of the problem is that if we fix the first entry of the Hom […]

Pingback by Projective Modules (Pt. II) « Abstract Nonsense | February 7, 2012 |

[…] example, we have shown that is a right exact functor for commutative rings and we have also shown that is a left exact exact functor with the same conditions. As a different example we have shown […]

Pingback by Left Exact, Right Exact, and Exact Functors « Abstract Nonsense | April 24, 2012 |