Pre-Abelian category

Pre-Abelian category

In mathematics, specifically in category theory, a pre-Abelian category is an additive category that has all kernels and cokernels.

Spelled out in more detail, this means that a category C is pre-Abelian if:
# C is preadditive, that is enriched over the monoidal category of Abelian groups;
# C has all biproducts, which are both finite products and finite coproducts;
# given any morphism "f": "A" → "B" in C, the equaliser of "f" and the zero morphism from "A" to "B" exists (this is the kernel), as does the coequaliser (this is the cokernel).Note that the zero morphism in item 3 can be identified as the identity element of the hom-set Hom("A","B"), which is an Abelian group by item 1; or as the unique morphism "A" → "O" → "B", where "O" is a zero object, guaranteed to exist by item 2.


The original example of an additive category is the category Ab of Abelian groups.Ab is preadditive because it is a closed monoidal category, the biproduct in Ab is the finite direct sum, the kernel is inclusion of the ordinary kernel from group theory and the cokernel is the quotient map onto the ordinary cokernel from group theory.

Other common examples:
* The category of (left) modules over a ring "R", in particular:
** the category of vector spaces over a field "K".
* The category of (Hausdorff) abelian topological groups.These will give you an idea of what to think of; for more examples, see Abelian category (every Abelian category is pre-Abelian).

Elementary properties

Every pre-Abelian category is of course an additive category, and many basic properties of these categories are described under that subject.This article concerns itself with the properties that exist specifically because of the existence of kernels and cokernels.

Although kernels and cokernels are special kinds of equalisers and coequalisers, a pre-Abelian category actually has "all" equalisers and coequalisers.We simply construct the equaliser of two morphisms "f" and "g" as the kernel of their difference "g" − "f"; similarly, their coequaliser is the cokernel of their difference.(The alternative term "difference kernel" for binary equalisers derives from this fact.)Since pre-Abelian categories have all finite products and coproducts (the biproducts) and all binary equalisers and coequalisers (as just described), then by a general theorem of category theory, they have all limits and colimits.That is, pre-Abelian categories are finitely complete.

The existence of both kernels and cokernels gives a notion of image and coimage.We can define these as:im "f" := ker coker "f";:coim "f" := coker ker "f".That is, the image is the kernel of the cokernel, and the coimage is the cokernel of the kernel.

Note that this notion of image may not correspond to the usual notion of image, or range, of a function, even assuming that the morphisms in the category "are" functions.For example, in the category of topological Abelian groups, the image of a morphism actually corresponds to the inclusion of the "closure" of the range of the function.For this reason, people will often distinguish the meanings of the two terms in this context, using "image" for the abstract categorical concept and "range" for the elementary function-theoretic concept.

In many common situations, such as the category of sets, where images and coimages exist, their objects are isomorphic.Put more precisely, we have a factorisation of "f": "A" → "B" as:"A" → "C" → "I" → "B",where the morphism on the left is the coimage, the morphism on the right is the image, and the morphism in the middle (called the "parallel" of "f") is an isomorphism.

In a pre-Abelian category, "this is not necessarily true".The factorisation shown above does always exist, but the parallel might not be an isomorphism.In fact, the parallel of "f" is an isomorphism for every morphism "f" if and only if the pre-Abelian category is an Abelian category.An example of a non-Abelian, pre-Abelian category is, once again, the category of topological Abelian groups.As remarked, the image is the inclusion of the "closure" of the range; however, the coimage is a quotient map onto the range itself.Thus, the parallel is the inclusion of the range into its closure, which is not an isomorphism unless the range was already closed.

Exact functors

Recall that all finite limits and colimits exist in a pre-Abelian category.In general category theory, a functor is called "left exact" if it preserves all finite limits and "right exact" if it preserves all finite colimits. (A functor is simply "exact" if it's both left exact and right exact.)

In a pre-Abelian category, exact functors can be described in particularly simple terms.First, recall that an additive functor is a functor "F": CD between preadditive categories that acts as a group homomorphism on each hom-set.Then it turns out that a functor between pre-Abelian categories is left exact if and only if it is additive and preserves all kernels, and it's right exact if and only if it's additive and preserves all cokernels.

Note that an exact functor, because it preserves both kernels and cokernels, preserves all images and coimages.Exact functors are most useful in the study of Abelian categories, where they can be applied to exact sequences.

Special cases

* An "Abelian category" is a pre-Abelian category such that every monomorphism and epimorphism is normal.The pre-Abelian categories most commonly studied are in fact Abelian categories; for example, Ab is an Abelian category.


* Nicolae Popescu; 1973; Abelian Categories with Applications to Rings and Modules; Academic Press, Inc.; out of print

Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Preadditive category — In mathematics, specifically in category theory, a preadditive category is a category that is enriched over the monoidal category of abelian groups. In other words, the category C is preadditive if every hom set Hom(A,B) in C has the structure of …   Wikipedia

  • Additive category — In mathematics, specifically in category theory, an additive category is a preadditive category C such that any finitely many objects A 1,..., A n of C have a biproduct A 1 ⊕ ⋯ ⊕ A n in C. (Recall that a category C is preadditive if all its… …   Wikipedia

  • Outline of category theory — The following outline is provided as an overview of and guide to category theory: Category theory – area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as… …   Wikipedia

  • List of category theory topics — This is a list of category theory topics, by Wikipedia page. Specific categories *Category of sets **Concrete category *Category of vector spaces **Category of graded vector spaces *Category of finite dimensional Hilbert spaces *Category of sets… …   Wikipedia

  • Complete category — In mathematics, a complete category is a category in which all small limits exist. That is, a category C is complete if every diagram F : J → C where J is small has a limit in C. Dually, a cocomplete category is one in which all small… …   Wikipedia

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

  • Nicolae Popescu — Nicolae Popescu, Ph.D., D.Phil. Born 22 September 1937(1937 09 22) Strehaia, Romania Died 29 July 2010(201 …   Wikipedia

  • Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • Algebraic structure — In algebra, a branch of pure mathematics, an algebraic structure consists of one or more sets closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The… …   Wikipedia

  • Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”