Added to Favorites

Related Searches

Nearby Words

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 such that the image of one morphism equals the kernel of the next.
## Definition

## Example

## Special cases

## Facts

The splitting lemma states that if the above short exact sequence admits a morphism t: B → A such that t o f is the identity on A or a morphism u: C → B such that g o u is the identity on C, then B is a twisted direct sum of A and C.
(For groups, a twisted direct sum is a semidirect product; in an abelian category, every twisted direct sum is an ordinary direct sum.)
In this case, we say that the short exact sequence splits.## Applications of exact sequences

To be precise, fix an abelian category (such as the category of abelian groups or the category of vector spaces over a given field) or some other category with kernels and cokernels (such as the category of all groups).
Choose an index set of consecutive integers.
Then for each integer i in the index set, let A_{i} be an object in the category and let f_{i} be a morphism from A_{i} to A_{i+1}.
This defines a sequence of objects and morphisms.

The sequence is exact at A_{i} if the image of f_{i−1} is equal to the kernel of f_{i}:

- im f
_{i−1}= ker f_{i}.

Consider the following sequence of abelian groups:

- $0to\; Bbb\{Z\}\; xrightarrow\{2cdot\}\; Bbb\{Z\}\; to\; Bbb\{Z\}/2Bbb\{Z\}to\; 0$

- the image of the map 0→Z is {0}, and the kernel of multiplication by 2 is also {0}, so the sequence is exact at the first Z.
- the image of multiplication by 2 is 2Z, and the kernel of reducing modulo 2 is also 2Z, so the sequence is exact at the second Z.
- the image of reducing modulo 2 is all of Z/2Z, and the kernel of the zero map is also all of Z/2Z, so the sequence is exact at the position Z/2Z

Another example, from differential geometry, especially relevant for work on the Maxwell equations:

- $Bbb\{H\}\_1\; xrightarrow\{mbox\{grad\}\}\; Bbb\{H\}\_mbox\{curl\}\; xrightarrow\{mbox\{curl\}\}\; Bbb\{H\}\_mbox\{div\}\; xrightarrow\{mbox\{div\}\}\; Bbb\{L\}\_2$,

- $mbox\{curl\},(mbox\{grad\},f\; )\; =\; nabla\; times\; (nabla\; f)\; =\; 0$

- $mbox\{div\},(mbox\{curl\},vec\; v\; )\; =\; nabla\; cdot\; nabla\; times\; vec\{v\}\; =\; 0$

To make sense of the definition, it is helpful to consider what it means in relatively simple cases where the sequence is finite and begins or ends with 0.

- The sequence 0 → A → B is exact at A if and only if the map from A to B has kernel {0}, i.e. if and only if that map is a monomorphism.
- Dually, the sequence B → C → 0 is exact at C if and only if the image of the map from B to C is all of C, i.e. if and only if that map is an epimorphism.
- A consequence of these last two facts is that the sequence 0 → X → Y → 0 is exact if and only if the map from X to Y is a bimorphism.

When dealing with exact sequences of groups, it is common to write 1 instead of 0 for the trivial group with a single element.

Important are short exact sequences, which are exact sequences of the form

: By the above, we know that for any such short exact sequence, f is a monomorphism and g is an epimorphism. Furthermore, the image of f is equal to the kernel of g. It is helpful to think of A as a subobject of B with f being the embedding of A into B, and of C as the corresponding factor object B/A, with the map g being the natural projection from B to B/A (whose kernel is exactly A).

The snake lemma shows how a commutative diagram with two exact rows gives rise to a longer exact sequence. The nine lemma is a special case.

The five lemma gives conditions under which the middle map in a commutative diagram with exact rows of length 5 is an isomorphism; the short five lemma is a special case thereof applying to short exact sequences.

The importance of short exact sequences is underlined by the fact that every exact sequence results from "weaving together" several overlapping short exact sequences. Consider for instance the exact sequence

- $A\_1to\; A\_2to\; A\_3to\; A\_4to\; A\_5to\; A\_6\; ,!$

and define

- $C\_k\; =\; ker\; (A\_kto\; A\_\{k+1\})=\; operatorname\{im\}\; (A\_\{k-1\}to\; A\_k)\; =\; operatorname\{coker\}\; (A\_\{k-2\}to\; A\_\{k-1\}).$

- Conversely, given any list of overlapping short exact sequences, their middle terms form an exact sequence in the same manner.

In the theory of abelian categories, short exact sequences are often used as a convenient language to talk about sub- and factor objects.

The extension problem is essentially the question, given the end terms A and C of a short exact sequence, what possibilities exist for the middle term B? In the category of groups, this is equivalent to the question, what groups B have A as a normal subgroup and C as the corresponding factor group? This problem is important in the classification of groups. See also Outer automorphism group.

Notice that in an exact sequence, the composition f_{i+1} o f_{i} maps A_{i} to 0 in A_{i+2}, so every exact sequence is a chain complex.
Furthermore, only f_{i}-images of elements of A_{i} are mapped to 0 by f_{i+1}, so the homology of this chain complex is trivial. More succinctly:

- Exact sequences are precisely those chain complexes which are acyclic.

If we take a series of short exact sequences linked by chain complexes (that is, a short exact sequence of chain complexes, or from another point of view, a chain complex of short exact sequences), then we can derive from this a long exact sequence (i.e. an exact sequence indexed by the natural numbers) by repeated application of the snake lemma. This is explained in the article on homology. It comes up in algebraic topology in the study of relative homology; the Mayer-Vietoris sequence is another example. Long exact sequences induced by short exact sequences are also characteristic of derived functors.

Exact functors are functors that transform exact sequences into exact sequences.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Thursday September 11, 2008 at 06:19:45 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Thursday September 11, 2008 at 06:19:45 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.