$Hom_{Ab}(A,-)$ is not strongly additive for some $Ain Obj(Ab)$
$begingroup$
This is an exercise question in Dold Algebraic Topology, Chpt VI, 2.12. The point is to demonstrate that additive functors does not preserve infinite direct sums.
$textbf{Q:}$ What is the example showing that $Hom_{Ab}(A,-)$ does not preserving infinite direct sums? I tried $A=Z_4, Z_2$ with $-=oplus Z_4, oplus Z_2$. However, it seems I cannot get something uncountable out by taking a countable finite direct sums. Any hint will be helpful.
abstract-algebra algebraic-topology
$endgroup$
add a comment |
$begingroup$
This is an exercise question in Dold Algebraic Topology, Chpt VI, 2.12. The point is to demonstrate that additive functors does not preserve infinite direct sums.
$textbf{Q:}$ What is the example showing that $Hom_{Ab}(A,-)$ does not preserving infinite direct sums? I tried $A=Z_4, Z_2$ with $-=oplus Z_4, oplus Z_2$. However, it seems I cannot get something uncountable out by taking a countable finite direct sums. Any hint will be helpful.
abstract-algebra algebraic-topology
$endgroup$
2
$begingroup$
You need to take $A$ to be infinitely generated.
$endgroup$
– Qiaochu Yuan
Dec 24 '18 at 4:36
$begingroup$
@QiaochuYuan Maybe this is a dumb question. I followed your hint to consider $oplus Hom(oplus Z,Z)congoplusprod Hom(Z,Z)to Hom(oplus Z,oplus Z)congprod Hom(Z,oplus Z)$. So this boils down to $oplusprod Zto prodoplus Z$ is not surjection. I think the essential point is to see $oplus Hom(oplus Z, Z)to Hom(oplus Z,oplus Z)$ is not surjection by following. There is more elements in $Hom(oplus Z,oplus Z)$.(Every element of $oplus Z$ is finite combintation but each $f$'s image being finite sum does not imply $f$ is finite sum of functions of $Hom(oplus Z,Z)$.)
$endgroup$
– user45765
Dec 24 '18 at 16:56
$begingroup$
@QiaochuYuan Is above idea correct? Thank.
$endgroup$
– user45765
Dec 24 '18 at 16:57
add a comment |
$begingroup$
This is an exercise question in Dold Algebraic Topology, Chpt VI, 2.12. The point is to demonstrate that additive functors does not preserve infinite direct sums.
$textbf{Q:}$ What is the example showing that $Hom_{Ab}(A,-)$ does not preserving infinite direct sums? I tried $A=Z_4, Z_2$ with $-=oplus Z_4, oplus Z_2$. However, it seems I cannot get something uncountable out by taking a countable finite direct sums. Any hint will be helpful.
abstract-algebra algebraic-topology
$endgroup$
This is an exercise question in Dold Algebraic Topology, Chpt VI, 2.12. The point is to demonstrate that additive functors does not preserve infinite direct sums.
$textbf{Q:}$ What is the example showing that $Hom_{Ab}(A,-)$ does not preserving infinite direct sums? I tried $A=Z_4, Z_2$ with $-=oplus Z_4, oplus Z_2$. However, it seems I cannot get something uncountable out by taking a countable finite direct sums. Any hint will be helpful.
abstract-algebra algebraic-topology
abstract-algebra algebraic-topology
edited Dec 24 '18 at 6:53
Henno Brandsma
110k347117
110k347117
asked Dec 24 '18 at 1:33
user45765user45765
2,6152724
2,6152724
2
$begingroup$
You need to take $A$ to be infinitely generated.
$endgroup$
– Qiaochu Yuan
Dec 24 '18 at 4:36
$begingroup$
@QiaochuYuan Maybe this is a dumb question. I followed your hint to consider $oplus Hom(oplus Z,Z)congoplusprod Hom(Z,Z)to Hom(oplus Z,oplus Z)congprod Hom(Z,oplus Z)$. So this boils down to $oplusprod Zto prodoplus Z$ is not surjection. I think the essential point is to see $oplus Hom(oplus Z, Z)to Hom(oplus Z,oplus Z)$ is not surjection by following. There is more elements in $Hom(oplus Z,oplus Z)$.(Every element of $oplus Z$ is finite combintation but each $f$'s image being finite sum does not imply $f$ is finite sum of functions of $Hom(oplus Z,Z)$.)
$endgroup$
– user45765
Dec 24 '18 at 16:56
$begingroup$
@QiaochuYuan Is above idea correct? Thank.
$endgroup$
– user45765
Dec 24 '18 at 16:57
add a comment |
2
$begingroup$
You need to take $A$ to be infinitely generated.
$endgroup$
– Qiaochu Yuan
Dec 24 '18 at 4:36
$begingroup$
@QiaochuYuan Maybe this is a dumb question. I followed your hint to consider $oplus Hom(oplus Z,Z)congoplusprod Hom(Z,Z)to Hom(oplus Z,oplus Z)congprod Hom(Z,oplus Z)$. So this boils down to $oplusprod Zto prodoplus Z$ is not surjection. I think the essential point is to see $oplus Hom(oplus Z, Z)to Hom(oplus Z,oplus Z)$ is not surjection by following. There is more elements in $Hom(oplus Z,oplus Z)$.(Every element of $oplus Z$ is finite combintation but each $f$'s image being finite sum does not imply $f$ is finite sum of functions of $Hom(oplus Z,Z)$.)
$endgroup$
– user45765
Dec 24 '18 at 16:56
$begingroup$
@QiaochuYuan Is above idea correct? Thank.
$endgroup$
– user45765
Dec 24 '18 at 16:57
2
2
$begingroup$
You need to take $A$ to be infinitely generated.
$endgroup$
– Qiaochu Yuan
Dec 24 '18 at 4:36
$begingroup$
You need to take $A$ to be infinitely generated.
$endgroup$
– Qiaochu Yuan
Dec 24 '18 at 4:36
$begingroup$
@QiaochuYuan Maybe this is a dumb question. I followed your hint to consider $oplus Hom(oplus Z,Z)congoplusprod Hom(Z,Z)to Hom(oplus Z,oplus Z)congprod Hom(Z,oplus Z)$. So this boils down to $oplusprod Zto prodoplus Z$ is not surjection. I think the essential point is to see $oplus Hom(oplus Z, Z)to Hom(oplus Z,oplus Z)$ is not surjection by following. There is more elements in $Hom(oplus Z,oplus Z)$.(Every element of $oplus Z$ is finite combintation but each $f$'s image being finite sum does not imply $f$ is finite sum of functions of $Hom(oplus Z,Z)$.)
$endgroup$
– user45765
Dec 24 '18 at 16:56
$begingroup$
@QiaochuYuan Maybe this is a dumb question. I followed your hint to consider $oplus Hom(oplus Z,Z)congoplusprod Hom(Z,Z)to Hom(oplus Z,oplus Z)congprod Hom(Z,oplus Z)$. So this boils down to $oplusprod Zto prodoplus Z$ is not surjection. I think the essential point is to see $oplus Hom(oplus Z, Z)to Hom(oplus Z,oplus Z)$ is not surjection by following. There is more elements in $Hom(oplus Z,oplus Z)$.(Every element of $oplus Z$ is finite combintation but each $f$'s image being finite sum does not imply $f$ is finite sum of functions of $Hom(oplus Z,Z)$.)
$endgroup$
– user45765
Dec 24 '18 at 16:56
$begingroup$
@QiaochuYuan Is above idea correct? Thank.
$endgroup$
– user45765
Dec 24 '18 at 16:57
$begingroup$
@QiaochuYuan Is above idea correct? Thank.
$endgroup$
– user45765
Dec 24 '18 at 16:57
add a comment |
0
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3050863%2fhom-aba-is-not-strongly-additive-for-some-a-in-objab%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3050863%2fhom-aba-is-not-strongly-additive-for-some-a-in-objab%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
2
$begingroup$
You need to take $A$ to be infinitely generated.
$endgroup$
– Qiaochu Yuan
Dec 24 '18 at 4:36
$begingroup$
@QiaochuYuan Maybe this is a dumb question. I followed your hint to consider $oplus Hom(oplus Z,Z)congoplusprod Hom(Z,Z)to Hom(oplus Z,oplus Z)congprod Hom(Z,oplus Z)$. So this boils down to $oplusprod Zto prodoplus Z$ is not surjection. I think the essential point is to see $oplus Hom(oplus Z, Z)to Hom(oplus Z,oplus Z)$ is not surjection by following. There is more elements in $Hom(oplus Z,oplus Z)$.(Every element of $oplus Z$ is finite combintation but each $f$'s image being finite sum does not imply $f$ is finite sum of functions of $Hom(oplus Z,Z)$.)
$endgroup$
– user45765
Dec 24 '18 at 16:56
$begingroup$
@QiaochuYuan Is above idea correct? Thank.
$endgroup$
– user45765
Dec 24 '18 at 16:57