Parallelogram

An exact sequence is a concept in mathematics, especially in ring and module theory, homological algebra, as well as in differential geometry and group theory. An exact sequence is a sequence, either finite or infinite, of objects and morphisms between them such that the image of one morphism equals the kernel of the next.

Definition

In the context of group theory, a sequence

$G_{0}\;{\xrightarrow {f_{1}}}\;G_{1}\;{\xrightarrow {f_{2}}}\;G_{2}\;{\xrightarrow {f_{3}}}\;\cdots \;{\xrightarrow {f_{n}}}\;G_{n}$

of groups and group homomorphisms is called exact if the image (or range) of each homomorphism is equal to the kernel of the next:

$\mathrm {im} (f_{k})=\mathrm {ker} (f_{k+1})$

Note that the sequence of groups and homomorphisms may be either finite or infinite.

A similar definition can be made for certain other algebraic structures. For example, one could have an exact sequence of vector spaces and linear maps, or of modules and module homomorphisms. More generally, the notion of an exact sequence makes sense in any category with kernels and cokernels.

Short exact sequence

The most common type of exact sequence is the short exact sequence. This is an exact sequence of the form

$A\;{\overset {f}{\hookrightarrow }}\;B\;{\overset {g}{\twoheadrightarrow }}\;C$

where ƒ is a monomorphism and g is an epimorphism. In this case, A is a subobject of B, and the corresponding quotient is isomorphic to C:

$C\cong B/f(A)$

(where f(A) = im(f)).

A short exact sequence of abelian groups may also be written as an exact sequence with five terms:

$0\;{\xrightarrow {}}\;A\;{\xrightarrow {f}}\;B\;{\xrightarrow {g}}\;C\;{\xrightarrow {}}\;0$

where 0 represents the zero object, such as the trivial group or a zero-dimensional vector space. The placement of the 0's forces ƒ to be a monomorphism and g to be an epimorphism (see below).

If instead the objects are groups not known to be abelian, then multiplicative rather than additive notation is traditional, and the identity element -- as well as the trivial group -- is often written as "1" instead of "0". So in that case a short exact sequence would be written as follows:

$1\;{\xrightarrow {}}\;A\;{\xrightarrow {f}}\;B\;{\xrightarrow {g}}\;C\;{\xrightarrow {}}\;1$

Example

Consider the following sequence of abelian groups:

${\mathbb {Z}}\;{\overset {2\cdot }{\hookrightarrow }}\;{\mathbb {Z}}\twoheadrightarrow {\mathbb {Z}}/2{\mathbb {Z}}$

The first operation forms an element in the set of integers, Z, using multiplication by 2 on an element from Z i.e. j = 2i. The second operation forms an element in the quotient space, j = i mod 2. Here the hook arrow $\hookrightarrow$ indicates that the map 2⋅ from Z to Z is a monomorphism, and the two-headed arrow $\twoheadrightarrow$ indicates an epimorphism (the map mod 2). This is an exact sequence because the image 2Z of the monomorphism is the kernel of the epimorphism.

This sequence may also be written without using special symbols for monomorphism and epimorphism:

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

Here 0 denotes the trivial abelian group with a single element, the map from Z to Z is multiplication by 2, and the map from Z to the factor group Z/2Z is given by reducing integers modulo 2. This is indeed an exact sequence:

• 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:

${\mathbb {H}}_{1}\ {\xrightarrow {\mbox{grad}}}\ {\mathbb {H}}_{\mbox{curl}}\ {\xrightarrow {\mbox{curl}}}\ {\mathbb {H}}_{\mbox{div}}\ {\xrightarrow {\mbox{div}}}\ {\mathbb {L}}_{2}$

based on the fact that on properly defined Hilbert spaces,

${\begin{aligned}{\mbox{curl}}\,({\mbox{grad}}\,f)&=\nabla \times (\nabla f)=0\\{\mbox{div}}\,({\mbox{curl}}\,{\vec {v}})&=\nabla \cdot \nabla \times {\vec {v}}=0\end{aligned}}$

in addition, curl-free vector fields can always be written as a gradient of a scalar function (as soon as the space is assumed to be simply connected, see Note 1 below), and that a divergenceless field can be written as a curl of another field.

Note 1: this example makes use of the fact that 3-dimensional space is topologically trivial.

Note 2: ${\mathbb {H}}_{\mbox{curl}}\$ and ${\mathbb {H}}_{\mbox{div}}\$ are the domains for the curl and div operators respectively.

Special cases

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 (one-to-one).
• 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 (onto).
• 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 an isomorphism.

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

$0\rightarrow A~{\overset {f}{\rightarrow }}~B~{\overset {g}{\rightarrow }}~C\rightarrow 0$

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

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.

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_{1}\to A_{2}\to A_{3}\to A_{4}\to A_{5}\to A_{6}$

which implies that there exist objects C_k in the category such that

$C_{k}\cong \ker(A_{k}\to A_{k+1})\cong \operatorname {im} (A_{k-1}\to A_{k})$.

Suppose in addition that the cokernel of each morphism exists, and is isomorphic to the image of the next morphism in the sequence:

$C_{k}\cong \operatorname {coker} (A_{k-2}\to A_{k-1})$

(This is true for a number of interesting categories, including any abelian category such as the abelian groups; but it is not true for all categories that allow exact sequences, and in particular is not true for the category of groups, in which coker(f): G → H is not H/im(f) but $H/{\left\langle \operatorname {im} f\right\rangle }^{H}$, the quotient of H by the conjugate closure of im(f).) Then we obtain a commutative diagram in which all the diagonals are short exact sequences:

Note that the only portion of this diagram that depends on the cokernel condition is the object C₇ and the final pair of morphisms A₆ → C₇ → 0. If there exists any object $A_{k+1}$ and morphism $A_{k}\rightarrow A_{k+1}$ such that $A_{k-1}\rightarrow A_{k}\rightarrow A_{k+1}$ is exact, then the exactness of $0\rightarrow C_{k}\rightarrow A_{k}\rightarrow C_{k+1}\rightarrow 0$ is ensured. Again taking the example of the category of groups, the fact that im(f) is the kernel of some homomorphism on H implies that it is a normal subgroup, which coincides with its conjugate closure; thus coker(f) is isomorphic to the image H/im(f) of the next morphism.

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

Applications of exact sequences

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.

Given any chain complex, its homology can therefore be thought of as a measure of the degree to which it fails to be exact.

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) on homology by application of the zig-zag lemma. 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.

References

General

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

Citations

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

External links

• Template:Planetmath reference
• 
  
  I had like 17 domains hosted on single account, and never had any special troubles. If you are not happy with the service you will get your money back with in 45 days, that's guaranteed. But the Search Engine utility inside the Hostgator account furnished an instant score for my launched website. Fantastico is unable to install WordPress in a directory which already have any file i.e to install WordPress using Fantastico the destination directory must be empty and it should not have any previous installation files. When you share great information, others will take note. Once your hosting is purchased, you will need to setup your domain name to point to your hosting. Money Back: All accounts of Hostgator come with a 45 day money back guarantee. If you have any queries relating to where by and how to use Hostgator Discount Coupon, you can make contact with us at our site. If you are starting up a website or don't have too much website traffic coming your way, a shared plan is more than enough. Condition you want to take advantage of the worldwide web you prerequisite a HostGator web page, -1 of the most trusted and unfailing web suppliers on the world wide web today. Since, single server is shared by 700 to 800 websites, you cannot expect much speed.
  
  
  
  Hostgator tutorials on how to install Wordpress need not be complicated, especially when you will be dealing with a web hosting service that is friendly for novice webmasters and a blogging platform that is as intuitive as riding a bike. After that you can get Hostgator to host your domain and use the wordpress to do the blogging. Once you start site flipping, trust me you will not be able to stop. I cut my webmaster teeth on Control Panel many years ago, but since had left for other hosting companies with more commercial (cough, cough) interfaces. If you don't like it, you can chalk it up to experience and go on. First, find a good starter template design. When I signed up, I did a search for current "HostGator codes" on the web, which enabled me to receive a one-word entry for a discount. Your posts, comments, and pictures will all be imported into your new WordPress blog.
• 
  
  I had like 17 domains hosted on single account, and never had any special troubles. If you are not happy with the service you will get your money back with in 45 days, that's guaranteed. But the Search Engine utility inside the Hostgator account furnished an instant score for my launched website. Fantastico is unable to install WordPress in a directory which already have any file i.e to install WordPress using Fantastico the destination directory must be empty and it should not have any previous installation files. When you share great information, others will take note. Once your hosting is purchased, you will need to setup your domain name to point to your hosting. Money Back: All accounts of Hostgator come with a 45 day money back guarantee. If you have any queries relating to where by and how to use Hostgator Discount Coupon, you can make contact with us at our site. If you are starting up a website or don't have too much website traffic coming your way, a shared plan is more than enough. Condition you want to take advantage of the worldwide web you prerequisite a HostGator web page, -1 of the most trusted and unfailing web suppliers on the world wide web today. Since, single server is shared by 700 to 800 websites, you cannot expect much speed.
  
  
  
  Hostgator tutorials on how to install Wordpress need not be complicated, especially when you will be dealing with a web hosting service that is friendly for novice webmasters and a blogging platform that is as intuitive as riding a bike. After that you can get Hostgator to host your domain and use the wordpress to do the blogging. Once you start site flipping, trust me you will not be able to stop. I cut my webmaster teeth on Control Panel many years ago, but since had left for other hosting companies with more commercial (cough, cough) interfaces. If you don't like it, you can chalk it up to experience and go on. First, find a good starter template design. When I signed up, I did a search for current "HostGator codes" on the web, which enabled me to receive a one-word entry for a discount. Your posts, comments, and pictures will all be imported into your new WordPress blog.