An exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules) such that the

_{k}'' in the category such that
:$C\_k\; \backslash cong\; \backslash ker\; (A\_k\backslash to\; A\_)\; \backslash cong\; \backslash operatorname\; (A\_\backslash 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\; \backslash cong\; \backslash operatorname\; (A\_\backslash to\; A\_)$
(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\; /\; ^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:
:Image:long short exact sequences.png
The only portion of this diagram that depends on the cokernel condition is the object $C\_7$ and the final pair of morphisms $A\_6\; \backslash to\; C\_7\backslash to\; 0$. If there exists any object $A\_$ and morphism $A\_k\; \backslash to\; A\_$ such that $A\_\; \backslash to\; A\_k\; \backslash to\; A\_$ is exact, then the exactness of $0\; \backslash to\; C\_k\; \backslash to\; A\_k\; \backslash to\; C\_\; \backslash to\; 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.

_{''i''+1} ∘ ''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 (mathematics), homology of this chain complex is trivial. More succinctly:
:Exact sequences are precisely those chain complexes which are acyclic complex, 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 (that is, 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.

image
An SAR radar imaging, radar image acquired by the SIR-C/X-SAR radar on board the Space Shuttle Endeavour shows the Teide volcano. The city of Santa Cruz de Tenerife is visible as the purple and white area on the lower right edge of the island ...

of one morphism equals the kernel of the next.
Definition

In the context ofgroup theory
The popular puzzle Rubik's cube invented in 1974 by Ernő Rubik has been used as an illustration of permutation group">Ernő_Rubik.html" ;"title="Rubik's cube invented in 1974 by Ernő Rubik">Rubik's cube invented in 1974 by Ernő Rubik has bee ...

, a sequence
:$G\_0\backslash ;\backslash xrightarrow\backslash ;\; G\_1\; \backslash ;\backslash xrightarrow\backslash ;\; G\_2\; \backslash ;\backslash xrightarrow\backslash ;\; \backslash cdots\; \backslash ;\backslash xrightarrow\backslash ;\; G\_n$
of groups and group homomorphisms is called exact if the image of each homomorphism is equal to the kernel of the next:
: $\backslash operatorname(f\_k)\; =\; \backslash ker(f\_)$
The sequence of groups and homomorphisms may be either finite or infinite.
A similar definition can be made for other algebraic structures. For example, one could have an exact sequence of vector spaces and linear map
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

s, or of modules and module homomorphisms. More generally, the notion of an exact sequence makes sense in any category
Category, plural categories, may refer to:
Philosophy and general uses
*Categorization, categories in cognitive science, information science and generally
*Category of being
*Categories (Aristotle), ''Categories'' (Aristotle)
*Category (Kant)
* ...

with kernels and cokernels.
Simple cases

To understand the definition, it is helpful to consider relatively simple cases where the sequence is finite and begins or ends with the trivial group. Traditionally, this, along with the single identity element, is denoted 0 (additive notation, usually when the groups are abelian), or denoted 1 (multiplicative notation). * Consider the sequence 0 → ''A'' → ''B''. The image of the leftmost map is 0. Therefore the sequence is exact if and only if the rightmost map (from ''A'' to ''B'') has kernel ; that is, if and only if that map is a monomorphism (injective, or one-to-one). * Consider the dual sequence ''B'' → ''C'' → 0. The kernel of the rightmost map is C. Therefore the sequence is exact if and only if the image of the leftmost map (from ''B'' to ''C'') is all of ''C''; that is, if and only if that map is an epimorphism (surjective, or onto). * Therefore, the sequence 0 → ''X'' → ''Y'' → 0 is exact if and only if the map from ''X'' to ''Y'' is both a monomorphism and epimorphism (that is, a bimorphism), and thus, in many cases, an Bimorphism, isomorphism from ''X'' to ''Y''.Short exact sequence

Important are short exact sequences, which are exact sequences of the form :$0\; \backslash to\; A\; \backslash ;\backslash xrightarrow\backslash ;\; B\; \backslash ;\backslash xrightarrow\backslash ;\; C\; \backslash to\; 0.$ As established above, 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'' embedding ''A'' into ''B'', and of ''C'' as the corresponding factor object (or Quotient object, quotient), ''B''/''A'', with ''g'' inducing an isomorphism :$C\; \backslash cong\; B/\backslash operatorname(f)$ The short exact sequence :$0\; \backslash to\; A\; \backslash ;\backslash xrightarrow\backslash ;\; B\; \backslash ;\backslash xrightarrow\backslash ;\; C\; \backslash to\; 0$ is called split if there exists a homomorphism ''h'' : ''C'' → ''B'' such that the composition ''g'' ∘ ''h'' is the identity map on ''C''. It follows that if these are abelian groups, ''B'' is isomorphic to the direct sum of ''A'' and ''C'' (see Splitting lemma): :$B\; \backslash cong\; A\; \backslash oplus\; C.$Long exact sequence

A long exact sequence is an exact sequence consisting of more than three nonzero terms, often an infinite exact sequence. A long exact sequence : $A\_0\backslash ;\backslash xrightarrow\backslash ;\; A\_1\; \backslash ;\backslash xrightarrow\backslash ;\; A\_2\; \backslash ;\backslash xrightarrow\backslash ;\; \backslash cdots\; \backslash ;\backslash xrightarrow\backslash ;\; A\_n$ is equivalent to a sequence of short exact sequences :$\backslash begin\; \&\; A\_0\backslash ;\backslash rightarrow\backslash ;K\_1\; \backslash ;\backslash rightarrow\backslash ;\; 0\backslash ;,\backslash \backslash \; 0\backslash ;\backslash rightarrow\backslash ;K\_1\; \backslash rightarrow\; \&\; A\_1\; \backslash ;\backslash rightarrow\backslash ;\; K\_2\; \backslash ;\backslash rightarrow\backslash ;\; 0\backslash ;,\backslash \backslash \; \backslash vdots\backslash ,\backslash ,\backslash ,\backslash ,\; \backslash \backslash \; 0\backslash ;\backslash rightarrow\backslash ;K\_\; \backslash rightarrow\; \&\; A\_\; \backslash rightarrow\backslash ;\; K\_n\; \backslash ;\backslash rightarrow\backslash ;\; 0\backslash ;,\backslash \backslash \; 0\backslash ;\backslash rightarrow\; K\_n\; \backslash rightarrow\; \&\; A\_n\; \backslash end$ where $K\_i\; =\; \backslash operatorname(f\_i)=\backslash ker(f\_)$ for every $i$.Examples

Integers modulo two

Consider the following sequence of abelian groups: :$\backslash mathbf\; \backslash ;\backslash ;\backslash overset\backslash ;\backslash ;\; \backslash mathbf\; \backslash twoheadrightarrow\; \backslash mathbf/2\backslash mathbf$ The first homomorphism maps each element ''i'' in the set of integers Z to the element 2''i'' in Z. The second homomorphism maps each element ''i'' in Z to an element ''j'' in the quotient group; that is, ''j'' = ''i'' mod 2. Here the hook arrow $\backslash hookrightarrow$ indicates that the map 2× from Z to Z is a monomorphism, and the two-headed arrow $\backslash 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. Essentially "the same" sequence can also be written as :$2\backslash mathbf\; \backslash ;\backslash ;\backslash ;\backslash ;\; \backslash mathbf\; \backslash twoheadrightarrow\; \backslash mathbf/2\backslash mathbf$ In this case the monomorphism is 2''n'' ↦ 2''n'' and although it looks like an identity function, it is not onto (that is, not an epimorphism) because the odd numbers don't belong to 2Z. The image of 2Z through this monomorphism is however exactly the same subset of Z as the image of Z through ''n'' ↦ 2''n'' used in the previous sequence. This latter sequence does differ in the concrete nature of its first object from the previous one as 2Z is not the same set as Z even though the two are isomorphic as groups. The first sequence may also be written without using special symbols for monomorphism and epimorphism: :$0\backslash ;\backslash to\backslash ;\; \backslash mathbf\; \backslash ;\backslash ;\backslash overset\; \backslash ;\backslash ;\; \backslash mathbf\backslash ;\; \backslash longrightarrow\backslash ;\; \backslash mathbf/2\backslash mathbf\backslash ;\backslash to\backslash ;\backslash \; 0$ Here 0 denotes the trivial group, 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 modular arithmetic, modulo 2. This is indeed an exact sequence: * the image of the map 0 → Z is , and the kernel of multiplication by 2 is also , 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 Z/2Z, and the kernel of the zero map is also Z/2Z, so the sequence is exact at the position Z/2Z. The first and third sequences are somewhat of a special case owing to the infinite nature of Z. It is not possible for a finite group to be mapped by inclusion (that is, by a monomorphism) as a proper subgroup of itself. Instead the sequence that emerges from the first isomorphism theorem is :$1\backslash to\; N\; \backslash to\; G\; \backslash to\; G/N\backslash to\; 1$ As a more concrete example of an exact sequence on finite groups: :$1\backslash to\; C\_n\; \backslash to\; D\_\; \backslash to\; C\_2\backslash to\; 1$ where $C\_n$ is the cyclic group of order ''n'' and $D\_$ is the dihedral group of order 2''n'', which is a non-abelian group.Intersection and sum of modules

Let and be two Ideal (ring theory), ideals of a ring . Then :$0\; \backslash to\; I\backslash cap\; J\; \backslash to\; I\backslash oplus\; J\; \backslash to\; I\; +\; J\; \backslash to\; 0$ is an exact sequence of -modules, where the module homomorphism $I\backslash cap\; J\; \backslash to\; I\backslash oplus\; J$ maps each element of $I\backslash cap\; J$ to the element of the direct sum $I\backslash oplus\; J$, and the homomorphsim $I\backslash oplus\; J\; \backslash to\; I+J$ maps each element of $I\backslash oplus\; J$ to . These homomorphisms are restrictions of similarly defined homomorphisms that form the short exact sequence :$0\backslash to\; R\; \backslash to\; R\backslash oplus\; R\; \backslash to\; R\; \backslash to\; 0$ Passing to quotient modules yield another exact sequence :$0\backslash to\; R/(I\backslash cap\; J)\; \backslash to\; R/I\; \backslash oplus\; R/J\; \backslash to\; R/(I+J)\; \backslash to\; 0$Grad, curl and div in differential geometry

Another example can be derived from differential geometry, especially relevant for work on the Maxwell equations. Consider the Hilbert space $L^2$ of scalar-valued square-integrable functions on three dimensions $\backslash left\backslash lbrace\; f:\backslash mathbb^3\; \backslash to\; \backslash mathbb\backslash right\backslash rbrace$. Taking the gradient of a function $f\backslash in\backslash mathbb\_1$ moves us to a subset of $\backslash mathbb\_3$, the space of vector valued, still square-integrable functions on the same domain $\backslash left\backslash lbrace\; f:\backslash mathbb^3\backslash to\backslash mathbb^3\backslash right\backslash rbrace$ -- specifically, the set of such functions that represent conservative vector fields. (The generalized Stokes' theorem has preserved integrability.) First, note the curl (mathematics), curl of all such fields is zero -- since :$\backslash begin\; \backslash operatorname\; (\backslash operatorname\; f\; )\; \&\backslash equiv\; \backslash nabla\; \backslash times\; (\backslash nabla\; f)\; =\; 0\; \backslash end$ for all such . However, this only proves that the image of the gradient is a subset of the kernel of the curl. To prove that they are in fact the same set, prove the converse: that if the curl of a vector field $\backslash vec$ is 0, then $\backslash vec$ is the gradient of some scalar function. This follows almost immediately from Stokes' theorem (see the proof at conservative force#mathematical description, conservative force.) The image of the gradient is then precisely the kernel of the curl, and so we can then take the curl to be our next morphism, taking us again to a (different) subset of $\backslash mathbb\_3$. Similarly, we note that :$\backslash begin\; \backslash operatorname\; \backslash left(\backslash operatorname\; \backslash vec\backslash right)\; \&\backslash equiv\; \backslash nabla\; \backslash cdot\; \backslash nabla\; \backslash times\; \backslash vec\; =\; 0,\; \backslash end$ so the image of the curl is a subset of the kernel of the divergence. The converse is somewhat involved: Having thus proved that the image of the curl is precisely the kernel of the divergence, this morphism in turn takes us back to the space we started from $L^2$. Since definitionally we have landed on a space of integrable functions, any such function can (at least formally) be integrated in order to produce a vector field which divergence is that function -- so the image of the divergence is the entirety of $L^2$, and we can complete our sequence: :$0\; \backslash to\; L^2\backslash ;\backslash ;\; \backslash xrightarrow\backslash ;\backslash ;\; \backslash mathbb\_3\backslash ;\backslash ;\; \backslash xrightarrow\backslash ;\backslash ;\; \backslash mathbb\_3\backslash ;\backslash ;\; \backslash xrightarrow\backslash ;\backslash ;\; L^2\; \backslash to\; 0$ Equivalently, we could have reasoned in reverse: in a simply connected space, a curl-free vector field (a field in the kernel of the curl) can always be written as a Conservative vector field, gradient of a scalar function (and thus is in the image of the gradient). Similarly, a divergenceless field can be written as a curl of another field. (Reasoning in this direction thus makes use of the fact that 3-dimensional space is topologically trivial.) This short exact sequence also permits a much shorter proof of the validity of the Helmholtz decomposition that does not rely on brute-force vector calculus. Consider the subsequence :$0\; \backslash to\; L^2\backslash ;\backslash ;\; \backslash xrightarrow\backslash ;\backslash ;\; \backslash mathbb\_3\backslash ;\backslash ;\; \backslash xrightarrow\backslash ;\backslash ;\; \backslash operatorname(\backslash operatorname)\; \backslash to\; 0.$ Since the divergence of the gradient is the Laplacian, and since the Hilbert space of square-integrable functions can be spanned by the eigenfunctions of the Laplacian, we already see that some inverse mapping $\backslash nabla^:\backslash mathbb\_3\backslash to\; L^2$ must exist. To explicitly construct such an inverse, we can start from the definition of the vector Laplacian :$\backslash nabla^2\; \backslash vec\; =\; \backslash nabla\backslash left(\backslash nabla\backslash cdot\backslash vec\backslash right)\; +\; \backslash nabla\backslash times\backslash left(\backslash nabla\backslash times\backslash vec\backslash right)$ Since we are trying to construct an identity mapping by composing some function with the gradient, we know that in our case $\backslash nabla\backslash times\backslash vec\; =\; \backslash operatorname\backslash left(\backslash vec\backslash right)\; =\; 0$. Then if we take the divergence of both sides :$\backslash begin\; \backslash nabla\backslash cdot\backslash nabla^2\backslash vec\; \&\; =\; \backslash nabla\backslash cdot\backslash nabla\backslash left(\backslash nabla\backslash cdot\backslash vec\backslash right)\backslash \backslash \; \&\; =\; \backslash nabla^2\backslash left(\backslash nabla\backslash cdot\backslash vec\backslash right)\backslash \backslash \; \backslash end$ we see that if a function is an eigenfunction of the vector Laplacian, its divergence must be an eigenfunction of the scalar Laplacian with the same eigenvalue. Then we can build our inverse function $\backslash nabla^$ simply by breaking any function in $\backslash mathbb\_3$ into the vector-Laplacian eigenbasis, scaling each by the inverse of their eigenvalue, and taking the divergence; the action of $\backslash nabla^\backslash circ\backslash nabla$ is thus clearly the identity. Thus by the splitting lemma, :$\backslash mathbb\_3\; \backslash cong\; L^2\; \backslash oplus\; \backslash operatorname(\backslash operatorname)$, or equivalently, any square-integrable vector field on $\backslash mathbb^3$ can be broken into the sum of a gradient and a curl -- which is what we set out to prove.Properties

The splitting lemma states that if the short exact sequence :$0\; \backslash to\; A\; \backslash ;\backslash xrightarrow\backslash ;\; B\; \backslash ;\backslash xrightarrow\backslash ;\; C\; \backslash to\; 0$ admits a morphism such that is the identity on logical disjunction, or a morphism such that is the identity on , then is a direct sum of and (for non-commutative groups, this is a semidirect product). One says that such a 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\backslash to\; A\_2\backslash to\; A\_3\backslash to\; A\_4\backslash to\; A\_5\backslash to\; A\_6$ which implies that there exist objects ''CApplications 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 finite simple groups, classification of groups. See also Outer automorphism group. Notice that in an exact sequence, the composition ''f''References

;Citations ;Sources * * {{Topology Homological algebra Additive categories