Inverse Limits of Modules (Pt. II)
Point of Post: This is a continuation of this post.
As went with the case of direct limits, it is probably prudent to show that any inverse system of modules actually admits an inverse limit. The setup will be similar to the case of direct limits, where we shall “glue” all the modules in the system together, and then mod out by the relation that “identifies” objects in the desired way. More rigorously:
Theorem: Let be a preoredred set and an inverse system of modules. Then, if denotes the submodule the product of all the modules containing all the elements such that for all , then along with the natural projections is an inverse limit of our system.
Proof: We need to show first off that for every . But, this is precisely how we defined ! Thus, it remains to show that given any set of maps such that whenever , that there exists a unique map such that . The idea of how to do this is clear, namely by definition of the product we get a unique map which maps into the product of the modules, and so it suffices to show that . To see this we merely note that and so –since was arbitrary the claim follows. Thus, is a well-defined morphism , which clearly satisfies . Moreover, it’s clear that this was the only way we could have defined such a since if was another such map then (where is the inclusion of into the full product) have same values when precomposed with the ‘s and so are equal by the definition of the product, but since is injective we may left cancel to find that .
Now, we have seen that all inverse limits of a given inverse system are isomorphic, and so the above construction shall serve as a sort of “model” for the inverse limit. In particular, while there is no “the” inverse limit, we shall make this phrasing make sense by saying that whenever we discuss “the” inverse limit of an inverse system we shall mean the above construction, which we shall denote .
 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.
 Blyth, T. S. Module Theory. Clarendon, 1990. Print.
 Lang, Serge. Algebra. Reading, MA: Addison-Wesley Pub., 1965. Print.
 Grillet, Pierre A. Abstract Algebra. New York: Springer, 2007. Print.