Homological algebra is the branch of

_{''n''} are called ''n''-chains and the homomorphisms ''d''_{''n''} are called the boundary maps or differentials. The chain groups ''C''_{''n''} may be endowed with extra structure; for example, they may be vector spaces or module (mathematics), modules over a fixed ring (mathematics), ring ''R''. The differentials must preserve the extra structure if it exists; for example, they must be linear maps or homomorphisms of ''R''-modules. For notational convenience, restrict attention to abelian groups (more correctly, to the category (mathematics), category Ab of abelian groups); a celebrated Mitchell's embedding theorem, theorem by Barry Mitchell implies the results will generalize to any abelian category. Every chain complex defines two further sequences of abelian groups, the cycles ''Z''_{''n''} = Ker ''d''_{''n''} and the boundaries ''B''_{''n''} = Im ''d''_{''n''+1}, where Ker ''d'' and Im ''d'' denote the kernel (algebra), kernel and the image (mathematics), image of ''d''. Since the composition of two consecutive boundary maps is zero, these groups are embedded into each other as
: $B\_n\; \backslash subseteq\; Z\_n\; \backslash subseteq\; C\_n.$
Subgroups of abelian groups are automatically normal subgroup, normal; therefore we can define the ''n''th homology group ''H''_{''n''}(''C'') as the factor group of the ''n''-cycles by the ''n''-boundaries,
: $H\_n(C)\; =\; Z\_n/B\_n\; =\; \backslash operatorname\backslash ,\; d\_n/\; \backslash operatorname\backslash ,\; d\_.$
A chain complex is called acyclic or an exact sequence if all its homology groups are zero.
Chain complexes arise in abundance in abstract algebra, algebra and algebraic topology. For example, if ''X'' is a topological space then the singular chains ''C''_{''n''}(''X'') are formal linear combinations of continuous maps from the standard ''n''-simplex into ''X''; if ''K'' is a simplicial complex then the Chain (algebraic topology), simplicial chains ''C''_{''n''}(''K'') are formal linear combinations of the ''n''-simplices of ''K''; if ''A'' = ''F''/''R'' is a presentation of an abelian group ''A'' by Presentation of a group, generators and relations, where ''F'' is a free abelian group spanned by the generators and ''R'' is the subgroup of relations, then letting ''C''_{1}(''A'') = ''R'', ''C''_{0}(''A'') = ''F'', and ''C''_{''n''}(''A'') = 0 for all other ''n'' defines a sequence of abelian groups. In all these cases, there are natural differentials ''d''_{''n''} making ''C''_{''n''} into a chain complex, whose homology reflects the structure of the topological space ''X'', the simplicial complex ''K'', or the abelian group ''A''. In the case of topological spaces, we arrive at the notion of singular homology, which plays a fundamental role in investigating the properties of such spaces, for example, manifolds.
On a philosophical level, homological algebra teaches us that certain chain complexes associated with algebraic or geometric objects (topological spaces, simplicial complexes, ''R''-modules) contain a lot of valuable algebraic information about them, with the homology being only the most readily available part. On a technical level, homological algebra provides the tools for manipulating complexes and extracting this information. Here are two general illustrations.
*Two objects ''X'' and ''Y'' are connected by a map ''f '' between them. Homological algebra studies the relation, induced by the map ''f'', between chain complexes associated with ''X'' and ''Y'' and their homology. This is generalized to the case of several objects and maps connecting them. Phrased in the language of category theory, homological algebra studies the functor, functorial properties of various constructions of chain complexes and of the homology of these complexes.
* An object ''X'' admits multiple descriptions (for example, as a topological space and as a simplicial complex) or the complex $C\_\backslash bullet(X)$ is constructed using some 'presentation' of ''X'', which involves non-canonical choices. It is important to know the effect of change in the description of ''X'' on chain complexes associated with ''X''. Typically, the complex and its homology $H\_\backslash bullet(C)$ are functorial with respect to the presentation; and the homology (although not the complex itself) is actually independent of the presentation chosen, thus it is an invariant (mathematics), invariant of ''X''.

_{''R''} be the Category (mathematics), category of module (mathematics), modules over ''R''. Let ''B'' be in Mod_{''R''} and set ''T''(''B'') = Hom_{''R''}(''A,B''), for fixed ''A'' in Mod_{''R''}. This is a left exact functor and thus has right derived functors ''R^{n}T''. The Ext functor is defined by
:$\backslash operatorname\_R^n(A,B)=(R^nT)(B).$
This can be calculated by taking any injective resolution
:$0\; \backslash rightarrow\; B\; \backslash rightarrow\; I^0\; \backslash rightarrow\; I^1\; \backslash rightarrow\; \backslash cdots,$
and computing
:$0\; \backslash rightarrow\; \backslash operatorname\_R(A,I^0)\; \backslash rightarrow\; \backslash operatorname\_R(A,I^1)\; \backslash rightarrow\; \backslash cdots.$
Then (''R^{n}T'')(''B'') is the homology of this complex. Note that Hom_{''R''}(''A,B'') is excluded from the complex.
An alternative definition is given using the functor ''G''(''A'')=Hom_{''R''}(''A,B''). For a fixed module ''B'', this is a Covariance and contravariance of functors, contravariant left exact functor, and thus we also have right derived functors ''R^{n}G'', and can define
:$\backslash operatorname\_R^n(A,B)=(R^nG)(A).$
This can be calculated by choosing any projective resolution
:$\backslash dots\; \backslash rightarrow\; P^1\; \backslash rightarrow\; P^0\; \backslash rightarrow\; A\; \backslash rightarrow\; 0,$
and proceeding dually by computing
:$0\backslash rightarrow\backslash operatorname\_R(P^0,B)\backslash rightarrow\; \backslash operatorname\_R(P^1,B)\; \backslash rightarrow\; \backslash cdots.$
Then (''R^{n}G'')(''A'') is the homology of this complex. Again note that Hom_{''R''}(''A,B'') is excluded.
These two constructions turn out to yield isomorphic results, and so both may be used to calculate the Ext functor.

_{''R''}''B''. Then ''T'' is a right exact functor from Mod-''R'' to the category of abelian groups Ab (in the case when ''R'' is commutative, it is a right exact functor from Mod-''R'' to Mod-''R'') and its derived functor, left derived functors ''L_{n}T'' are defined. We set
: $\backslash mathrm\_n^R(A,B)=(L\_nT)(A)$
i.e., we take a Projective module#Projective resolutions, projective resolution
: $\backslash cdots\backslash rightarrow\; P\_2\; \backslash rightarrow\; P\_1\; \backslash rightarrow\; P\_0\; \backslash rightarrow\; A\backslash rightarrow\; 0$
then remove the ''A'' term and tensor the projective resolution with ''B'' to get the complex
: $\backslash cdots\; \backslash rightarrow\; P\_2\backslash otimes\_R\; B\; \backslash rightarrow\; P\_1\backslash otimes\_R\; B\; \backslash rightarrow\; P\_0\backslash otimes\_R\; B\; \backslash rightarrow\; 0$
(note that ''A''⊗_{''R''}''B'' does not appear and the last arrow is just the zero map) and take the homology of this complex.

_{0} and a collection of three sequences:
# For all integers ''r'' ≥ ''r''_{0}, an object ''E_{r}'', called a ''sheet'' (as in a sheet of paper), or sometimes a ''page'' or a ''term'',
# Endomorphisms ''d_{r}'' : ''E_{r}'' → ''E_{r}'' satisfying ''d_{r}'' o ''d_{r}'' = 0, called ''boundary maps'' or ''differentials'',
# Isomorphisms of ''E_{r+1}'' with ''H''(''E_{r}''), the homology of ''E_{r}'' with respect to ''d_{r}''.
A doubly graded spectral sequence has a tremendous amount of data to keep track of, but there is a common visualization technique which makes the structure of the spectral sequence clearer. We have three indices, ''r'', ''p'', and ''q''. For each ''r'', imagine that we have a sheet of graph paper. On this sheet, we will take ''p'' to be the horizontal direction and ''q'' to be the vertical direction. At each lattice point we have the object $E\_r^$.
It is very common for ''n'' = ''p'' + ''q'' to be another natural index in the spectral sequence. ''n'' runs diagonally, northwest to southeast, across each sheet. In the homological case, the differentials have bidegree (−''r'', ''r'' − 1), so they decrease ''n'' by one. In the cohomological case, ''n'' is increased by one. When ''r'' is zero, the differential moves objects one space down or up. This is similar to the differential on a chain complex. When ''r'' is one, the differential moves objects one space to the left or right. When ''r'' is two, the differential moves objects just like a knight (chess), knight's move in chess. For higher ''r'', the differential acts like a generalized knight's move.

^{i}F'': A → B, and the above sequence continues like so: 0 → ''F''(''A'') → ''F''(''B'') → ''F''(''C'') → ''R''^{1}''F''(''A'') → ''R''^{1}''F''(''B'') → ''R''^{1}''F''(''C'') → ''R''^{2}''F''(''A'') → ''R''^{2}''F''(''B'') → ... . From this we see that ''F'' is an exact functor if and only if ''R''^{1}''F'' = 0; so in a sense the right derived functors of ''F'' measure "how far" ''F'' is from being exact.

_{''n''} is an injection (mathematics), injection, ''g''_{''n''} is a surjection, and Im ''f''_{''n''} = Ker ''g''_{''n''}. One of the most basic theorems of homological algebra, sometimes known as the zig-zag lemma, states that, in this case, there is a long exact sequence in homology
: $\backslash cdots\; \backslash longrightarrow\; H\_n(L)\; \backslash overset\; H\_n(M)\; \backslash overset\; H\_n(N)\; \backslash overset\; H\_(L)\; \backslash overset\; H\_(M)\; \backslash longrightarrow\; \backslash cdots,$
where the homology groups of ''L'', ''M'', and ''N'' cyclically follow each other, and ''δ''_{''n''} are certain homomorphisms determined by ''f'' and ''g'', called the connecting homomorphisms. Topological manifestations of this theorem include the Mayer–Vietoris sequence and the long exact sequence for relative homology.

mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no general consensus abo ...

that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract algebra (theory of module (mathematics), modules and Syzygy (mathematics), syzygies) at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert.
The development of homological algebra was closely intertwined with the emergence of category theory. By and large, homological algebra is the study of homological functors and the intricate algebraic structures that they entail. One quite useful and ubiquitous concept in mathematics is that of chain complexes, which can be studied through both their homology and cohomology. Homological algebra affords the means to extract information contained in these complexes and present it in the form of homological invariant (mathematics), invariants of ring (mathematics), rings, modules, topological spaces, and other 'tangible' mathematical objects. A powerful tool for doing this is provided by spectral sequences.
From its very origins, homological algebra has played an enormous role in algebraic topology. Its influence has gradually expanded and presently includes commutative algebra, algebraic geometry, algebraic number theory, representation theory, mathematical physics, operator algebras, complex analysis, and the theory of partial differential equations. K-theory, ''K''-theory is an independent discipline which draws upon methods of homological algebra, as does the noncommutative geometry of Alain Connes.
History of homological algebra

Homological algebra began to be studied in its most basic form in the 1800s as a branch of topology, but it wasn't until the 1940s that it became an independent subject with the study of objects such as the ext functor and the tor functor, among others.Chain complexes and homology

The notion of chain complex is central in homological algebra. An abstract chain complex is a sequence $(C\_\backslash bullet,\; d\_\backslash bullet)$ of abelian groups and group homomorphisms, with the property that the composition of any two consecutive map (mathematics), maps is zero: : $C\_\backslash bullet:\; \backslash cdots\; \backslash longrightarrow\; C\_\; \backslash stackrel\; C\_n\; \backslash stackrel\; C\_\; \backslash stackrel\; \backslash cdots,\; \backslash quad\; d\_n\; \backslash circ\; d\_=0.$ The elements of ''C''Standard tools

Exact sequences

In the context of group theory, 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 group (mathematics), groups and group homomorphisms is called exact if the Image (mathematics), image of each homomorphism is equal to the Kernel (algebra), kernel of the next: :$\backslash mathrm(f\_k)\; =\; \backslash mathrm(f\_).\backslash !$ 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 module (mathematics), modules and module homomorphisms. More generally, the notion of an exact sequence makes sense in any category (mathematics), category with kernel (category theory), 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\; \backslash ;\backslash overset\backslash ;\; B\; \backslash ;\backslash overset\backslash ;\; C$ where ƒ is a monomorphism and ''g'' is an epimorphism. In this case, ''A'' is a subobject of ''B'', and the corresponding quotient is isomorphism, isomorphic to ''C'': :$C\; \backslash 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\; \backslash ;\backslash xrightarrow\backslash ;\; A\; \backslash ;\backslash xrightarrow\backslash ;\; B\; \backslash ;\backslash xrightarrow\backslash ;\; C\; \backslash ;\backslash xrightarrow\backslash ;\; 0$ where 0 represents the Initial and terminal objects, 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).Long exact sequence

A long exact sequence is an exact sequence indexed by the natural numbers.The five lemma

Consider the following commutative diagram in any abelian category (such as the category of abelian groups or the category of vector spaces over a given field (algebra), field) or in the category of group (mathematics), groups. image:FiveLemma.png The five lemma states that, if the rows are exact sequence, exact, ''m'' and ''p'' are isomorphisms, ''l'' is an epimorphism, and ''q'' is a monomorphism, then ''n'' is also an isomorphism.The snake lemma

In an abelian category (such as the category of abelian groups or the category of vector spaces over a given field (algebra), field), consider a commutative diagram: where the rows are exact sequences and 0 is the zero object. Then there is an exact sequence relating the kernel (category theory), kernels and cokernels of ''a'', ''b'', and ''c'': :$\backslash ker\; a\; \backslash to\; \backslash ker\; b\; \backslash to\; \backslash ker\; c\; \backslash overset\; \backslash operatornamea\; \backslash to\; \backslash operatornameb\; \backslash to\; \backslash operatornamec$ Furthermore, if the morphism ''f'' is a monomorphism, then so is the morphism ker ''a'' → ker ''b'', and if ''g is an epimorphism, then so is coker ''b'' → coker ''c''.Abelian categories

Inmathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no general consensus abo ...

, an abelian category is a category (category theory), category in which morphisms and objects can be added and in which kernel (category theory), kernels and cokernels exist and have desirable properties. The motivating prototype example of an abelian category is the category of abelian groups, Ab. The theory originated in a tentative attempt to unify several cohomology theory, cohomology theories by Alexander Grothendieck. Abelian categories are very ''stable'' categories, for example they are regular category, regular and they satisfy the snake lemma. The class of Abelian categories is closed under several categorical constructions, for example, the category of chain complexes of an Abelian category, or the category of functors from a small category to an Abelian category are Abelian as well. These stability properties make them inevitable in homological algebra and beyond; the theory has major applications in algebraic geometry, cohomology and pure category theory. Abelian categories are named after Niels Henrik Abel.
More concretely, a category is abelian if
*it has a zero object,
*it has all binary Product (category theory), products and binary coproducts, and
*it has all kernel (category theory), kernels and cokernels.
*all monomorphisms and epimorphisms are normal morphism, normal.
The Ext functor

Let ''R'' be a ring (mathematics), ring and let ModTor functor

Suppose ''R'' is a ring (mathematics), ring, and denoted by ''R''-Mod the category theory, category of module (mathematics), left ''R''-modules and by Mod-''R'' the category of right ''R''-modules (if ''R'' is commutative ring, commutative, the two categories coincide). Fix a module ''B'' in ''R''-Mod. For ''A'' in Mod-''R'', set ''T''(''A'') = ''A''⊗Spectral sequence

Fix an abelian category, such as a category of modules over a ring. A spectral sequence is a choice of a nonnegative integer ''r''Derived functor

Suppose we are given a covariant left exact functor ''F'' : A → B between two abelian category, abelian categories A and B. If 0 → ''A'' → ''B'' → ''C'' → 0 is a short exact sequence in A, then applying ''F'' yields the exact sequence 0 → ''F''(''A'') → ''F''(''B'') → ''F''(''C'') and one could ask how to continue this sequence to the right to form a long exact sequence. Strictly speaking, this question is ill-posed, since there are always numerous different ways to continue a given exact sequence to the right. But it turns out that (if A is "nice" enough) there is one canonical form, canonical way of doing so, given by the right derived functors of ''F''. For every ''i''≥1, there is a functor ''RFunctoriality

A continuous map of topological spaces gives rise to a homomorphism between their ''n''th homology groups for all ''n''. This basic fact of algebraic topology finds a natural explanation through certain properties of chain complexes. Since it is very common to study several topological spaces simultaneously, in homological algebra one is led to simultaneous consideration of multiple chain complexes. A morphism between two chain complexes, $F:\; C\_\backslash bullet\backslash to\; D\_\backslash bullet,$ is a family of homomorphisms of abelian groups $F\_n:\; C\_n\; \backslash to\; D\_n$ that commute with the differentials, in the sense that $F\_\; \backslash circ\; d\_n^C\; =\; d\_n^D\; \backslash circ\; F\_n$ for all ''n''. A morphism of chain complexes induces a morphism $H\_\backslash bullet(F)$ of their homology groups, consisting of the homomorphisms $H\_n(F)\; :\; H\_n(C)\; \backslash to\; H\_n(D)$ for all ''n''. A morphism ''F'' is called a quasi-isomorphism if it induces an isomorphism on the ''n''th homology for all ''n''. Many constructions of chain complexes arising in algebra and geometry, including singular homology, have the following functoriality property: if two objects ''X'' and ''Y'' are connected by a map ''f'', then the associated chain complexes are connected by a morphism $F=C(f)\; :\; C\_\backslash bullet(X)\; \backslash to\; C\_\backslash bullet(Y),$ and moreover, the composition $g\backslash circ\; f$ of maps ''f'': ''X'' → ''Y'' and ''g'': ''Y'' → ''Z'' induces the morphism $C(g\backslash circ\; f):\; C\_\backslash bullet(X)\; \backslash to\; C\_\backslash bullet(Z)$ that coincides with the composition $C(g)\; \backslash circ\; C(f).$ It follows that the homology groups $H\_\backslash bullet(C)$ are functorial as well, so that morphisms between algebraic or topological objects give rise to compatible maps between their homology. The following definition arises from a typical situation in algebra and topology. A triple consisting of three chain complexes $L\_\backslash bullet,\; M\_\backslash bullet,\; N\_\backslash bullet$ and two morphisms between them, $f:L\_\backslash bullet\backslash to\; M\_\backslash bullet,\; g:\; M\_\backslash bullet\backslash to\; N\_\backslash bullet,$ is called an exact triple, or a short exact sequence of complexes, and written as : $0\; \backslash longrightarrow\; L\_\backslash bullet\; \backslash overset\; M\_\backslash bullet\; \backslash overset\; N\_\backslash bullet\; \backslash longrightarrow\; 0,$ if for any ''n'', the sequence : $0\; \backslash longrightarrow\; L\_n\; \backslash overset\; M\_n\; \backslash overset\; N\_n\; \backslash longrightarrow\; 0$ is a short exact sequence of abelian groups. By definition, this means that ''f''Foundational aspects

Cohomology theories have been defined for many different objects such as topological spaces, sheaf (mathematics), sheaves, group (mathematics), groups, ring (mathematics), rings, Lie algebras, and C*-algebras. The study of modern algebraic geometry would be almost unthinkable without sheaf cohomology. Central to homological algebra is the notion of exact sequence; these can be used to perform actual calculations. A classical tool of homological algebra is that of derived functor; the most basic examples are functors Ext functors, Ext and Tor functor, Tor. With a diverse set of applications in mind, it was natural to try to put the whole subject on a uniform basis. There were several attempts before the subject settled down. An approximate history can be stated as follows: * Henri Cartan, Cartan-Samuel Eilenberg, Eilenberg: In their 1956 book "Homological Algebra", these authors used projective resolution, projective and Injective resolution, injective module resolutions. * 'Tohoku': The approach in a Grothendieck's Tôhoku paper, celebrated paper by Alexander Grothendieck which appeared in the Second Series of the ''Tohoku Mathematical Journal'' in 1957, using the abelian category concept (to include sheaf (mathematics), sheaves of abelian groups). * The derived category of Grothendieck and Jean-Louis Verdier, Verdier. Derived categories date back to Verdier's 1967 thesis. They are examples of triangulated category, triangulated categories used in a number of modern theories. These move from computability to generality. The computational sledgehammer ''par excellence'' is the spectral sequence; these are essential in the Cartan-Eilenberg and Tohoku approaches where they are needed, for instance, to compute the derived functors of a composition of two functors. Spectral sequences are less essential in the derived category approach, but still play a role whenever concrete computations are necessary. There have been attempts at 'non-commutative' theories which extend first cohomology as ''torsors'' (important in Galois cohomology).See also

* Abstract nonsense, a term for homological algebra and category theory * Derivator * Homotopical algebra * List of homological algebra topicsReferences

* Henri Cartan, Samuel Eilenberg, ''Homological algebra''. With an appendix by David A. Buchsbaum. Reprint of the 1956 original. Princeton Landmarks in Mathematics. Princeton University Press, Princeton, NJ, 1999. xvi+390 pp. * * Saunders Mac Lane, ''Homology''. Reprint of the 1975 edition. Classics in Mathematics. Springer-Verlag, Berlin, 1995. x+422 pp. * Peter Hilton; Stammbach, U. ''A course in homological algebra''. Second edition. Graduate Texts in Mathematics, 4. Springer-Verlag, New York, 1997. xii+364 pp. * Gelfand, Sergei I.; Yuri Manin, ''Methods of homological algebra''. Translated from Russian 1988 edition. Second edition. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003. xx+372 pp. * Gelfand, Sergei I.; Yuri Manin, ''Homological algebra''. Translated from the 1989 Russian original by the authors. Reprint of the original English edition from the series Encyclopaedia of Mathematical Sciences (''Algebra'', V, Encyclopaedia Math. Sci., 38, Springer, Berlin, 1994). Springer-Verlag, Berlin, 1999. iv+222 pp. * {{Authority control Homological algebra,