## Exact Sequences of Modules

**Point of Post: **In this post we discuss the notion of exact sequences of modules, short exact sequences, characterizations of when short exact sequences split, etc.

*Motivation*

We now come to what shall be one of the most important linguistic tools in our discussion of modules (and eventually much more general objects)–exact sequences. So, what precisely are exact sequences? Well, often times when we are discussing algebraic objects we care quite a bit about quotient objects and subobjects of some given object (e.g. quotient groups and subgroups, quotient rings and subrings ,etc.) An important characteristic of subobjects and quotient objects is that they both have equipped morphisms attached to the initial object. To be specific, if we have an abelian group and a subgroup we have the natural maps and . Or, “lining things up” we have . Note the interesting thing though, is that if we attempt to do what’s natural given a series of maps like this, we compose them, we get nothing more than the zero map. In fact, the kernel of the map out of is precisely the image of the map going into ! Ok, so what? What if we had instead started with abelian groups and suppose we had a similar situation with . We see then (by the first isomorphism theorem) that and so . But, since is a monomorphism we can morally regard as being equal to and so this says that, for all intents and purposes, is a subgroup of and . From this it’s not hard to see that a lot of more non-trivial examples of abelian groups and maps satisfy this property. For example, (where the first map is the canonical injection and the second is) and more generally . Thus, we see that, the idea of sequences , with tell us that “roughly” is “made up” of (how though isn’t at all apparent). Thus, if we are able to put abelian groups, or in our more general case modules, in sequences of maps of this form we can tell a lot about the modules in question. More generally, we shall see that putting maps in “chains” of the form where the kernel of the map out of each object coincides with the image of the map into each object tell us a lot about the modules involved. Consequently, if we hope to be able to put modules into this form, it makes sense to say precisely what being in that form gives us–i.e. given that we are able to put a sequence of modules into such a mapping scheme what can we say about the modules or the maps involved? What if we impose more strict information on the maps involved, or the modules themselves? This is precisely the subject of this post, to glean these properties.

*Exact Sequences*

Given a ring and left -modules we say that the “chain” of -morphisms is *exact* at if . A “chain” of maps and modules

is called *exact* if it’s exact at each module. There is a particular class of exact sequences that interest us. Before we define them we note that there is only one meaning for and where is the zero module and is some left -module (i.e. is a “zero object” in the category ) with being the map sending and is given by . So, interesting things start to happen if you start putting this zero module into exact sequences. For example, it’s clear by definition that is exact if and only if is a monomorphism. Similarly, is exact if and only if is an epimorphism. Combining these gives is exact if and only if is an isomorphism. Thus, when we have a sequence of modules starting and ending with with only two modules in between, the theory is fairly easy. What shall interest us (which is the special case we discussed in the motivation) o *short exact sequences* which are exact sequences of the form

Of course, we could equally well write a short exact sequence as from where the motivation gives us the following two short exact sequences:

where are abelian groups (or more generally any left -module, as we shall soon see).

We shall see that the notion of exact sequences makes the idea of diagram completion very easy. For example:

**Theorem: ***Let be a ring and consider the following a diagram of left -modules and -morphisms*

*where the bottom row is exact and . Then, the diagram can be commutatively completed with a map , and moreover this is unique.*

**Proof: **Since is exact we know that is a monomorphism. Moreover, if then so that . Thus, . The rest follows from our discussion of triangle completions.

What this theorem is saying, in simple terms, is that if we have an embedding of some module into the module (call its image ), and if we have a mapping with kernel then any time we have a fourth module and a map with then we can factor the mapping through (obviously, because for all intents and purposes ).

The last thing we’d like to mention are the ‘morphisms’ between exact sequences (or more general chains, but that doesn’t concern us right now). Namely, we’d like to define a notion of a kind of map between exact sequences that tells us that they are “similar”. So, what precisely should this mean? Suppose we are given two chains (exact sequences for now) and (where it’s clear what this is short-hand for). A morphism between them should affect each of the individual modules and each of the individual morphisms. To be particular, should descend to morphisms , but that these morphisms should respect the ‘s (in the sense that the morphisms should tell us that the and are related). So, how should this pan out, what should this relationship between and be? Well, considering the context we are in, it’s not surprising that the condition we seek is that the resulting square diagrams (shown below) should all commute

Intuitively this is telling us that we can think of as “being ” (in a loose sense) and that under this way of thinking and induce similar maps . So that, in a perfect world, where everything is an isomorphism this roughly tells us that and are exactly the same and that the way transforms is exactly the same as the way transforms except they had the misfortune of being born into different, ostensibly non-interacting universes (of course the ‘s are the bridge between these universes). We call such a collection of maps a *chain map *between and and are liable to write . If each is an isomorphism of modules we are apt to call a *chain isomorphism.*

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

[…] our last post that the existence of a short exact sequences indicates that is “put together” in […]

Pingback by The Splitting Lemma (For Modules) (Pt. I) « Abstract Nonsense | November 4, 2011 |

[…] The basic idea from here is simple. Note that which, by the third isomorphism theorem is isomorphic to , but note that since and since we may conclude that is isomorphic to a submodule of . But, since is a PID every submodule is of the form . If then since is an integral domain and if then . From this we may conclude that is a free -module of rank or . That said, we have an obvious short exact sequence […]

Pingback by Submodules of Free Modules Need Not be Free Unless Ring is a PID (pt. II) « Abstract Nonsense | November 21, 2011 |

[…] 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 […]

Pingback by Category of Directed/Inverse Systems and the Direct/Inverse Limit Functor « Abstract Nonsense | December 27, 2011 |

[…] use the theorem nonetheless). Roughly what we’d like to show is that the functor perserves exactness. Of course, we have yet to define what exactness should mean for a chain of directed systems, but […]

Pingback by Category of Directed/Inverse Systems and the Direct/Inverse Limit Functor (Pt. II) « Abstract Nonsense | December 28, 2011 |

[…] an exact sequence of left -modules and a right -module, […]

Pingback by Functorial Properties of the Tensor Product (Pt. II) « Abstract Nonsense | January 4, 2012 |