## Inverse Limit of Rings (Pt. III)

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

Now that we have seen some examples we would now, as we have done at least three times in the recent past, show that we can always find an inverse limit for a given inverse system. The construction is very similar to that of the inverse limit of modules so we shall try to keep things short, just describing the general object. As we have noted before, the reason for the similarity between the construction is due to the fact (as we shall eventually discuss) that inverse limits and direct limits are a more general construct able to be done in (most) categories with the category of rings or of modules over a fixed ring just being one example. Anyways, let’s get on with the construction:

**Theorem: ***Let be a preordered set and an inverse system of rings over . Then, if denotes the subring of the product ring over the defined by . Then, along with the natural projections are an inverse limit of the aforementioned inverse system.*

**Proof: **Let us first verify that is a (unital if each is) subring of the product ring. To do this we merely have to note that to prove that and for each , but this follows immediately from the fact that each is a ring homomorphism (moreover, it’s clear that is unital if each is since, taking each to be unital, we have that always). Now, to prove that this ring really is an inverse limit we suppose that we are given a set of homomorphism for some ring such that . We then note that by the universal property of products that there exists a unique map from into the product ring over the with the (desired) property that . If we can thus prove that we’ll be done. But, this is simple since, writing we have that as desired. The conclusion follows.

As was the case or the inverse limit of modules we shall almost always refer to the above ‘model’ of the inverse limit of an inverse system of rings as “the” inverse limit, and denote it by .

**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.

No comments yet.

## Leave a Reply