Namespaces
Variants
Actions

Difference between revisions of "Abelian category"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (links)
m (typos)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
A category that displays some of the characteristic properties of the category of all Abelian groups. Abelian categories were introduced as the basis for an abstract construction of homological algebra [[#References|[4]]]. A category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a0102001.png" /> is said to be Abelian [[#References|[2]]] if it satisfies the following axioms:
+
<!--
 +
a0102001.png
 +
$#A+1 = 90 n = 0
 +
$#C+1 = 90 : ~/encyclopedia/old_files/data/A010/A.0100200 Abelian category
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
A category that displays some of the characteristic properties of the category of all Abelian groups. Abelian categories were introduced as the basis for an abstract construction of homological algebra [[#References|[4]]]. A category $  \mathfrak A $
 +
is said to be Abelian [[#References|[2]]] if it satisfies the following axioms:
  
 
A0. A null object exists (cf. [[Null object of a category|Null object of a category]]).
 
A0. A null object exists (cf. [[Null object of a category|Null object of a category]]).
Line 9: Line 22:
 
A3. A product and a [[Coproduct|coproduct]] exist for each pair of objects (cf. [[Product of a family of objects in a category|Product of a family of objects in a category]]).
 
A3. A product and a [[Coproduct|coproduct]] exist for each pair of objects (cf. [[Product of a family of objects in a category|Product of a family of objects in a category]]).
  
In defining an Abelian category it is often assumed that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a0102002.png" /> is a [[locally small category]]. The coproduct of two objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a0102003.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a0102004.png" /> of an Abelian category is also know as the direct sum of these objects and is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a0102005.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a0102006.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a0102007.png" />.
+
In defining an Abelian category it is often assumed that $  \mathfrak A $
 +
is a [[locally small category]]. The coproduct of two objects $  A $
 +
and $  B $
 +
of an Abelian category is also know as the direct sum of these objects and is denoted by $  A \oplus B $,  
 +
$  A \amalg B $
 +
or $  A \dot{+} B $.
  
 
===Examples of Abelian categories.===
 
===Examples of Abelian categories.===
  
 +
1) The dual category of an Abelian category is also an Abelian category.
 +
 +
2) The category  $  {} _ {R} \mathfrak M $
 +
of all unitary left modules over an arbitrary associative ring  $  R $
 +
with a unit element and all  $  R $-
 +
module homomorphisms is an Abelian category (e.g. the category of all Abelian groups).
  
1) The dual category of an Abelian category is also an Abelian category.
+
3) Any [[Full subcategory|full subcategory]] of an Abelian category which contains for each one of its morphisms also the kernel and cokernel of that morphism, and which contains for each pair of objects  $  A $
 +
and  $  B $
 +
also their product and coproduct, is an Abelian category.
  
2) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a0102008.png" /> of all unitary left modules over an arbitrary associative ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a0102009.png" /> with a unit element and all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020010.png" />-module homomorphisms is an Abelian category (e.g. the category of all Abelian groups).
+
The small Abelian categories are exhausted by the subcategories of the above type of categories  $  {} _ {R} \mathfrak M $
 +
of unitary left modules. Accordingly, the following Mitchell theorem is valid: For each small Abelian category there exists a full exact imbedding into some category $  {} _ {R} \mathfrak M $.
  
3) Any [[Full subcategory|full subcategory]] of an Abelian category which contains for each one of its morphisms also the kernel and cokernel of that morphism, and which contains for each pair of objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020011.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020012.png" /> also their product and coproduct, is an Abelian category.
+
4) Any category of diagrams  $  \mathfrak F ( \mathfrak D, \mathfrak A ) $,
 +
with diagram scheme  $  \mathfrak D $
 +
over an Abelian category $  \mathfrak A $,
 +
is an Abelian category. In the scheme  $  \mathfrak D $
 +
one may distinguish the set  $  C $
 +
of commutativity relations, i.e. the set of pairs  $  ( \phi , \psi ) $
 +
of paths  $  \phi = ( \phi _ {1} \dots \phi _ {n} ) $,
 +
$  \psi = ( \psi _ {1} \dots \psi _ {m} ) $
 +
in  $  \mathfrak D $
 +
with a common begin and end. Then the complete subcategory of the category  $  \mathfrak F ( \mathfrak D , \mathfrak A ) $
 +
generated by all those diagrams  $  D:  \mathfrak D \rightarrow \mathfrak A $
 +
that satisfy
  
The small Abelian categories are exhausted by the subcategories of the above type of categories <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020013.png" /> of unitary left modules. Accordingly, the following Mitchell theorem is valid: For each small Abelian category there exists a full exact imbedding into some category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020014.png" />.
+
$$
 +
D ( \phi )  = D ( \phi _ {1} ) \dots D ( \phi _ {n} )  = \
 +
D ( \psi _ {1} ) \dots D ( \psi _ {m} )  = D ( \psi )
 +
$$
  
4) Any category of diagrams <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020015.png" />, with diagram scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020016.png" /> over an Abelian category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020017.png" />, is an Abelian category. In the scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020018.png" /> one may distinguish the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020019.png" /> of commutativity relations, i.e. the set of pairs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020020.png" /> of paths <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020021.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020022.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020023.png" /> with a common begin and end. Then the complete subcategory of the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020024.png" /> generated by all those diagrams <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020025.png" /> that satisfy
+
is an Abelian category. In particular, if  $  \mathfrak D $
 +
is a [[small category]] and if the set $  C $
 +
consists of all pairs of the form  $  ( \alpha \beta , \gamma ) $
 +
with  $  \gamma = \alpha \beta $,  
 +
then the corresponding subcategory is the Abelian category of one-place covariant functors from  $  \mathfrak D $
 +
into  $  \mathfrak A $(
 +
cf. [[Functor|Functor]]).
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020026.png" /></td> </tr></table>
+
Suppose that a null object exists in a small category  $  \mathfrak D $.
 +
A functor  $  F : \mathfrak D \rightarrow \mathfrak A $
 +
will then be called normalized if it takes a null object into a null object. The complete subcategory of the category of functors generated by the normalized functors will then be an Abelian category. In particular, if  $  \mathfrak D $
 +
is a category the objects of which are all integers plus the null object  $  N $,
 +
while the non-null non-identity morphisms form a sequence
  
is an Abelian category. In particular, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020027.png" /> is a [[small category]] and if the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020028.png" /> consists of all pairs of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020029.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020030.png" />, then the corresponding subcategory is the Abelian category of one-place covariant functors from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020031.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020032.png" /> (cf. [[Functor|Functor]]).
+
$$
 +
{} \dots \rightarrow  ( -1 )  \mathop \rightarrow \limits ^ { {d _ {-1} }}  0
 +
  \mathop \rightarrow \limits ^ { {d _ {0} }}  1  \mathop \rightarrow \limits ^ { {d _ {1} }}  2  \rightarrow \dots
 +
$$
  
Suppose that a null object exists in a small category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020033.png" />. A functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020034.png" /> will then be called normalized if it takes a null object into a null object. The complete subcategory of the category of functors generated by the normalized functors will then be an Abelian category. In particular, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020035.png" /> is a category the objects of which are all integers plus the null object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020036.png" />, while the non-null non-identity morphisms form a sequence
+
in which  $  d _ {n} d _ {n+1} = 0, n = 0 , \pm 1 , \pm 2 \dots $
 +
then the corresponding subcategory generated by the normalized functors is called the category of complexes over  $  \mathfrak A $.  
 +
On the category of complexes there are defined the additive functors  $  Z  ^ {n} , B  ^ {n} , H  ^ {n} $
 +
of  $  n $-
 +
dimensional cycles, $  n $-
 +
dimensional boundaries and  $  n $-
 +
dimensional homologies, respectively, with values in  $  \mathfrak A $.
 +
These constitute the basis for the development of homological algebra.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020037.png" /></td> </tr></table>
+
5) A full subcategory  $  \mathfrak A _ {1} $
 +
of an Abelian category  $  \mathfrak A $
 +
is said to be dense if it contains all subobjects (cf. [[Subobject|Subobject]]) and quotient objects (cf. [[Quotient object|Quotient object]]) of its objects, and if for the [[Exact sequence|exact sequence]]
  
in which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020038.png" /> then the corresponding subcategory generated by the normalized functors is called the category of complexes over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020039.png" />. On the category of complexes there are defined the additive functors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020040.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020041.png" />-dimensional cycles, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020042.png" />-dimensional boundaries and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020043.png" />-dimensional homologies, respectively, with values in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020044.png" />. These constitute the basis for the development of homological algebra.
+
$$
 +
0 \rightarrow  A  \rightarrow  B  \rightarrow  C  \rightarrow  0
 +
$$
  
5) A full subcategory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020045.png" /> of an Abelian category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020046.png" /> is said to be dense if it contains all subobjects (cf. [[Subobject|Subobject]]) and quotient objects (cf. [[Quotient object|Quotient object]]) of its objects, and if for the [[Exact sequence|exact sequence]]
+
$  B \in  \mathop{\rm Ob}  \mathfrak A _ {1} $
 +
if and only if  $  A, C \in  \mathop{\rm Ob}  \mathfrak A _ {1} $.  
 +
The quotient category $  \mathfrak A / \mathfrak A _ {1} $
 +
is then constructed as follows. Let  $  ( R, \mu ] $
 +
be a subobject of the direct sum  $  A \oplus B $
 +
with projections  $  \pi _ {1} , \pi _ {2} $
 +
and let the square
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020047.png" /></td> </tr></table>
+
$$
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020048.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020049.png" />. The quotient category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020050.png" /> is then constructed as follows. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020051.png" /> be a subobject of the direct sum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020052.png" /> with projections <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020053.png" /> and let the square
+
\begin{array}{rcl}
 +
R  & \mathop \rightarrow \limits ^ { {\mu \pi _ {1} }}  & A  \\
 +
\mu \pi _ {2}  \downarrow  &{}  &\downarrow  \alpha  \\
 +
B  & \mathop \rightarrow \limits _  \beta    & X  \\
 +
\end{array}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020054.png" /></td> </tr></table>
+
$$
  
be co-universal (i.e. a co-fibred product). The subobject <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020055.png" /> is called an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020056.png" />-subobject if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020057.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020058.png" />. Two <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020059.png" />-subobjects are equivalent if they contain some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020060.png" />-subobject. By definition, the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020061.png" /> consists of the equivalence classes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020062.png" />-subobjects. The usual multiplication of binary relations is compatible with the equivalence relation thus introduced, which makes it possible to construct the quotient category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020063.png" />, which is an Abelian category. The [[Exact functor|exact functor]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020064.png" /> is defined by assigning to each morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020065.png" /> its graph in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020066.png" />. A subcategory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020067.png" /> is said to be a localizing subcategory if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020068.png" /> has a complete univalent right-adjoint functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020069.png" />.
+
be co-universal (i.e. a co-fibred product). The subobject $  (R, \mu ] $
 +
is called an $  \mathfrak A _ {1} $-
 +
subobject if $  \mathop{\rm Coker}  \mu \pi _ {1} $,  
 +
$  \mathop{\rm Ker}  \beta \in \mathfrak A _ {1} $.  
 +
Two $  \mathfrak A _ {1} $-
 +
subobjects are equivalent if they contain some $  \mathfrak A _ {1} $-
 +
subobject. By definition, the set $  H _ {\mathfrak A / \mathfrak A _ {1}  } (A, B) $
 +
consists of the equivalence classes of $  \mathfrak A _ {1} $-
 +
subobjects. The usual multiplication of binary relations is compatible with the equivalence relation thus introduced, which makes it possible to construct the quotient category $  \mathfrak A / \mathfrak A _ {1} $,  
 +
which is an Abelian category. The [[Exact functor|exact functor]] $  T: \mathfrak A \rightarrow \mathfrak A / \mathfrak A _ {1} $
 +
is defined by assigning to each morphism $  \alpha : A \rightarrow B $
 +
its graph in $  A \oplus B $.  
 +
A subcategory $  \mathfrak A _ {1} $
 +
is said to be a localizing subcategory if $  T $
 +
has a complete univalent right-adjoint functor $  Q : \mathfrak A / \mathfrak A _ {1} \rightarrow \mathfrak A $.
  
6) For any topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020070.png" /> the category of left <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020071.png" />-modules over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020072.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020073.png" /> is a sheaf of rings with unit element over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020074.png" />, is an Abelian category.
+
6) For any topological space $  X $
 +
the category of left $  G $-
 +
modules over $  X $,  
 +
where $  G $
 +
is a sheaf of rings with unit element over $  X $,  
 +
is an Abelian category.
  
It is possible to introduce into any Abelian category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020075.png" /> a partial sum of morphisms so that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020076.png" /> becomes an [[Additive category|additive category]]. For this reason the product and the coproduct of any pair of objects in an Abelian category are identical. Moreover, in defining an Abelian category it suffices to assume the existence of either products or coproducts. Any Abelian category is a [[Bicategory(2)|bicategory]] with a unique bicategorical structure. These properties characterize an Abelian category: A category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020077.png" /> with finite products is Abelian if and only if it is additive and if any morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020078.png" /> has a kernel and a cokernel and can be decomposed into a product
+
It is possible to introduce into any Abelian category $  \mathfrak A $
 +
a partial sum of morphisms so that $  A $
 +
becomes an [[Additive category|additive category]]. For this reason the product and the coproduct of any pair of objects in an Abelian category are identical. Moreover, in defining an Abelian category it suffices to assume the existence of either products or coproducts. Any Abelian category is a [[Bicategory(2)|bicategory]] with a unique bicategorical structure. These properties characterize an Abelian category: A category $  \mathfrak A $
 +
with finite products is Abelian if and only if it is additive and if any morphism $  \alpha $
 +
has a kernel and a cokernel and can be decomposed into a product
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020079.png" /></td> </tr></table>
+
$$
 +
\alpha  =   \mathop{\rm Coker} (  \mathop{\rm Ker}  \alpha )
 +
\theta  \mathop{\rm ker} (  \mathop{\rm Coker}  \alpha ),
 +
$$
  
in which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020080.png" /> is an isomorphism.
+
in which $  \theta $
 +
is an isomorphism.
  
The Mitchell theorem quoted above constitutes the underlying principle of the so-called  "diagram-chasing"  method in an Abelian category: Any proposition about commutative diagrams that is valid for all categories of left modules <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020081.png" /> and that is a consequence of the exactness of certain sequences of morphisms, is valid in all Abelian categories.
+
The Mitchell theorem quoted above constitutes the underlying principle of the so-called  "diagram-chasing"  method in an Abelian category: Any proposition about commutative diagrams that is valid for all categories of left modules $  {} _ {R} \mathfrak M $
 +
and that is a consequence of the exactness of certain sequences of morphisms, is valid in all Abelian categories.
  
In a locally small Abelian category, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020082.png" />-subobjects of an arbitrary object form a [[Dedekind lattice|Dedekind lattice]]. If products (or coproducts) of any family of objects exist in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020083.png" />, this lattice will be complete. These conditions are known to be met if there is a generating object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020084.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020085.png" /> and if the coproducts
+
In a locally small Abelian category, the $  \mathfrak A $-
 +
subobjects of an arbitrary object form a [[Dedekind lattice|Dedekind lattice]]. If products (or coproducts) of any family of objects exist in $  \mathfrak A $,  
 +
this lattice will be complete. These conditions are known to be met if there is a generating object $  U $
 +
in $  \mathfrak A $
 +
and if the coproducts
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020086.png" /></td> </tr></table>
+
$$
 +
\amalg _ {i \in I } U _ {i} ,\  U _ {i}  = U,
 +
$$
  
exist for any set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020087.png" />. These conditions are satisfied, for instance, by Grothendieck categories (cf. [[Grothendieck category|Grothendieck category]]), which are equivalent to the quotient categories of the category of modules by a localizing subcategory (the Gabriel–Popescu theorem).
+
exist for any set $  I $.  
 +
These conditions are satisfied, for instance, by Grothendieck categories (cf. [[Grothendieck category|Grothendieck category]]), which are equivalent to the quotient categories of the category of modules by a localizing subcategory (the Gabriel–Popescu theorem).
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I. Bucur,  A. Deleanu,  "Introduction to the theory of categories and functors" , Wiley  (1968)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  P. Freyd,  "Abelian categories: An introduction to the theory of functors" , Harper &amp; Row  (1964)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  P. Gabriel,  "Des categories Abéliennes"  ''Bull. Soc. Math. France'' , '''90'''  (1962)  pp. 323–448</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  A. Grothendieck,  "Sur quelques points d'algèbre homologique"  ''Tohôku Math. J.'' , '''9'''  (1957)  pp. 119–221</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I. Bucur,  A. Deleanu,  "Introduction to the theory of categories and functors" , Wiley  (1968)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  P. Freyd,  "Abelian categories: An introduction to the theory of functors" , Harper &amp; Row  (1964)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  P. Gabriel,  "Des categories Abéliennes"  ''Bull. Soc. Math. France'' , '''90'''  (1962)  pp. 323–448</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  A. Grothendieck,  "Sur quelques points d'algèbre homologique"  ''Tohôku Math. J.'' , '''9'''  (1957)  pp. 119–221</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
Composition of morphisms is written from left to right in this article; i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020088.png" /> denotes the composition of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020089.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a010/a010200/a01020090.png" />. A dense subcategory is more often called a Serre subcategory.
+
Composition of morphisms is written from left to right in this article; i.e. $  \phi \psi $
 +
denotes the composition of $  \phi : A \rightarrow B $,  
 +
$  \psi : B \rightarrow C $.  
 +
A dense subcategory is more often called a Serre subcategory.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  B. Mitchell,  "Theory of categories" , Acad. Press  (1965)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  N. Popescu,  "Abelian categories with applications to rings and modules" , Acad. Press  (1973)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  B. Mitchell,  "Theory of categories" , Acad. Press  (1965)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  N. Popescu,  "Abelian categories with applications to rings and modules" , Acad. Press  (1973)</TD></TR></table>

Latest revision as of 18:19, 31 March 2020


A category that displays some of the characteristic properties of the category of all Abelian groups. Abelian categories were introduced as the basis for an abstract construction of homological algebra [4]. A category $ \mathfrak A $ is said to be Abelian [2] if it satisfies the following axioms:

A0. A null object exists (cf. Null object of a category).

A1. Each morphism has a kernel (cf. Kernel of a morphism in a category) and a cokernel.

A2. Each monomorphism is a normal monomorphism, so that it occurs as the kernel of a morphism; each epimorphism is a normal epimorphism.

A3. A product and a coproduct exist for each pair of objects (cf. Product of a family of objects in a category).

In defining an Abelian category it is often assumed that $ \mathfrak A $ is a locally small category. The coproduct of two objects $ A $ and $ B $ of an Abelian category is also know as the direct sum of these objects and is denoted by $ A \oplus B $, $ A \amalg B $ or $ A \dot{+} B $.

Examples of Abelian categories.

1) The dual category of an Abelian category is also an Abelian category.

2) The category $ {} _ {R} \mathfrak M $ of all unitary left modules over an arbitrary associative ring $ R $ with a unit element and all $ R $- module homomorphisms is an Abelian category (e.g. the category of all Abelian groups).

3) Any full subcategory of an Abelian category which contains for each one of its morphisms also the kernel and cokernel of that morphism, and which contains for each pair of objects $ A $ and $ B $ also their product and coproduct, is an Abelian category.

The small Abelian categories are exhausted by the subcategories of the above type of categories $ {} _ {R} \mathfrak M $ of unitary left modules. Accordingly, the following Mitchell theorem is valid: For each small Abelian category there exists a full exact imbedding into some category $ {} _ {R} \mathfrak M $.

4) Any category of diagrams $ \mathfrak F ( \mathfrak D, \mathfrak A ) $, with diagram scheme $ \mathfrak D $ over an Abelian category $ \mathfrak A $, is an Abelian category. In the scheme $ \mathfrak D $ one may distinguish the set $ C $ of commutativity relations, i.e. the set of pairs $ ( \phi , \psi ) $ of paths $ \phi = ( \phi _ {1} \dots \phi _ {n} ) $, $ \psi = ( \psi _ {1} \dots \psi _ {m} ) $ in $ \mathfrak D $ with a common begin and end. Then the complete subcategory of the category $ \mathfrak F ( \mathfrak D , \mathfrak A ) $ generated by all those diagrams $ D: \mathfrak D \rightarrow \mathfrak A $ that satisfy

$$ D ( \phi ) = D ( \phi _ {1} ) \dots D ( \phi _ {n} ) = \ D ( \psi _ {1} ) \dots D ( \psi _ {m} ) = D ( \psi ) $$

is an Abelian category. In particular, if $ \mathfrak D $ is a small category and if the set $ C $ consists of all pairs of the form $ ( \alpha \beta , \gamma ) $ with $ \gamma = \alpha \beta $, then the corresponding subcategory is the Abelian category of one-place covariant functors from $ \mathfrak D $ into $ \mathfrak A $( cf. Functor).

Suppose that a null object exists in a small category $ \mathfrak D $. A functor $ F : \mathfrak D \rightarrow \mathfrak A $ will then be called normalized if it takes a null object into a null object. The complete subcategory of the category of functors generated by the normalized functors will then be an Abelian category. In particular, if $ \mathfrak D $ is a category the objects of which are all integers plus the null object $ N $, while the non-null non-identity morphisms form a sequence

$$ {} \dots \rightarrow ( -1 ) \mathop \rightarrow \limits ^ { {d _ {-1} }} 0 \mathop \rightarrow \limits ^ { {d _ {0} }} 1 \mathop \rightarrow \limits ^ { {d _ {1} }} 2 \rightarrow \dots $$

in which $ d _ {n} d _ {n+1} = 0, n = 0 , \pm 1 , \pm 2 \dots $ then the corresponding subcategory generated by the normalized functors is called the category of complexes over $ \mathfrak A $. On the category of complexes there are defined the additive functors $ Z ^ {n} , B ^ {n} , H ^ {n} $ of $ n $- dimensional cycles, $ n $- dimensional boundaries and $ n $- dimensional homologies, respectively, with values in $ \mathfrak A $. These constitute the basis for the development of homological algebra.

5) A full subcategory $ \mathfrak A _ {1} $ of an Abelian category $ \mathfrak A $ is said to be dense if it contains all subobjects (cf. Subobject) and quotient objects (cf. Quotient object) of its objects, and if for the exact sequence

$$ 0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0 $$

$ B \in \mathop{\rm Ob} \mathfrak A _ {1} $ if and only if $ A, C \in \mathop{\rm Ob} \mathfrak A _ {1} $. The quotient category $ \mathfrak A / \mathfrak A _ {1} $ is then constructed as follows. Let $ ( R, \mu ] $ be a subobject of the direct sum $ A \oplus B $ with projections $ \pi _ {1} , \pi _ {2} $ and let the square

$$ \begin{array}{rcl} R & \mathop \rightarrow \limits ^ { {\mu \pi _ {1} }} & A \\ \mu \pi _ {2} \downarrow &{} &\downarrow \alpha \\ B & \mathop \rightarrow \limits _ \beta & X \\ \end{array} $$

be co-universal (i.e. a co-fibred product). The subobject $ (R, \mu ] $ is called an $ \mathfrak A _ {1} $- subobject if $ \mathop{\rm Coker} \mu \pi _ {1} $, $ \mathop{\rm Ker} \beta \in \mathfrak A _ {1} $. Two $ \mathfrak A _ {1} $- subobjects are equivalent if they contain some $ \mathfrak A _ {1} $- subobject. By definition, the set $ H _ {\mathfrak A / \mathfrak A _ {1} } (A, B) $ consists of the equivalence classes of $ \mathfrak A _ {1} $- subobjects. The usual multiplication of binary relations is compatible with the equivalence relation thus introduced, which makes it possible to construct the quotient category $ \mathfrak A / \mathfrak A _ {1} $, which is an Abelian category. The exact functor $ T: \mathfrak A \rightarrow \mathfrak A / \mathfrak A _ {1} $ is defined by assigning to each morphism $ \alpha : A \rightarrow B $ its graph in $ A \oplus B $. A subcategory $ \mathfrak A _ {1} $ is said to be a localizing subcategory if $ T $ has a complete univalent right-adjoint functor $ Q : \mathfrak A / \mathfrak A _ {1} \rightarrow \mathfrak A $.

6) For any topological space $ X $ the category of left $ G $- modules over $ X $, where $ G $ is a sheaf of rings with unit element over $ X $, is an Abelian category.

It is possible to introduce into any Abelian category $ \mathfrak A $ a partial sum of morphisms so that $ A $ becomes an additive category. For this reason the product and the coproduct of any pair of objects in an Abelian category are identical. Moreover, in defining an Abelian category it suffices to assume the existence of either products or coproducts. Any Abelian category is a bicategory with a unique bicategorical structure. These properties characterize an Abelian category: A category $ \mathfrak A $ with finite products is Abelian if and only if it is additive and if any morphism $ \alpha $ has a kernel and a cokernel and can be decomposed into a product

$$ \alpha = \mathop{\rm Coker} ( \mathop{\rm Ker} \alpha ) \theta \mathop{\rm ker} ( \mathop{\rm Coker} \alpha ), $$

in which $ \theta $ is an isomorphism.

The Mitchell theorem quoted above constitutes the underlying principle of the so-called "diagram-chasing" method in an Abelian category: Any proposition about commutative diagrams that is valid for all categories of left modules $ {} _ {R} \mathfrak M $ and that is a consequence of the exactness of certain sequences of morphisms, is valid in all Abelian categories.

In a locally small Abelian category, the $ \mathfrak A $- subobjects of an arbitrary object form a Dedekind lattice. If products (or coproducts) of any family of objects exist in $ \mathfrak A $, this lattice will be complete. These conditions are known to be met if there is a generating object $ U $ in $ \mathfrak A $ and if the coproducts

$$ \amalg _ {i \in I } U _ {i} ,\ U _ {i} = U, $$

exist for any set $ I $. These conditions are satisfied, for instance, by Grothendieck categories (cf. Grothendieck category), which are equivalent to the quotient categories of the category of modules by a localizing subcategory (the Gabriel–Popescu theorem).

References

[1] I. Bucur, A. Deleanu, "Introduction to the theory of categories and functors" , Wiley (1968)
[2] P. Freyd, "Abelian categories: An introduction to the theory of functors" , Harper & Row (1964)
[3] P. Gabriel, "Des categories Abéliennes" Bull. Soc. Math. France , 90 (1962) pp. 323–448
[4] A. Grothendieck, "Sur quelques points d'algèbre homologique" Tohôku Math. J. , 9 (1957) pp. 119–221

Comments

Composition of morphisms is written from left to right in this article; i.e. $ \phi \psi $ denotes the composition of $ \phi : A \rightarrow B $, $ \psi : B \rightarrow C $. A dense subcategory is more often called a Serre subcategory.

References

[a1] B. Mitchell, "Theory of categories" , Acad. Press (1965)
[a2] N. Popescu, "Abelian categories with applications to rings and modules" , Acad. Press (1973)
How to Cite This Entry:
Abelian category. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Abelian_category&oldid=39518
This article was adapted from an original article by M.Sh. Tsalenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article