The Abelian Group Case
Assuming one has a category like that of abelian groups, one can in fact form direct sums of copies of G until the morphism
- f: Sum(G) →H
is surjective; and one can form direct products of C until the morphism
- f:H→ Prod(C)
is injective.
For example, the integers are a generator of the category of abelian groups (since every abelian group is a quotient of a free abelian group). This is the origin of the term generator. The approximation here is normally described as generators and relations.
As an example of a cogenerator in the same category, we have Q/Z, the rationals modulo the integers, which is a divisible abelian group. Given any abelian group A, there is an isomorphic copy of A contained inside the product of |A| copies of Q/Z. This approximation is close to what is called the divisible envelope - the true envelope is subject to a minimality condition.
Read more about this topic: Injective Cogenerator
Famous quotes containing the words group and/or case:
“If the Russians have gone too far in subjecting the child and his peer group to conformity to a single set of values imposed by the adult society, perhaps we have reached the point of diminishing returns in allowing excessive autonomy and in failing to utilize the constructive potential of the peer group in developing social responsibility and consideration for others.”
—Urie Bronfenbrenner (b. 1917)
“I am absurdly fearful about this voyage. Various little omens have combined to give me a dark feeling.... Perhaps we shall live to laugh at these. But in case of mishap I should perish with my husband and child, perhaps to be transferred to some happier state.”
—Margaret Fuller (1810–1850)