Odtnhj

An exact sequence is a concept in mathematics, especially in group theory, ring and module theory, homological algebra, as well as in differential geometry. 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

displaystyle 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 of each homomorphism is equal to the kernel of the next:

displaystyle operatorname im (f_k)=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 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.

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

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 (injective, or 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 (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 isomorphism from X to Y.

Short exact sequence

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

displaystyle 0to A;xrightarrow f ;B;xrightarrow g ;Cto 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), B/A, with g inducing an isomorphism

displaystyle Ccong B/operatorname im (f)

The short exact sequence

displaystyle 0to A;xrightarrow f ;B;xrightarrow g ;Cto 0

is called split if there exists a homomorphism h : C → B such that the composition g o 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):

displaystyle Bcong Aoplus 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

displaystyle A_0;xrightarrow f_1 ;A_1;xrightarrow f_2 ;A_2;xrightarrow f_3 ;cdots ;xrightarrow f_n ;A_n

is equivalent to a sequence of short exact sequences

displaystyle beginaligned&A_0;rightarrow ;K_1;rightarrow ;0;,\0;rightarrow ;K_1rightarrow &A_1;rightarrow ;K_2;rightarrow ;0;,\vdots ,,,,\0;rightarrow ;K_n-1rightarrow &A_n-1rightarrow ;K_n;rightarrow ;0;,\0;rightarrow K_nrightarrow &A_nendaligned

where $displaystyle K_i=operatorname im (f_i)=ker(f_i+1)$ for every $i$ .

Examples

Exact sequence of groups

Consider the following sequence of abelian groups:

displaystyle mathbf Z ;;overset 2times hookrightarrow ;;mathbf Z twoheadrightarrow mathbf Z /2mathbf Z

The first homomorphism maps each element i in the set of integers Z to the element 2i in Z. The second homomorphism maps each element i in Z to an element j in the quotient group, i.e., 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. Essentially "the same" sequence can also be written as

displaystyle 2mathbf Z ;;hookrightarrow ;;mathbf Z twoheadrightarrow mathbf Z /2mathbf Z

In this case the monomorphism is 2n ↦ 2n and although it looks like an identity function, it is not onto (i.e. 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 ↦ 2n 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:

displaystyle 0;to ;mathbf Z ;;overset 2times longrightarrow ;;mathbf Z ;longrightarrow ;mathbf Z /2mathbf Z ;to ; 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 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 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 (i.e. by a monomorphism) as a proper subgroup of itself. Instead the sequence that emerges from the first isomorphism theorem is

1to Nto Gto G/Nto 1

As a more concrete example of an exact sequence on finite groups:

1to C_nto D_2nto C_2to 1

where $C_n$ is the cyclic group of order n and $D_2n$ is the dihedral group of order 2n, which is a non-abelian group.

Exact sequence of modules

Let $I$ and $J$ be two ideals of a ring $R$ .
Then

displaystyle 0to Icap Jto Ioplus Jto I+Jto 0

is an exact sequence of $R$ -modules, where the module homomorphism $displaystyle Icap Jto Ioplus J$ maps each element $x$ of $Icap J$ to the element $displaystyle (x,x)$ of the direct sum $displaystyle Ioplus J$ , and the homomorphsim $displaystyle Ioplus Jto I+J$ maps each element $(x,y)$ of $displaystyle Ioplus J$ to $x-y$ .

These homomorphisms are restrictions of similarly defined homomorphisms that form the short exact sequence

displaystyle 0to Rto Roplus Rto Rto 0

Passing to quotient modules yield another exact sequence

displaystyle 0to R/(Icap J)to R/Ioplus R/Jto R/(I+J)to 0

Exact sequence of differential geometry

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

displaystyle mathbb H_1;;xrightarrow operatorname grad ;;mathbb H_operatorname curl ;;xrightarrow operatorname curl ;;mathbb H_operatorname div ;;xrightarrow operatorname div ;;mathbb L_2,

where $displaystyle mathbb H _operatorname curl$ and $displaystyle mathbb H _operatorname div$ are the domains for the curl and div operators respectively.

This is based on the fact that on properly defined Hilbert spaces, one has

displaystyle beginalignedoperatorname curl (operatorname grad f)&equiv nabla times (nabla f)=0,\[5pt]operatorname div (operatorname curl vec v)&equiv nabla cdot nabla times vec v=0,endaligned

and, 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.^[1]

This example makes use of the fact that 3-dimensional space is topologically trivial.

Properties

The splitting lemma states that if the short exact sequence

displaystyle 0to A;xrightarrow f ;B;xrightarrow g ;Cto 0

admits a morphism $t : B \to A$ such that $t o f$ is the identity on $A$ or a morphism $u : C \to B$ such that $g o u$ is the identity on $C$ , then $B$ is a direct sum of $A$ and $C$ (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_1to A_2to A_3to A_4to A_5to A_6

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

C_kcong ker(A_kto A_k+1)cong operatorname im (A_k-1to 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_kcong operatorname coker (A_k-2to 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/leftlangle operatorname im frightrangle ^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 $textstyle C_7$ and the final pair of morphisms $textstyle A_6to C_7to 0$ . If there exists any object $A_k+1$ and morphism $displaystyle A_kto A_k+1$ such that $displaystyle A_k-1to A_kto A_k+1$ is exact, then the exactness of $displaystyle 0to C_kto A_kto C_k+1to 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+1o 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

Spanier, Edwin Henry (1995). Algebraic Topology. Berlin: Springer. p. 179. ISBN 0-387-94426-5..mw-parser-output cite.citationfont-style:inherit.mw-parser-output qquotes:"""""""'""'".mw-parser-output code.cs1-codecolor:inherit;background:inherit;border:inherit;padding:inherit.mw-parser-output .cs1-lock-free abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-lock-subscription abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registrationcolor:#555.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration spanborder-bottom:1px dotted;cursor:help.mw-parser-output .cs1-hidden-errordisplay:none;font-size:100%.mw-parser-output .cs1-visible-errorfont-size:100%.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-formatfont-size:95%.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-leftpadding-left:0.2em.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-rightpadding-right:0.2em

Eisenbud, David (1995). Commutative Algebra: with a View Toward Algebraic Geometry. Springer-Verlag New York. p. 785. ISBN 0-387-94269-6.

Citations

^ "Divergenceless field". December 6, 2009.

External links

"Exact sequence". PlanetMath.

Weisstein, Eric W. "Exact Sequence". MathWorld.

Weisstein, Eric W. "Short Exact Sequence". MathWorld.

Weisstein, Eric W. "Long Exact Sequence". MathWorld.

[1] "Divergenceless field". December 6, 2009.

v t e Topology
Fields	General (point-set) Algebraic Combinatorial Continuum Differential Geometric low-dimensional Homology cohomology Set-theoretic
Key concepts	Open set / Closed set Continuity Space compact Hausdorff metric uniform Homotopy homotopy group fundamental group Simplicial complex CW complex Manifold
Category Portal Wikibook Wikversity Topics general algebraic geometric Publications

搜尋此網誌

Odtnhj

Exact sequence

Contents