How to quotient modules in homology computation
$begingroup$
I was computing the homology group of a 2-complex with $mathbb{Z}$ coefficients. Doing so, I obtained
$$
H_1 = frac{langle a,b,c,d rangle}{langle 2a+2b, 2a+2b+c+drangle}
$$
I then tried to simplify the expression for $H_1$ in two different ways. Unfortunately, I obtained two different answers. So at most one (if any) can be correct. I was hoping someone could explain where I went wrong and why my step is incorrect.
First Method:
$$
H_1 = frac{langle a,b,c,d rangle}{langle 2a+2b, 2a+2b+c+drangle}
= frac{langle a,b,c,d rangle}{langle a = -b, c=-drangle}
cong mathbb{Z}^2
$$
Second Method:
$$
H_1 = frac{langle a,b,c,d rangle}{langle 2a+2b, 2a+2b+c+drangle}
cong frac{langle a,a+b,c,c+d rangle}{langle 2(a+b), c+d rangle} cong mathbb{Z}_2 times mathbb{Z}^2
$$
abstract-algebra group-theory algebraic-topology homology-cohomology
$endgroup$
add a comment |
$begingroup$
I was computing the homology group of a 2-complex with $mathbb{Z}$ coefficients. Doing so, I obtained
$$
H_1 = frac{langle a,b,c,d rangle}{langle 2a+2b, 2a+2b+c+drangle}
$$
I then tried to simplify the expression for $H_1$ in two different ways. Unfortunately, I obtained two different answers. So at most one (if any) can be correct. I was hoping someone could explain where I went wrong and why my step is incorrect.
First Method:
$$
H_1 = frac{langle a,b,c,d rangle}{langle 2a+2b, 2a+2b+c+drangle}
= frac{langle a,b,c,d rangle}{langle a = -b, c=-drangle}
cong mathbb{Z}^2
$$
Second Method:
$$
H_1 = frac{langle a,b,c,d rangle}{langle 2a+2b, 2a+2b+c+drangle}
cong frac{langle a,a+b,c,c+d rangle}{langle 2(a+b), c+d rangle} cong mathbb{Z}_2 times mathbb{Z}^2
$$
abstract-algebra group-theory algebraic-topology homology-cohomology
$endgroup$
$begingroup$
That $2u = 0 implies u = 0$ means your group has no $2$-torsion. So doing that you have quotiented the correct group by its $2$-torsion.
$endgroup$
– reuns
Dec 13 '18 at 4:18
1
$begingroup$
First method is wrong. Not clear how you got $a=-b$. That isn't a justified manipulation.
$endgroup$
– jgon
Dec 13 '18 at 4:19
1
$begingroup$
@reuns So the second one is correct?
$endgroup$
– Quoka
Dec 13 '18 at 4:22
add a comment |
$begingroup$
I was computing the homology group of a 2-complex with $mathbb{Z}$ coefficients. Doing so, I obtained
$$
H_1 = frac{langle a,b,c,d rangle}{langle 2a+2b, 2a+2b+c+drangle}
$$
I then tried to simplify the expression for $H_1$ in two different ways. Unfortunately, I obtained two different answers. So at most one (if any) can be correct. I was hoping someone could explain where I went wrong and why my step is incorrect.
First Method:
$$
H_1 = frac{langle a,b,c,d rangle}{langle 2a+2b, 2a+2b+c+drangle}
= frac{langle a,b,c,d rangle}{langle a = -b, c=-drangle}
cong mathbb{Z}^2
$$
Second Method:
$$
H_1 = frac{langle a,b,c,d rangle}{langle 2a+2b, 2a+2b+c+drangle}
cong frac{langle a,a+b,c,c+d rangle}{langle 2(a+b), c+d rangle} cong mathbb{Z}_2 times mathbb{Z}^2
$$
abstract-algebra group-theory algebraic-topology homology-cohomology
$endgroup$
I was computing the homology group of a 2-complex with $mathbb{Z}$ coefficients. Doing so, I obtained
$$
H_1 = frac{langle a,b,c,d rangle}{langle 2a+2b, 2a+2b+c+drangle}
$$
I then tried to simplify the expression for $H_1$ in two different ways. Unfortunately, I obtained two different answers. So at most one (if any) can be correct. I was hoping someone could explain where I went wrong and why my step is incorrect.
First Method:
$$
H_1 = frac{langle a,b,c,d rangle}{langle 2a+2b, 2a+2b+c+drangle}
= frac{langle a,b,c,d rangle}{langle a = -b, c=-drangle}
cong mathbb{Z}^2
$$
Second Method:
$$
H_1 = frac{langle a,b,c,d rangle}{langle 2a+2b, 2a+2b+c+drangle}
cong frac{langle a,a+b,c,c+d rangle}{langle 2(a+b), c+d rangle} cong mathbb{Z}_2 times mathbb{Z}^2
$$
abstract-algebra group-theory algebraic-topology homology-cohomology
abstract-algebra group-theory algebraic-topology homology-cohomology
asked Dec 13 '18 at 4:11
QuokaQuoka
1,264312
1,264312
$begingroup$
That $2u = 0 implies u = 0$ means your group has no $2$-torsion. So doing that you have quotiented the correct group by its $2$-torsion.
$endgroup$
– reuns
Dec 13 '18 at 4:18
1
$begingroup$
First method is wrong. Not clear how you got $a=-b$. That isn't a justified manipulation.
$endgroup$
– jgon
Dec 13 '18 at 4:19
1
$begingroup$
@reuns So the second one is correct?
$endgroup$
– Quoka
Dec 13 '18 at 4:22
add a comment |
$begingroup$
That $2u = 0 implies u = 0$ means your group has no $2$-torsion. So doing that you have quotiented the correct group by its $2$-torsion.
$endgroup$
– reuns
Dec 13 '18 at 4:18
1
$begingroup$
First method is wrong. Not clear how you got $a=-b$. That isn't a justified manipulation.
$endgroup$
– jgon
Dec 13 '18 at 4:19
1
$begingroup$
@reuns So the second one is correct?
$endgroup$
– Quoka
Dec 13 '18 at 4:22
$begingroup$
That $2u = 0 implies u = 0$ means your group has no $2$-torsion. So doing that you have quotiented the correct group by its $2$-torsion.
$endgroup$
– reuns
Dec 13 '18 at 4:18
$begingroup$
That $2u = 0 implies u = 0$ means your group has no $2$-torsion. So doing that you have quotiented the correct group by its $2$-torsion.
$endgroup$
– reuns
Dec 13 '18 at 4:18
1
1
$begingroup$
First method is wrong. Not clear how you got $a=-b$. That isn't a justified manipulation.
$endgroup$
– jgon
Dec 13 '18 at 4:19
$begingroup$
First method is wrong. Not clear how you got $a=-b$. That isn't a justified manipulation.
$endgroup$
– jgon
Dec 13 '18 at 4:19
1
1
$begingroup$
@reuns So the second one is correct?
$endgroup$
– Quoka
Dec 13 '18 at 4:22
$begingroup$
@reuns So the second one is correct?
$endgroup$
– Quoka
Dec 13 '18 at 4:22
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
What element of $mathbb{Z}$ did you multiply by to cancel the $2$s in $2a + 2b = 0rightarrow a = -b$? I'm not familiar with that element of $mathbb{Z}$. (If I tell you that, in some group, $a^2 = b^2$, does that mean $a = b$?)
It might be better to think of this as row reduction, using only integer multiplication, of
$$ begin{pmatrix} 2 & 2 & 0 & 0 \ 2 & 2 & 1 & 1 end{pmatrix} $$
to get $langle 2a + 2b, 2a+2b+c+drangle = langle 2(a+b), c+d rangle$. Then quotient by that, as you did in your second example (in which, you made the reversible change of basis
$$ (a,b,c,d) rightarrow (a,a+b,c,c+d) $$
to simplify finding your quotient).
$endgroup$
1
$begingroup$
I don't think you can be that hard on OP for deducing $a=-b$ from $2a=-2b$. If you were in a ring theory class you'd be told that cancellation in $mathbb{Z}$ is valid even though it has few units.
$endgroup$
– Randall
Dec 13 '18 at 4:29
1
$begingroup$
@Randall I appreciate you coming to my defense! The $a=-b$ actually came from my course solutions so I'm glad to see that my solution is the correct one
$endgroup$
– Quoka
Dec 13 '18 at 5:03
$begingroup$
@MathUser_NotPrime well, the other issue is that it's not an incorrect deduction. While it may be true that $a^2=b^2 Rightarrow a=b$ is false in plenty of groups, it is true in $mathbb{Z}$ (interpreted as $2a=2b$ or $a+a=b+b$).
$endgroup$
– Randall
Dec 13 '18 at 5:06
1
$begingroup$
Yes, I see. Thank you
$endgroup$
– Quoka
Dec 13 '18 at 5:28
add a comment |
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%2f3037586%2fhow-to-quotient-modules-in-homology-computation%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
What element of $mathbb{Z}$ did you multiply by to cancel the $2$s in $2a + 2b = 0rightarrow a = -b$? I'm not familiar with that element of $mathbb{Z}$. (If I tell you that, in some group, $a^2 = b^2$, does that mean $a = b$?)
It might be better to think of this as row reduction, using only integer multiplication, of
$$ begin{pmatrix} 2 & 2 & 0 & 0 \ 2 & 2 & 1 & 1 end{pmatrix} $$
to get $langle 2a + 2b, 2a+2b+c+drangle = langle 2(a+b), c+d rangle$. Then quotient by that, as you did in your second example (in which, you made the reversible change of basis
$$ (a,b,c,d) rightarrow (a,a+b,c,c+d) $$
to simplify finding your quotient).
$endgroup$
1
$begingroup$
I don't think you can be that hard on OP for deducing $a=-b$ from $2a=-2b$. If you were in a ring theory class you'd be told that cancellation in $mathbb{Z}$ is valid even though it has few units.
$endgroup$
– Randall
Dec 13 '18 at 4:29
1
$begingroup$
@Randall I appreciate you coming to my defense! The $a=-b$ actually came from my course solutions so I'm glad to see that my solution is the correct one
$endgroup$
– Quoka
Dec 13 '18 at 5:03
$begingroup$
@MathUser_NotPrime well, the other issue is that it's not an incorrect deduction. While it may be true that $a^2=b^2 Rightarrow a=b$ is false in plenty of groups, it is true in $mathbb{Z}$ (interpreted as $2a=2b$ or $a+a=b+b$).
$endgroup$
– Randall
Dec 13 '18 at 5:06
1
$begingroup$
Yes, I see. Thank you
$endgroup$
– Quoka
Dec 13 '18 at 5:28
add a comment |
$begingroup$
What element of $mathbb{Z}$ did you multiply by to cancel the $2$s in $2a + 2b = 0rightarrow a = -b$? I'm not familiar with that element of $mathbb{Z}$. (If I tell you that, in some group, $a^2 = b^2$, does that mean $a = b$?)
It might be better to think of this as row reduction, using only integer multiplication, of
$$ begin{pmatrix} 2 & 2 & 0 & 0 \ 2 & 2 & 1 & 1 end{pmatrix} $$
to get $langle 2a + 2b, 2a+2b+c+drangle = langle 2(a+b), c+d rangle$. Then quotient by that, as you did in your second example (in which, you made the reversible change of basis
$$ (a,b,c,d) rightarrow (a,a+b,c,c+d) $$
to simplify finding your quotient).
$endgroup$
1
$begingroup$
I don't think you can be that hard on OP for deducing $a=-b$ from $2a=-2b$. If you were in a ring theory class you'd be told that cancellation in $mathbb{Z}$ is valid even though it has few units.
$endgroup$
– Randall
Dec 13 '18 at 4:29
1
$begingroup$
@Randall I appreciate you coming to my defense! The $a=-b$ actually came from my course solutions so I'm glad to see that my solution is the correct one
$endgroup$
– Quoka
Dec 13 '18 at 5:03
$begingroup$
@MathUser_NotPrime well, the other issue is that it's not an incorrect deduction. While it may be true that $a^2=b^2 Rightarrow a=b$ is false in plenty of groups, it is true in $mathbb{Z}$ (interpreted as $2a=2b$ or $a+a=b+b$).
$endgroup$
– Randall
Dec 13 '18 at 5:06
1
$begingroup$
Yes, I see. Thank you
$endgroup$
– Quoka
Dec 13 '18 at 5:28
add a comment |
$begingroup$
What element of $mathbb{Z}$ did you multiply by to cancel the $2$s in $2a + 2b = 0rightarrow a = -b$? I'm not familiar with that element of $mathbb{Z}$. (If I tell you that, in some group, $a^2 = b^2$, does that mean $a = b$?)
It might be better to think of this as row reduction, using only integer multiplication, of
$$ begin{pmatrix} 2 & 2 & 0 & 0 \ 2 & 2 & 1 & 1 end{pmatrix} $$
to get $langle 2a + 2b, 2a+2b+c+drangle = langle 2(a+b), c+d rangle$. Then quotient by that, as you did in your second example (in which, you made the reversible change of basis
$$ (a,b,c,d) rightarrow (a,a+b,c,c+d) $$
to simplify finding your quotient).
$endgroup$
What element of $mathbb{Z}$ did you multiply by to cancel the $2$s in $2a + 2b = 0rightarrow a = -b$? I'm not familiar with that element of $mathbb{Z}$. (If I tell you that, in some group, $a^2 = b^2$, does that mean $a = b$?)
It might be better to think of this as row reduction, using only integer multiplication, of
$$ begin{pmatrix} 2 & 2 & 0 & 0 \ 2 & 2 & 1 & 1 end{pmatrix} $$
to get $langle 2a + 2b, 2a+2b+c+drangle = langle 2(a+b), c+d rangle$. Then quotient by that, as you did in your second example (in which, you made the reversible change of basis
$$ (a,b,c,d) rightarrow (a,a+b,c,c+d) $$
to simplify finding your quotient).
answered Dec 13 '18 at 4:23
Eric TowersEric Towers
32.6k22370
32.6k22370
1
$begingroup$
I don't think you can be that hard on OP for deducing $a=-b$ from $2a=-2b$. If you were in a ring theory class you'd be told that cancellation in $mathbb{Z}$ is valid even though it has few units.
$endgroup$
– Randall
Dec 13 '18 at 4:29
1
$begingroup$
@Randall I appreciate you coming to my defense! The $a=-b$ actually came from my course solutions so I'm glad to see that my solution is the correct one
$endgroup$
– Quoka
Dec 13 '18 at 5:03
$begingroup$
@MathUser_NotPrime well, the other issue is that it's not an incorrect deduction. While it may be true that $a^2=b^2 Rightarrow a=b$ is false in plenty of groups, it is true in $mathbb{Z}$ (interpreted as $2a=2b$ or $a+a=b+b$).
$endgroup$
– Randall
Dec 13 '18 at 5:06
1
$begingroup$
Yes, I see. Thank you
$endgroup$
– Quoka
Dec 13 '18 at 5:28
add a comment |
1
$begingroup$
I don't think you can be that hard on OP for deducing $a=-b$ from $2a=-2b$. If you were in a ring theory class you'd be told that cancellation in $mathbb{Z}$ is valid even though it has few units.
$endgroup$
– Randall
Dec 13 '18 at 4:29
1
$begingroup$
@Randall I appreciate you coming to my defense! The $a=-b$ actually came from my course solutions so I'm glad to see that my solution is the correct one
$endgroup$
– Quoka
Dec 13 '18 at 5:03
$begingroup$
@MathUser_NotPrime well, the other issue is that it's not an incorrect deduction. While it may be true that $a^2=b^2 Rightarrow a=b$ is false in plenty of groups, it is true in $mathbb{Z}$ (interpreted as $2a=2b$ or $a+a=b+b$).
$endgroup$
– Randall
Dec 13 '18 at 5:06
1
$begingroup$
Yes, I see. Thank you
$endgroup$
– Quoka
Dec 13 '18 at 5:28
1
1
$begingroup$
I don't think you can be that hard on OP for deducing $a=-b$ from $2a=-2b$. If you were in a ring theory class you'd be told that cancellation in $mathbb{Z}$ is valid even though it has few units.
$endgroup$
– Randall
Dec 13 '18 at 4:29
$begingroup$
I don't think you can be that hard on OP for deducing $a=-b$ from $2a=-2b$. If you were in a ring theory class you'd be told that cancellation in $mathbb{Z}$ is valid even though it has few units.
$endgroup$
– Randall
Dec 13 '18 at 4:29
1
1
$begingroup$
@Randall I appreciate you coming to my defense! The $a=-b$ actually came from my course solutions so I'm glad to see that my solution is the correct one
$endgroup$
– Quoka
Dec 13 '18 at 5:03
$begingroup$
@Randall I appreciate you coming to my defense! The $a=-b$ actually came from my course solutions so I'm glad to see that my solution is the correct one
$endgroup$
– Quoka
Dec 13 '18 at 5:03
$begingroup$
@MathUser_NotPrime well, the other issue is that it's not an incorrect deduction. While it may be true that $a^2=b^2 Rightarrow a=b$ is false in plenty of groups, it is true in $mathbb{Z}$ (interpreted as $2a=2b$ or $a+a=b+b$).
$endgroup$
– Randall
Dec 13 '18 at 5:06
$begingroup$
@MathUser_NotPrime well, the other issue is that it's not an incorrect deduction. While it may be true that $a^2=b^2 Rightarrow a=b$ is false in plenty of groups, it is true in $mathbb{Z}$ (interpreted as $2a=2b$ or $a+a=b+b$).
$endgroup$
– Randall
Dec 13 '18 at 5:06
1
1
$begingroup$
Yes, I see. Thank you
$endgroup$
– Quoka
Dec 13 '18 at 5:28
$begingroup$
Yes, I see. Thank you
$endgroup$
– Quoka
Dec 13 '18 at 5:28
add a comment |
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%2f3037586%2fhow-to-quotient-modules-in-homology-computation%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
$begingroup$
That $2u = 0 implies u = 0$ means your group has no $2$-torsion. So doing that you have quotiented the correct group by its $2$-torsion.
$endgroup$
– reuns
Dec 13 '18 at 4:18
1
$begingroup$
First method is wrong. Not clear how you got $a=-b$. That isn't a justified manipulation.
$endgroup$
– jgon
Dec 13 '18 at 4:19
1
$begingroup$
@reuns So the second one is correct?
$endgroup$
– Quoka
Dec 13 '18 at 4:22