Splitting lemma

Splitting lemma

In mathematics, and more specifically in homological algebra, the splitting lemma states that in any abelian category, the following statements for short exact sequence are equivalent.

Given a short exact sequence with maps "q" and "r:":0 ightarrow A overset{q}{longrightarrow} B overset{r}{longrightarrow} C ightarrow 0one writes the additional arrows "t" and "u" for maps that may not exist::0 ightarrow A q atop longrightarrow} atop {longleftarrow atop t B r atop longrightarrow} atop {longleftarrow atop u C ightarrow 0

Then the following are equivalent:;1. left split: there exists a map "t": "B" → "A" such that "tq" is the identity on "A",;2. right split: there exists a map "u": "C" → "B" such that "ru" is the identity on "C",;3. direct sum: "B" is isomorphic to the direct sum of "A" and "C", 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 of the above statements hold.

It allows one to refine the first isomorphism theorem:
* the first isomorphism theorem states that in the above short exact sequence, C cong B/q(A)
* if the sequence splits, then B cong q(A) oplus u(C) cong A oplus C, and the first isomorphism theorem is just the projection onto "C".

It is a categorical generalization of the rank–nullity theorem (in the form V approx ker T oplus operatorname{im},T) in linear algebra.

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 onto "A", and take as "u" the natural injection of "C" into the direct sum.

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.

This proves that "B" is the direct sum 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 "B" → "C" → 0 implies that "r" 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 "r" : ker "t" → "C" is an isomorphism; and ker "t" is isomorphic to "C".

Finally, im "q" is isomorphic to "A" due to the exactness of 0 → "A" → "B"; so "B" is isomorphic to the direct sum 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".

Non-abelian groups

In the form stated here, the splitting lemma does not hold in the full category of groups, which is not an abelian category.

Partially true

It is partially true: if a short exact sequence of groups is left split or a direct sum (conditions 1 or 3), then all of the conditions hold. For a direct sum this is clear, as one can inject from or project to the summands. For a left split sequence, the map r imes tcolon B o A imes C gives an isomorphism, so "B" is a direct sum (condition 3), and thus inverting the isomorphism and composing with the natural injection C o A imes C gives an injection C o B splitting "t" (condition 2).

However, if a short exact sequence of groups is right split (condition 2), then it need not be left split or a direct sum (neither condition 1 nor 3 follows): the problem is that the image of the right splitting need not be normal. What is true in this case is that "B" is a semidirect product, though not in general a direct product.

Counterexample

To form a counterexample, take the smallest non-abelian group Bcong S_3, the symmetric group on three letters. Let "A" denote the alternating subgroup, and let C=B/Acong{pm 1}. Let "q" and "r" denote the inclusion map and the sign map respectively, so that :0 ightarrow A stackrel{q}{longrightarrow} B stackrel{r}{longrightarrow} C ightarrow 0 ,is a short exact sequence. Condition (3) fails, because S_3 is not abelian. But condition (2) holds: we may define "u": "C" → "B" by mapping the generator to any two-cycle. Note for completeness that condition (1) fails: any map "t": "B" → "A" must map every two-cycle to the identity, by Lagrange's theorem. But every permutation is a product of two-cycles, so "t" is the trivial map, whence "tq": "A" → "A" is the trivial map, not the identity.

See also

* First isomorphism theorem
* Rank–nullity theorem
* Semidirect product


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Heegaard splitting — In the mathematical field of geometric topology, a Heegaard splitting is a decomposition of a compact oriented 3 manifold that results from dividing it into two handlebodies. The importance of Heegaard splittings has grown in recent years as more …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • List of lemmas — This following is a list of lemmas (or, lemmata , i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures. 0 to 9 *0/1 Sorting Lemma ( comparison… …   Wikipedia

  • Rank–nullity theorem — In mathematics, the rank–nullity theorem of linear algebra, in its simplest form, states that the rank and the nullity of a matrix add up to the number of columns of the matrix. Specifically, if A is an m by n matrix over the field F , then :rank …   Wikipedia

  • Isomorphism theorem — In mathematics, specifically abstract algebra, the isomorphism theorems are three theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules,… …   Wikipedia

  • List of mathematical proofs — A list of articles with mathematical proofs:Theorems of which articles are primarily devoted to proving them: See also: *Bertrand s postulate and a proof *Estimation of covariance matrices *Fermat s little theorem and some proofs *Gödel s… …   Wikipedia

  • Exact sequence — In mathematics, especially in homological algebra and other applications of abelian category theory, as well as in differential geometry and group theory, an exact sequence is a (finite or infinite) sequence of objects and morphisms between them… …   Wikipedia

  • List of homological algebra topics — This is a list of homological algebra topics, by Wikipedia page. Basic techniques Cokernel Exact sequence Chain complex Differential module Five lemma Short five lemma Snake lemma Nine lemma Extension (algebra) Central extension Splitting lemma… …   Wikipedia

  • Semidirect product — In mathematics, especially in the area of abstract algebra known as group theory, a semidirect product is a particular way in which a group can be put together from two subgroups, one of which is a normal subgroup. A semidirect product is a… …   Wikipedia

  • Semidirektes Produkt — In der Gruppentheorie, einem Teilgebiet der Mathematik, beschreibt das semidirekte Produkt eine spezielle Methode, mit der aus zwei gegebenen Gruppen eine neue Gruppe konstruiert werden kann. Diese Konstruktion verallgemeinert das Konzept des… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”