## Category of Directed/Inverse Systems and the Direct/Inverse Limit Functor (Pt. III)

**Point of Post: **This is a continuation of this post.

## Category of Directed/Inverse Systems and the Direct/Inverse Limit Functor (Pt. II)

**Point of Post: **This is a continuation of this post.

## Category of Directed/Inverse Systems and the Direct/Inverse Limit Functor (Pt. I)

**Point of Post: **In this post we define the category of directed/inverse system of modules over a given ring and then discuss how the construction of the direct/inverse limit is a functor from this category to the category of -modules. We will then show how this functor is “exact” in the sense that it preserves exact sequences.

*Motivation*

We’d now like to take a more theoretical approach to looking at direct/inverse systems, and their limits. Roughly what we we shall see is that direct systems over a fixed preordered set form a nice little category and limits shall be functors on this category. Moreover, what we shall see is that there is a natural notion of exactness for chains of direct/inverse systems, and we shall see that the limit functor preserves exactness when passed into the target category (which will be just ). The reason for this abstraction is nothing more than a desire to put phrase a common construction in the convenient language of category theory. In fact, not only will we see that this phrasing will be useful in and of itself, but it shall serve as a prime example of a more general categorical construct in the future, and this functor shall even occupy much of our time once we start talking about homological algebra (or the left derivation of this functor).

## Relationship Between Hom and Limits (Modules)(Pt. II)

**Point of Post: **This is a continuation of this post.

## Relationship Between Hom and Limits (Modules)(Pt. I)

**Point of Post: **In this post we discuss how the Hom functor relates to limits. This shall serve, later on, to be a prime example of adjoint functors.

*Motivation*

Now that we have properly defined notions of direct and inverse limits of modules there are several natural questions we can ask, relating to previous topics. Perhaps one of the natural questions one might ask is how direct and inverse limits react with the Hom module (group). We should already have a good idea what’s going to happen based on the case when we are taking the direct and inverse limit over trivial directed and inverse systems. In other words, we already know what happens in the case of products and coproducts. This suggests that perhaps something of the form and . Of course, we have to define what precisely what we mean here for, obviously as it stands, this makes absolutely no sense–what are the systems we are taking the limits over on the right hand side of both these isomorphisms? Regardless, the idea of why this “should” be true is clear enough. Namely direct limits are constructed to be such that mappings out them are completely determined by a set of mappings out of each of the individual terms of the limit, and similarly inverse limits are such that mappings into them are dtermined by a set of mappings into each of the individual factors. This roughly tells us that where denotes “related by some operation”, and similarly for the other entry with inverse limit. What suggests that in both cases we would get inverse limits is that there are natural projections maps and which heavily suggests we should be doing some kind of inverse limit (whenever one see mappings into things, inverse limits should be an immediate thought). Perhaps a bigger hint, or those who are in the know (or have done things in a slightly different order than I am posting), is that we know the maps and (where ) in the and case respectively naturally induce maps and respectively since, as we’ve already discussed, and are contravariant and covariant functors respectively. This heavily suggests that we are going to be doing some kind inverse limit. Making all of this rigorous is slightly annoying, but this the basic idea. Either way, the proof shouldn’t seem to foreign since we have already tackled the special case of products and coproducts.

## Inverse Limit of Rings (Pt. I)

**Point of Post: **In this post we discuss the notion of the inverse limit of rings, defining inverse systems, defining inverse limits in terms of universal characterizations, and then showing that inverse limits always exist.

*Motivation*

As we have already seen it’s easy to go from constructions involving limits of modules to constructions involving limits of rings by just changing “-map” to “ring homomorphism” and “submodule” to “ideal”. This continues in this post where we discuss the notion of inverse limits of inverse systems of rings. The motivation, and the key ideas are the same as they were when we discussed the inverse limits of modules, and so we shall omit motivating remarks and the finer details of proofs since they are almost verbatim, the same.