In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties.
The motivating prototypical example of an abelian category is the category of abelian groups, Ab.
Abelian categories are very stable categories; for example they are 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.
Mac Lane^{[1]} says Alexander Grothendieck^{[2]} defined the abelian category, but there is a reference^{[3]} that says Eilenberg's disciple, Buchsbaum, proposed the concept in his PhD thesis,^{[4]} and Grothendieck popularized it under the name "abelian category".
YouTube Encyclopedic

1/5Views:383142 6011 187188 5238 903

Introduce the preadditive category and abelian categories

Group and Abelian Group

Category Theory  Lecture 9

Abelian Group in Discrete Mathematics with examples

Representation theory: Abelian groups
Transcription
Definitions
A category is abelian if it is preadditive and
 it has a zero object,
 it has all binary biproducts,
 it has all kernels and cokernels, and
 all monomorphisms and epimorphisms are normal.
This definition is equivalent^{[5]} to the following "piecemeal" definition:
 A category is preadditive if it is enriched over the monoidal category Ab of abelian groups. This means that all homsets are abelian groups and the composition of morphisms is bilinear.
 A preadditive category is additive if every finite set of objects has a biproduct. This means that we can form finite direct sums and direct products. In ^{[6]} Def. 1.2.6, it is required that an additive category have a zero object (empty biproduct).
 An additive category is preabelian if every morphism has both a kernel and a cokernel.
 Finally, a preabelian category is abelian if every monomorphism and every epimorphism is normal. This means that every monomorphism is a kernel of some morphism, and every epimorphism is a cokernel of some morphism.
Note that the enriched structure on homsets is a consequence of the first three axioms of the first definition. This highlights the foundational relevance of the category of Abelian groups in the theory and its canonical nature.
The concept of exact sequence arises naturally in this setting, and it turns out that exact functors, i.e. the functors preserving exact sequences in various senses, are the relevant functors between abelian categories. This exactness concept has been axiomatized in the theory of exact categories, forming a very special case of regular categories.
Examples
 As mentioned above, the category of all abelian groups is an abelian category. The category of all finitely generated abelian groups is also an abelian category, as is the category of all finite abelian groups.
 If R is a ring, then the category of all left (or right) modules over R is an abelian category. In fact, it can be shown that any small abelian category is equivalent to a full subcategory of such a category of modules (Mitchell's embedding theorem).
 If R is a leftnoetherian ring, then the category of finitely generated left modules over R is abelian. In particular, the category of finitely generated modules over a noetherian commutative ring is abelian; in this way, abelian categories show up in commutative algebra.
 As special cases of the two previous examples: the category of vector spaces over a fixed field k is abelian, as is the category of finitedimensional vector spaces over k.
 If X is a topological space, then the category of all (real or complex) vector bundles on X is not usually an abelian category, as there can be monomorphisms that are not kernels.
 If X is a topological space, then the category of all sheaves of abelian groups on X is an abelian category. More generally, the category of sheaves of abelian groups on a Grothendieck site is an abelian category. In this way, abelian categories show up in algebraic topology and algebraic geometry.
 If C is a small category and A is an abelian category, then the category of all functors from C to A forms an abelian category. If C is small and preadditive, then the category of all additive functors from C to A also forms an abelian category. The latter is a generalization of the Rmodule example, since a ring can be understood as a preadditive category with a single object.
Grothendieck's axioms
In his Tōhoku article, Grothendieck listed four additional axioms (and their duals) that an abelian category A might satisfy. These axioms are still in common use to this day. They are the following:
 AB3) For every indexed family (A_{i}) of objects of A, the coproduct *A_{i} exists in A (i.e. A is cocomplete).
 AB4) A satisfies AB3), and the coproduct of a family of monomorphisms is a monomorphism.
 AB5) A satisfies AB3), and filtered colimits of exact sequences are exact.
and their duals
 AB3*) For every indexed family (A_{i}) of objects of A, the product PA_{i} exists in A (i.e. A is complete).
 AB4*) A satisfies AB3*), and the product of a family of epimorphisms is an epimorphism.
 AB5*) A satisfies AB3*), and filtered limits of exact sequences are exact.
Axioms AB1) and AB2) were also given. They are what make an additive category abelian. Specifically:
 AB1) Every morphism has a kernel and a cokernel.
 AB2) For every morphism f, the canonical morphism from coim f to im f is an isomorphism.
Grothendieck also gave axioms AB6) and AB6*).
 AB6) A satisfies AB3), and given a family of filtered categories and maps , we have , where lim denotes the filtered colimit.
 AB6*) A satisfies AB3*), and given a family of cofiltered categories and maps , we have , where lim denotes the cofiltered limit.
Elementary properties
Given any pair A, B of objects in an abelian category, there is a special zero morphism from A to B. This can be defined as the zero element of the homset Hom(A,B), since this is an abelian group. Alternatively, it can be defined as the unique composition A → 0 → B, where 0 is the zero object of the abelian category.
In an abelian category, every morphism f can be written as the composition of an epimorphism followed by a monomorphism. This epimorphism is called the coimage of f, while the monomorphism is called the image of f.
Subobjects and quotient objects are wellbehaved in abelian categories. For example, the poset of subobjects of any given object A is a bounded lattice.
Every abelian category A is a module over the monoidal category of finitely generated abelian groups; that is, we can form a tensor product of a finitely generated abelian group G and any object A of A. The abelian category is also a comodule; Hom(G,A) can be interpreted as an object of A. If A is complete, then we can remove the requirement that G be finitely generated; most generally, we can form finitary enriched limits in A.
Given an object in an abelian category, flatness refers to the idea that is an exact functor. See flat module or, for more generality, flat morphism.
Related concepts
Abelian categories are the most general setting for homological algebra. All of the constructions used in that field are relevant, such as exact sequences, and especially short exact sequences, and derived functors. Important theorems that apply in all abelian categories include the five lemma (and the short five lemma as a special case), as well as the snake lemma (and the nine lemma as a special case).
Semisimple Abelian categories
An abelian category is called semisimple if there is a collection of objects called simple objects (meaning the only subobjects of any are the zero object and itself) such that an object can be decomposed as a direct sum (denoting the coproduct of the abelian category)
This technical condition is rather strong and excludes many natural examples of abelian categories found in nature. For example, most module categories over a ring are not semisimple; in fact, this is the case if and only if is a semisimple ring.
Examples
Some Abelian categories found in nature are semisimple, such as
 Category of vector spaces over a fixed field .
 By Maschke's theorem the category of representations of a finite group over a field whose characteristic does not divide is a semisimple abelian category.
 The category of coherent sheaves on a Noetherian scheme is semisimple if and only if is a finite disjoint union of irreducible points. This is equivalent to a finite coproduct of categories of vector spaces over different fields. Showing this is true in the forward direction is equivalent to showing all groups vanish, meaning the cohomological dimension is 0. This only happens when the skyscraper sheaves at a point have Zariski tangent space equal to zero, which is isomorphic to using local algebra for such a scheme.^{[7]}
Nonexamples
There do exist some natural counterexamples of abelian categories which are not semisimple, such as certain categories of representations. For example, the category of representations of the Lie group has the representation
which only has one subrepresentation of dimension . In fact, this is true for any unipotent group^{[8]}^{pg 112}.
Subcategories of abelian categories
There are numerous types of (full, additive) subcategories of abelian categories that occur in nature, as well as some conflicting terminology.
Let A be an abelian category, C a full, additive subcategory, and I the inclusion functor.
 C is an exact subcategory if it is itself an exact category and the inclusion I is an exact functor. This occurs if and only if C is closed under pullbacks of epimorphisms and pushouts of monomorphisms. The exact sequences in C are thus the exact sequences in A for which all objects lie in C.
 C is an abelian subcategory if it is itself an abelian category and the inclusion I is an exact functor. This occurs if and only if C is closed under taking kernels and cokernels. Note that there are examples of full subcategories of an abelian category that are themselves abelian but where the inclusion functor is not exact, so they are not abelian subcategories (see below).
 C is a thick subcategory if it is closed under taking direct summands and satisfies the 2outof3 property on short exact sequences; that is, if is a short exact sequence in A such that two of lie in C, then so does the third. In other words, C is closed under kernels of epimorphisms, cokernels of monomorphisms, and extensions. Note that P. Gabriel used the term thick subcategory to describe what we here call a Serre subcategory.
 C is a topologizing subcategory if it is closed under subquotients.
 C is a Serre subcategory if, for all short exact sequences in A we have M in C if and only if both are in C. In other words, C is closed under extensions and subquotients. These subcategories are precisely the kernels of exact functors from A to another abelian category.
 C is a localizing subcategory if it is a Serre subcategory such that the quotient functor admits a right adjoint.
 There are two competing notions of a wide subcategory. One version is that C contains every object of A (up to isomorphism); for a full subcategory this is obviously not interesting. (This is also called a lluf subcategory.) The other version is that C is closed under extensions.
Here is an explicit example of a full, additive subcategory of an abelian category that is itself abelian but the inclusion functor is not exact. Let k be a field, the algebra of uppertriangular matrices over k, and the category of finitedimensional modules. Then each is an abelian category and we have an inclusion functor identifying the simple projective, simple injective and indecomposable projectiveinjective modules. The essential image of I is a full, additive subcategory, but I is not exact.
History
Abelian categories were introduced by Buchsbaum (1955) (under the name of "exact category") and Grothendieck (1957) in order to unify various cohomology theories. At the time, there was a cohomology theory for sheaves, and a cohomology theory for groups. The two were defined differently, but they had similar properties. In fact, much of category theory was developed as a language to study these similarities. Grothendieck unified the two theories: they both arise as derived functors on abelian categories; the abelian category of sheaves of abelian groups on a topological space, and the abelian category of Gmodules for a given group G.
See also
References
 ^ Mac Lane, Saunders (20130417). Categories for the Working Mathematician. Graduate Texts in Mathematics. Vol. 5 (second ed.). Springer Science+Business Media. p. 205. ISBN 9781475747218.
 ^ Grothendieck (1957)
 ^ David Eisenbud and Jerzy Weyman. "MEMORIAL TRIBUTE Remembering David Buchsbaum" (PDF). American Mathematical Society. Retrieved 20231222.
 ^ Buchsbaum (1955)
 ^ Peter Freyd, Abelian Categories
 ^ Handbook of categorical algebra, vol. 2, F. Borceux
 ^ "algebraic geometry  Tangent space in a point and First Ext group". Mathematics Stack Exchange. Retrieved 20200823.
 ^ Humphreys, James E. (2004). Linear algebraic groups. Springer. ISBN 0387901086. OCLC 77625833.
 Buchsbaum, David A. (1955), "Exact categories and duality", Transactions of the American Mathematical Society, 80 (1): 1–34, doi:10.1090/S00029947195500744076, ISSN 00029947, JSTOR 1993003, MR 0074407
 Freyd, Peter (1964), Abelian Categories, New York: Harper and Row
 Grothendieck, Alexander (1957), "Sur quelques points d'algèbre homologique", Tohoku Mathematical Journal, Second Series, 9: 119–221, doi:10.2748/tmj/1178244839, ISSN 00408735, MR 0102537
 Mitchell, Barry (1965), Theory of Categories, Boston, MA: Academic Press
 Popescu, Nicolae (1973), Abelian categories with applications to rings and modules, Boston, MA: Academic Press