Abstract Nonsense

Crushing one theorem at a time

Direct Limits of Directed Sets


Point of Post: In this post we make note of a simple fact about what the direct limit of a directed set over a directed system looks like.

\text{ }

Motivation

Most of the examples we have discussed up until this point concerning direct limits have involved directed systems not over the bare minimum preordered set–no most of the time they are over directed sets. So what? Why does being over a directed set make anything better? Well, that is the content of the post. Namely, we shall see that if we take the directed limit of a directed system over a directed set (opposed to a general preordered set) we know that all the elements “look nice” (in a sense to soon be made clear). Of course, this begs the question as to why, considering this new information, we wouldn’t just from the get-go restrict our attention to directed systems over directed sets? Well, put bluntly, we’ll miss out on some good stuff. In other words, allowing us to considered directed systems over general preordered sets (and their subsequent direct limits) allows us to bring under the umbrella of “direct limit” some ‘degenerate’ cases which are very useful. First and foremost in my mind is the coproduct of a set \{M_\alpha\}_{\alpha\in\mathcal{A}} of modules which is obtained by defining the trivial preorder on \mathcal{A}. Thus, we don’t want to throw out the possibility of discussing direct limits of directed sets over preordered sets, but we’d at least like (since, as we said, ‘most times’ the preordered set is really a directed set) know how to reap the benefits of the additional properties of directed sets when they arise.

\text{ }

Direct Limits Over Directed Sets

\text{ }

What we really want to show is that every element of a direct limit when considering directed systems over directed sets “looks nice” in the sense that it’s the image of the of the put-in maps M_\alpha\to\varinjlim M_\alpha. Put more seriously:

\text{ }

Theorem: Let \left(\mathcal{A},\leqslant\right) be a directed set and \left(\{M_\alpha\}_{\alpha\in\mathcal{A}},\{f_{\alpha,\beta}:M_\alpha\to M_\beta\}_{\alpha,\beta\in\mathcal{A},\; \alpha\leqslant\beta}\right) a directed system over \mathcal{A}. Then, if \left(M,\{\varphi_\alpha\}\right) is a direct limit of this system, then for every x\in M there exists some \alpha\in\mathcal{A} such that x=\varphi_\alpha(x_\alpha) for some x_\alpha\in M_\alpha.

Proof: Since the unique isomorphism between M and \varinjlim M_\alpha satisfies the appropriate identities between \pi\circ\iota_\alpha and \varphi_\alpha it suffices to prove this for \varinjlim M_\alpha. To do this we note that by definition every element of \varinjlim M_\alpha can be written as \displaystyle \sum_{k}\iota_{\alpha_k}(x_{\alpha_k})+I. But, since \mathcal{A} is directed we can find some \beta\in\mathcal{A} with \alpha_k\leqslant\beta for each k\in[n]. But, we know that \iota_{\alpha_k}(x_{\alpha_k})=\iota_\beta(f_{\alpha_k,\beta}(x_{\alpha_k})) and so it easily follows that

\text{ }

\displaystyle x=\sum_{k}\iota_{\alpha_k}(x_{\alpha_k})=\iota_\beta\left(\sum_k f_{\alpha_k,\beta}(x_{\alpha_k})\right)+I=(\pi\circ\iota_\beta)\left(\sum_k f_{\alpha_k,\beta}(x_{\alpha_k})\right)

\text{ }

\blacksquare

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


Advertisements

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

1 Comment »

  1. […] inclusion of into the first coordinates of . Clearly then forms a directed system over the directed set […]

    Pingback by Direct Limit of Rings (Pt. I) « Abstract Nonsense | December 4, 2011 | 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: