Homomorphism Group (Module) of Two Modules (Pt. II)
Point of Post: This is a continuation of this post.
What we’d now like to discuss is the special case when in . Indeed, an -morphism is called anendomorphism on . The set of all such endomorphisms will be denoted . Now, by virtue of being an abelian group we know that is a ring under pointwise addition and composition of functions. But, we know that if we assume that is commutative then also has a left -module structure. This is a somewhat new idea now, up until this point we haven’t really cared whether our module had “more structure” (e.g. was naturally a ring in addition to being an abelian group). What makes so nice though, is not only is it simultaneously a ring and a left -module (two enriched versions of abelian groups) but these structures live in harmony. By this, I mean that the -multiplication and the -multiplication respect each other in the sense that the -multiplication, thought of as a map , is bilinear with respect to the left -module structure. To be more precise we have, using to denote composition (which is the -multiplication), one sees that
for all and . This type of structure has already shown up before when is a field under the name of an associative algebra (over a field) in the exact same context (i.e. considering for a -space ). We now extend this definition to encompass -modules. Indeed, if are left -modules we call a map bilinear if it’s linear in each coordinate, just as the case for vector spaces. We then defined an -algebra to be a left -module with a distinguished bilinear form .
With this definition and the above observation about we have the following theorem:
Theorem: Let be a left -module. Then, is a ring under pointwise addition and composition. Moreover, if is commutative then is a unital -algebra.
The Functors and
What we shall now discuss shall serve to be one of the most fruitful tools in the math to come (e.g. it shall be how we discuss injective modules, it plays an absolutely pivotal role in the homological agebra I hope to soon discuss, etc.) but for right now shall look mostly like petty formalism. In particular, we wish to discuss how given a left -module we have a map from the “set” of all left -modules into the “set” of all abelian groups defined by . Moreover, we’d like to discuss how “diagrams” in the “set” of all modules transfer to diagrams in the “set” of all abelian groups. Put out there in lingo that not every reader may be aware of (although I shall soon enough discuss category theory) we have from the basic category theory that after fixing there is the natural Hom functor , but unsurprisingly based on the above discussion we actually can do one better, we actually have that the Hom functor can easily be put as a function and in the case when is commutative we actually have an endofunctor on . For those who don’t know category theory, the terminology is unimportant at this point, we just prove that the “function” transfers maps nicely in the following sense:
Theorem: Let be a ring and a left -module. Then, for any other two left -modules and any -morphism there is an induced group homomorphism given by . This association has the property that if are left -modules with , so that then . Moreover, if then . Moreover, if is commutative then carries -morphisms to -morphisms.
Proof: We first check that given that really is a group homomorphism. To see this we merely note that if and then
so that . Now, to see that respects compositions suppose that we have the setup in the theorem statement and let . We see then that
so that as desired. Now, to see the last claimed property of this association we merely check that for any one has that and so the conclusion follows.
It remains to show that in the case that is commutative that the operation respects -morphisms. Clearly all that needs to be checked is that for all . But, this is clear since
Remark: The map denoted by is sometimes denote .
One can easily show the following (going through the same basic idea)
Theorem: Let be a ring and a fixed left -module. Then, for any two left -modules and any map there is an induced map given by . This association has all the same properties as except that it reverses compositions .
Remark: The above says that the map is a contravariant functor and in the case that is commutative it is actually a contravariant functor .
 Dummit, David Steven., and Richard M. Foote. Abstract Algebra. Hoboken, NJ: Wiley, 2004. Print.
 Rotman, Joseph J. Advanced Modern Algebra. Providence, RI: American Mathematical Society, 2010. Print.
 Bhattacharya, P. B., S. K. Jain, and S. R. Nagpaul. Basic Abstract Algebra. Cambridge [Cambridgeshire: Cambridge UP, 1986. Print.