## The Splitting Lemma (For Modules)

**Point of Post: **In this post we discuss the splitting lemma for modules, explain its significance, and some of its consequences.

*Motivation*

In our last post that the existence of a short exact sequences indicates that is “put together” in some way from . We noticed that, theoretically , could be just which represents the simplest way could be “put together” from . It makes sense then that we would like to know when this is actually true. Namely, under what conditions in addition to the existence of a short exact sequence do we need to be able to conclude that ? This shall be the subject of our discussion here.

*Splitting Lemma*

Given a short exact sequence we call an *extension of by *. We say that the sequence *splits* if there exists a chain isomorphism from this short exact sequence to the natural short exact sequence (where the direct sum of modules is defined in the obvious way, it will be discussed more later) such that the maps and are the identity. This says that not only are the two chains isomorphic, but they are as naturally isomorphic as you’d like, in the sense that the translate to go from (in the sense discussed in the post) is just identity maps! So, we shall now discuss what conditions need to be placed on an exact sequence so that it splits:

**Theorem (The Splitting Lemma): ***Let be left -modules for some ring and a short exact sequence. Then, the following are equivalent*

**Proof: **We proceed in the following progression and but we arrange it in the way that is the most natural.

We start with . Suppose that our chains are isomorphic, and let be the guaranteed isomorphism.Define a map by . To see what’s going on better we have the following diagram:

where we make no claims (as of right now) that everything is commutative with (the natural inclusion). That said, is a morphism, being the composition of two morphisms, and . The conclusion follows.

We now take a go at . Suppose we are given this function . Define as follows. Since is an epimorphism there exists, for each some such that , define . To see that this is well-defined, in the sense that if then we note that if then and so by exactness and since this tells us that and so evidently and so

This is a morphism since if and then and and so and so

since is clearly one can see that follows. Conversely, suppose we are given a with . Let be arbitrary, note that

so that , but since is exact this implies that , and since is a monomorphism this implies that there exists a unique with , so define . To see that this is a morphism we note that and then (where we made use of the fact that are morphisms) and so . Lastly, we need to prove that , or equivalently but since this is clear. The conclusion follows.

Finally, we prove . To do this we define by . This is a morphism since each coordinate map is a morphism. To see that is a monomorphism we note that implies and . From the second of these equalities we gather that and since is exact this implies that and so as previously noted , but and so . To see that is surjective we let be arbitrary. Since is surjective we know that there exists such that and since is surjective (since it has a right inverse) we may find with . So, set . Note then that

and

since is exact. Thus, . Since was arbitrary the surjectivity follows. It only remains to show that the diagram associated with this association forms a chain isomorphism (i.e. to show that the relevant diagram commutes). This amounts to showing that and . But, this is clear since, for example and . Combining all this gives the desired conclusion.

I feel like I’m obligated to comment on the motivation for the above proof. I had seen a proof the splitting lemma a while ago, and had completely forgotten it. So, I decided (as I do with most important stuff) to try to prove this on my own. I realized that if one is thinking about how to go about this proof the “wrong way” one is doomed for a headache. In particular, a lot of the above created functions (i.e. the creation of ) seem awfully contrived. In fact, the opposite is true. Intuitively being chain isomorphic to the direct sum chain allows us to really think of as and as . So, I first found how to express something in the bottom chain and then transferred it up top, using the analogous maps (or transfer maps if necessary). For example, noting that for any is what allowed me to figure out that (which should be equal to ) should be . I hope this makes this seeming magic-of-a-theorem less mysterious.

**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 it’s not at all clear whether or not a sequence splitting is a happy mistake or a […]

Pingback by Every Short Exact Sequence of Vector Spaces Splits « Abstract Nonsense | November 7, 2011 |

[…] can use this notion of internal direct sums to be able to write the central module of a split short exact sequence in a nice way, in terms of the image and kernel of certain maps. First we note the […]

Pingback by Internal Direct Sum of Modules « Abstract Nonsense | November 20, 2011 |

[…] By the splitting lemma it suffices to show that there is a backmap for . To do this, fis a basis for . Define a map […]

Pingback by Short Exact Sequences Ending in Free Modules Split « Abstract Nonsense | November 20, 2011 |

[…] since is free, we know this sequence splits and so there exists some backmap and we know that and since is free we know that where if […]

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

[…] letting , in gives us a map such that . In other words, the map has a backmap. Thus, by the splitting lemma given any short exact sequence we can conclude this sequence splits so that, among other things, […]

Pingback by Projective Modules (Pt. II) « Abstract Nonsense | February 7, 2012 |

[…] there exists an arrow such that . Thus, by the splitting lemma, we may conclude that our sequence […]

Pingback by Injective Modules (Pt. I) « Abstract Nonsense | April 28, 2012 |

[…] and since we have a retraction for the conclusion follows from the splitting lemma. […]

Pingback by The Tensor Algebra and Exterior Algebra (Pt. V) « Abstract Nonsense | May 21, 2012 |