# All Science Fair Projects

## Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

# Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

# Biproduct

In category theory and its applications to mathematics, a biproduct is a generalisation of the notion of direct sum that makes sense in any preadditive category.

## Definition

Let C be a preadditive category. In particular, morphisms in C can be added.

Given objects A1,...,An in C, suppose that we have:

• another object A1 ⊕ ··· ⊕ An in C (the biproduct);
• morphsims pk: A1 ⊕ ··· ⊕ AnAk in C (the projection morphisms); and
• morphisms ik: AkA1 ⊕ ··· ⊕ An (the injection morphisms).

• (i1 ° p1) + ··· + (in ° pn) equals the identity morphism of A1 ⊕ ··· ⊕ An;
• pk ° ik equals the identity element of Ak; and
• pk ° il is the zero morphism from Al to Ak whenever k and l are distinct.

Then A1 ⊕ ··· ⊕ An is a biproduct of A1,...,An.

Note that if we take n = 0 in the above definition, then only the first condition applies, and we have for the nullary biproduct an object O such that the identity morphism on O is equal to the zero morphism from O to itself.

## Examples

Biproducts always exist in the category of abelian groups. In that category, the biproduct of several objects is simply their direct sum. The nullary biproduct is the trivial group. Biproducts exist in several other categories with direct sums, such as the category of vector spaces over a given field. But biproducts do not exist in the category of all groups; indeed, this category is not even preadditive.

## Properties

If a nullary biproduct exists and all binary biproducts A1A2 exist, then all biproducts whatsoever must also exist; this can be proved by mathematical induction.

Biproducts in preadditive categories are always both products and coproducts in the ordinary category-theoretic sense; this is the origin of the term "biproduct". In particular, a nullary biproduct is always a zero object. Conversely, any finitary product or coproduct in a preadditive category must be a biproduct.

An additive category is a preadditive category in which every biproduct exists. In particular, biproducts always exist in abelian categories.

03-10-2013 05:06:04