Abstract Nonsense

Crushing one theorem at a time

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


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

\text{ }

What we’d now like to show is that, similar to the case of \varinjlim, \varprojlim 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.

\text{ }

Theorem: Let 

\text{ }

0\to\left(\{L_\alpha\},\{h_{\alpha,\beta}\}\right)\xrightarrow{\{v_\alpha\}}\left(\{M_\alpha\},\{f_{\alpha,\beta}\}\right)\xrightarrow{\{w_\alpha\}}\left(\{N_\alpha\},\{g_{\alpha,\beta}\}\right)

\text{ }

be an exact sequence of inverse systems over some directed set \left(\mathcal{A},\leqslant\right) (where \varprojlim L_\alpha,\varprojlim M_\alpha, and \varprojlim N_\alpha have limit cones \{\psi_\alpha\},\{\eta_\alpha\}, and \{\varphi_\alpha\} respectively) then

\text{ }

0\to \varprojlim L_\alpha\xrightarrow{\varprojlim v_\alpha}\varprojlim M_\alpha\xrightarrow{\varprojlim w_\alpha}\varprojlim N_\alpha

\text{ }

is an exact sequence of R-maps.

\text{ }

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

\text{ }

\text{ }

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.

Advertisements

December 28, 2011 - Posted by | Algebra, Module Theory, Ring Theory | , , , , , , , , , , , ,

1 Comment »

  1. […] 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 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: