请输入您要查询的字词:

 

单词 CounterexamplesForProductsAndCoproduct
释义

counterexamples for products and coproduct


\\PMlinkescapephrase

direct sumMathworldPlanetmathPlanetmathPlanetmath

1 Direct sum is not always a coproduct

For groups the notion of a direct sum (http://planetmath.org/DirectProductAndRestrictedDirectProductOfGroups) is in conflict with the categorical direct sum. For this reason a categorical direct sum is often called a coproduct instead. The following example illustrates the differencePlanetmathPlanetmath.

Let denote the disjoint unionMathworldPlanetmathPlanetmath of sets.

The direct productMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath of a family of groups {Gi:iI} is the set of all functions f:IiIGi such that f(i)Gi. We usually denote this by

iIGi.

This is a productMathworldPlanetmathPlanetmath in the categoryMathworldPlanetmath of all groups. This is a group under pointwise operations: (fg)(i)=f(i)g(i) and all the group properties follow.

The direct sum is a subgroupMathworldPlanetmathPlanetmath of iIGi consisting of all f:IiIGi with the added property that

Suppf={iI:f(i)1}

is a finite setMathworldPlanetmath, that is, f has finite supportPlanetmathPlanetmath. The notation for directsums is experiencing a shift from the historical sigma notation to the moderncircled plus; thus it is common to see any of the following two notations

iIGi or iIGi.
Proposition 1.

The direct sum and direct product are equal whenever I is a finite set.That is, for any family {Gi:iI} with I finite, then

iIGi=iIGi.
Remark 2.

The ‘=’ here means an honest set equality even more than naturally isomorphicPlanetmathPlanetmathPlanetmath.

Proof.

Certainly Suppf is a subset of I and so Suppf is finite.∎

Claim: The direct sum is not a coproduct in the category of all groups.

Example.Let G1=S3 and G2=2. We observe that S32 and is a group of order (http://planetmath.org/OrderGroup) 12. Now suppose that is a coproduct for the category of groups. The canonical inclussion maps are

ι1:S3S32:σ(σ,0)

and

ι2:2S3×2:n(1,n).

Take the homomorphismsMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath f1:S3S4 – thenatural inclusion mapMathworldPlanetmath of S3=(123),(12) treated as permutations on 4 letters fixing 4 – and f2:2S4given by 1(14).

If indeed is a coproduct in the category of groups then their existsa unique homomorphism f:S32S4 such thatfi=fιi, i=1,2. This means that

(123)=f1((123))=f(ι1(123))=f((123),0),(14)=f2(1)=f(ι2(1))=f(1,1).

Notice then that the image of f in S4 is all of S4 since (123),(14)=S4. But this is impossible since |S4|=24 and|S32|=12. Hence there cannot exist such a homomorphismf and so is not a categorical coproduct.

2 Infinite products and coproducts

In an abelian categoryMathworldPlanetmathPlanetmathPlanetmath, for example the category of abelian groups or a category of modules, the direct sum is the categorical coproduct. Thus a commonmisreading of PropositionPlanetmathPlanetmath 1 is to declare

“ In an abelian category the product and coproduct are equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath. ”

Indeed, this is true only if the index setMathworldPlanetmathPlanetmath I of the family of objects is finite. A simple cardinality test demonstrates the flaw.

Example. Suppose that I= and Gi=2.Then the product of i2 can be equatedwith the set of all functions f:2 – that is, all infiniteMathworldPlanetmath sequencesPlanetmathPlanetmath of binary digits. This has cardinality 20 which is uncountable.

On the other hand, the direct sum (coproduct in this context) of this family is the set of all finite binary strings, which is countableMathworldPlanetmath. Therefore these two objects cannot be isomorphic in the category.

3 Common categories without (co)products

Let FinGrp be the category of all finite groupsMathworldPlanetmath. This category does not inherit the standard products and coproduct of the category of all groups Grp. For example,

2 and 2

are both infinite groups and so they do not lie in the category FinGrp.Indeed, this example could be done with the category of finite sets FinSet inside the category of all sets Set, and many other such categories.

However, we have not yet demonstrated that no alternate product and/or coproduct for the category FinGrp, FinSet, etc does not exist.

4 Common subcategories with different (co)products

Consider once again the category of all groups Grp. Inside thiscategory lies the category of all abelian groupsMathworldPlanetmath AbGrp. However, the coproduct for groups is the free productMathworldPlanetmath (*) but the coproduct for abelian groups is direct sum (). These are inequivelent.

Example. * is the free groupMathworldPlanetmath on two elements – and so non-abelianMathworldPlanetmathPlanetmath – while is abelian.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 5:45:57