Splitting lemma

From Academic Kids

In mathematics, and more specifically in homological algebra, the splitting lemma states that the following statements regarding the below short exact sequence in any abelian category (with similar results if the objects are non-abelian groups) are equivalent:

image:SplitLemmaDiag.png

  1. there exists a map t: BA such that tq is the identity on A,
  2. there exists a map u: CB such that ru is the identity on C,
  3. B is isomorphic to the direct sum of A and C (or a semidirect product of A by C in the case of non-abelian groups), with q being the natural injection of A and r being the natural projection onto C.

The short exact sequence is called split if any the above statements hold.

Proof

First, to show that (3) implies both (1) and (2), we assume (3) and take as t the natural projection of the direct sum (semidirect product) onto A, and take as u the natural injection of C into the direct sum (semidirect product).

To prove that (1) implies (3), first note that any member of B is in the set (ker t + im q). This follows since for all b in B, b = (b - qt(b)) + qt(b); qt(b) is obviously in im q, and (b - qt(b)) is in ker t, since

t(b - qt(b)) = t(b) - tqt(b) = t(b) - (tq)t(b) = t(b) - t(b) = 0.

Next, the intersection of im q and ker t is 0, since if exists a in A such that q(a) = b, and t(b) = 0, then 0 = tq(a) = a; and therefore, b = 0.

(By exactness, im q = ker r, so im q is a normal subgroup of B in the case of groups.)

This proves that B is the direct sum (alternatively, a semidirect product) of im q and ker t. So, for all b in B, b can be uniquely identified by some a in A, k in ker t, such that b = q(a) + k.

By exactness, ker rq = A, and so ker r = im q. The subsequence BC → 0 implies that f is onto; therefore for any c in C there exists some b = q(a) + k such that c = r(b) = r(q(a) + k) = r(k). Therefore, for any c in C, exists k in ker t such that c = r(k), and r(ker t) = C.

If r(k) = 0, then k is in im q; since the intersection of im q and ker t = 0, then k = 0. Therefore the restriction of the morphism f : ker tC is an isomorphism; and ker t is isomorphic to C.

Finally, im q is isomorphic to A due to the exactness of 0 → AB; so B is isomorphic to the direct sum (alt., a semidirect product) of A and C, which proves (3).

To show that (2) implies (3), we follow a similar argument. Any member of B is in the set ker r + im u; since for all b in B, b = (b - ur(b)) + ur(b), which is in ker r + im u. The intersection of ker r and im u is 0, since if r(b) = 0 and u(c) = b, then 0 = ru(c) = c.

By exactness, im q = ker r, and since q is an injection, im q is isomorphic to A, so A is isomorphic to ker r. Since ru is a bijection, u is an injection, and thus im u is isomorphic to C. So B is again the direct sum of A and C. In general, however, not all A will give rise to a semidirect product, though, in the case of groups. See http://planetmath.org/encyclopedia/SemidirectProduct.html on this.

Navigation

Academic Kids Menu

  • Art and Cultures
    • Art (http://www.academickids.com/encyclopedia/index.php/Art)
    • Architecture (http://www.academickids.com/encyclopedia/index.php/Architecture)
    • Cultures (http://www.academickids.com/encyclopedia/index.php/Cultures)
    • Music (http://www.academickids.com/encyclopedia/index.php/Music)
    • Musical Instruments (http://academickids.com/encyclopedia/index.php/List_of_musical_instruments)
  • Biographies (http://www.academickids.com/encyclopedia/index.php/Biographies)
  • Clipart (http://www.academickids.com/encyclopedia/index.php/Clipart)
  • Geography (http://www.academickids.com/encyclopedia/index.php/Geography)
    • Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
    • Maps (http://www.academickids.com/encyclopedia/index.php/Maps)
    • Flags (http://www.academickids.com/encyclopedia/index.php/Flags)
    • Continents (http://www.academickids.com/encyclopedia/index.php/Continents)
  • History (http://www.academickids.com/encyclopedia/index.php/History)
    • Ancient Civilizations (http://www.academickids.com/encyclopedia/index.php/Ancient_Civilizations)
    • Industrial Revolution (http://www.academickids.com/encyclopedia/index.php/Industrial_Revolution)
    • Middle Ages (http://www.academickids.com/encyclopedia/index.php/Middle_Ages)
    • Prehistory (http://www.academickids.com/encyclopedia/index.php/Prehistory)
    • Renaissance (http://www.academickids.com/encyclopedia/index.php/Renaissance)
    • Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
    • United States (http://www.academickids.com/encyclopedia/index.php/United_States)
    • Wars (http://www.academickids.com/encyclopedia/index.php/Wars)
    • World History (http://www.academickids.com/encyclopedia/index.php/History_of_the_world)
  • Human Body (http://www.academickids.com/encyclopedia/index.php/Human_Body)
  • Mathematics (http://www.academickids.com/encyclopedia/index.php/Mathematics)
  • Reference (http://www.academickids.com/encyclopedia/index.php/Reference)
  • Science (http://www.academickids.com/encyclopedia/index.php/Science)
    • Animals (http://www.academickids.com/encyclopedia/index.php/Animals)
    • Aviation (http://www.academickids.com/encyclopedia/index.php/Aviation)
    • Dinosaurs (http://www.academickids.com/encyclopedia/index.php/Dinosaurs)
    • Earth (http://www.academickids.com/encyclopedia/index.php/Earth)
    • Inventions (http://www.academickids.com/encyclopedia/index.php/Inventions)
    • Physical Science (http://www.academickids.com/encyclopedia/index.php/Physical_Science)
    • Plants (http://www.academickids.com/encyclopedia/index.php/Plants)
    • Scientists (http://www.academickids.com/encyclopedia/index.php/Scientists)
  • Social Studies (http://www.academickids.com/encyclopedia/index.php/Social_Studies)
    • Anthropology (http://www.academickids.com/encyclopedia/index.php/Anthropology)
    • Economics (http://www.academickids.com/encyclopedia/index.php/Economics)
    • Government (http://www.academickids.com/encyclopedia/index.php/Government)
    • Religion (http://www.academickids.com/encyclopedia/index.php/Religion)
    • Holidays (http://www.academickids.com/encyclopedia/index.php/Holidays)
  • Space and Astronomy
    • Solar System (http://www.academickids.com/encyclopedia/index.php/Solar_System)
    • Planets (http://www.academickids.com/encyclopedia/index.php/Planets)
  • Sports (http://www.academickids.com/encyclopedia/index.php/Sports)
  • Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
  • Weather (http://www.academickids.com/encyclopedia/index.php/Weather)
  • US States (http://www.academickids.com/encyclopedia/index.php/US_States)

Information

  • Home Page (http://academickids.com/encyclopedia/index.php)
  • Contact Us (http://www.academickids.com/encyclopedia/index.php/Contactus)

  • Clip Art (http://classroomclipart.com)
Toolbox
Personal tools