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

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

What we’d now like to show is that, similar to the case of , is an “exact” functor, where we define exactness of inverse systems the exact same way we define it for directed systems (e.g. the individuals sequences are exact), but unfortunately things don’t work out quite as well as they did for direct limits. Namely, we can really only prove that the inverse limit functor is “left exact” which means it takes exact sequences, where the leftmost map is injective to exact sequences where the left most map is injective.

**Theorem: ***Let *

*be an exact sequence of inverse systems over some directed set (where , and have limit cones , and respectively) then*

*is an exact sequence of -maps.*

We postpone the proof of this, so that we may give a cool proof of it using abstract nonsense concerning adjoint functors.

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

[…] and so right exact. This also allows us to finally complete a long-standing promise. Namely, a long time ago we claimed that the inverse limit functor was left exact. This now follows immediately since this is just a limit functor which we know is a right adjoint […]

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