Why is the decomposition of $operatorname{Tor}(M)$ into cyclic modules a “subset” of the decomposition of...
In my book it says that if $M$ is finitely generated over $R$, a P.I.D., then
$$M cong R^r oplus R/(a_1) oplus cdots oplus R/(a_n)$$
and that
$$operatorname{Tor}(M) cong R/(a_1) oplus cdots oplus R/(a_n)$$
I don't understand how the second part follows from the first. First, I don't see why $operatorname{Tor}(M)$ has to be finitely generated; I know that a submodule of a finitely generated module is not necessarily finitely generated.
Secondly, if we assume that $operatorname{Tor}(M)$ is finitely generated, then we can apply the theorem and get
$$operatorname{Tor}(M) cong R^k oplus R/(b_1) oplus cdots oplus R/(b_m)$$
I understand that since it's a torsion module, $k$ should equal zero. But I don't see why the $R/(b_1) oplus cdots oplus R/(b_m)$ part has to be the same as the $R/(a_1) oplus cdots oplus R/(a_n)$ part.
abstract-algebra modules finitely-generated
add a comment |
In my book it says that if $M$ is finitely generated over $R$, a P.I.D., then
$$M cong R^r oplus R/(a_1) oplus cdots oplus R/(a_n)$$
and that
$$operatorname{Tor}(M) cong R/(a_1) oplus cdots oplus R/(a_n)$$
I don't understand how the second part follows from the first. First, I don't see why $operatorname{Tor}(M)$ has to be finitely generated; I know that a submodule of a finitely generated module is not necessarily finitely generated.
Secondly, if we assume that $operatorname{Tor}(M)$ is finitely generated, then we can apply the theorem and get
$$operatorname{Tor}(M) cong R^k oplus R/(b_1) oplus cdots oplus R/(b_m)$$
I understand that since it's a torsion module, $k$ should equal zero. But I don't see why the $R/(b_1) oplus cdots oplus R/(b_m)$ part has to be the same as the $R/(a_1) oplus cdots oplus R/(a_n)$ part.
abstract-algebra modules finitely-generated
add a comment |
In my book it says that if $M$ is finitely generated over $R$, a P.I.D., then
$$M cong R^r oplus R/(a_1) oplus cdots oplus R/(a_n)$$
and that
$$operatorname{Tor}(M) cong R/(a_1) oplus cdots oplus R/(a_n)$$
I don't understand how the second part follows from the first. First, I don't see why $operatorname{Tor}(M)$ has to be finitely generated; I know that a submodule of a finitely generated module is not necessarily finitely generated.
Secondly, if we assume that $operatorname{Tor}(M)$ is finitely generated, then we can apply the theorem and get
$$operatorname{Tor}(M) cong R^k oplus R/(b_1) oplus cdots oplus R/(b_m)$$
I understand that since it's a torsion module, $k$ should equal zero. But I don't see why the $R/(b_1) oplus cdots oplus R/(b_m)$ part has to be the same as the $R/(a_1) oplus cdots oplus R/(a_n)$ part.
abstract-algebra modules finitely-generated
In my book it says that if $M$ is finitely generated over $R$, a P.I.D., then
$$M cong R^r oplus R/(a_1) oplus cdots oplus R/(a_n)$$
and that
$$operatorname{Tor}(M) cong R/(a_1) oplus cdots oplus R/(a_n)$$
I don't understand how the second part follows from the first. First, I don't see why $operatorname{Tor}(M)$ has to be finitely generated; I know that a submodule of a finitely generated module is not necessarily finitely generated.
Secondly, if we assume that $operatorname{Tor}(M)$ is finitely generated, then we can apply the theorem and get
$$operatorname{Tor}(M) cong R^k oplus R/(b_1) oplus cdots oplus R/(b_m)$$
I understand that since it's a torsion module, $k$ should equal zero. But I don't see why the $R/(b_1) oplus cdots oplus R/(b_m)$ part has to be the same as the $R/(a_1) oplus cdots oplus R/(a_n)$ part.
abstract-algebra modules finitely-generated
abstract-algebra modules finitely-generated
edited Nov 18 at 15:14
Bernard
118k639112
118k639112
asked Nov 18 at 14:32
Ovi
12.4k1038111
12.4k1038111
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
Instead of thinking of Tor$(M)$, just think of Tor$(R^k oplus R/(b_1) oplus cdots oplus R/(b_m))$. It is clear that this is just $R/(b_1) oplus cdots oplus R/(b_m)$, and therefore so is the torsion submodule of $M$.
add a comment |
- A P.I.D. is a noetherian ring, and a finitely generated module over a noetherian ring is noetherian, i.e. all its submodules are finitely generated.
- There is a uniqueness part in the Structure theorem for finitely generated modules over a P.I.D.
Ok got the first part; but what I said in my question is part of the existence theorem, which is given before the uniqueness theorem. Even so, let's assume uniqueness. To get that $operatorname{Tor}(M) cong R/(a_1) oplus cdots oplus R/(a_2)$, wouldn't we have to show that $M cong R^r oplus operatorname{Tor}(M)$ also?
– Ovi
Nov 18 at 14:46
But this is the case: a finitely generated module over a P.I.D. (or more generally, a Dedekind ring) is the direct sum of its torsion submodule $T$ and a projective module (projective modules are free in the case of P.I.D.s) simply because we hace a surjective homomorphism $Mto R^k$ with kernel $T$.
– Bernard
Nov 18 at 15:26
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%2f3003606%2fwhy-is-the-decomposition-of-operatornametorm-into-cyclic-modules-a-subse%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
Instead of thinking of Tor$(M)$, just think of Tor$(R^k oplus R/(b_1) oplus cdots oplus R/(b_m))$. It is clear that this is just $R/(b_1) oplus cdots oplus R/(b_m)$, and therefore so is the torsion submodule of $M$.
add a comment |
Instead of thinking of Tor$(M)$, just think of Tor$(R^k oplus R/(b_1) oplus cdots oplus R/(b_m))$. It is clear that this is just $R/(b_1) oplus cdots oplus R/(b_m)$, and therefore so is the torsion submodule of $M$.
add a comment |
Instead of thinking of Tor$(M)$, just think of Tor$(R^k oplus R/(b_1) oplus cdots oplus R/(b_m))$. It is clear that this is just $R/(b_1) oplus cdots oplus R/(b_m)$, and therefore so is the torsion submodule of $M$.
Instead of thinking of Tor$(M)$, just think of Tor$(R^k oplus R/(b_1) oplus cdots oplus R/(b_m))$. It is clear that this is just $R/(b_1) oplus cdots oplus R/(b_m)$, and therefore so is the torsion submodule of $M$.
answered Nov 25 at 4:20
Ovi
12.4k1038111
12.4k1038111
add a comment |
add a comment |
- A P.I.D. is a noetherian ring, and a finitely generated module over a noetherian ring is noetherian, i.e. all its submodules are finitely generated.
- There is a uniqueness part in the Structure theorem for finitely generated modules over a P.I.D.
Ok got the first part; but what I said in my question is part of the existence theorem, which is given before the uniqueness theorem. Even so, let's assume uniqueness. To get that $operatorname{Tor}(M) cong R/(a_1) oplus cdots oplus R/(a_2)$, wouldn't we have to show that $M cong R^r oplus operatorname{Tor}(M)$ also?
– Ovi
Nov 18 at 14:46
But this is the case: a finitely generated module over a P.I.D. (or more generally, a Dedekind ring) is the direct sum of its torsion submodule $T$ and a projective module (projective modules are free in the case of P.I.D.s) simply because we hace a surjective homomorphism $Mto R^k$ with kernel $T$.
– Bernard
Nov 18 at 15:26
add a comment |
- A P.I.D. is a noetherian ring, and a finitely generated module over a noetherian ring is noetherian, i.e. all its submodules are finitely generated.
- There is a uniqueness part in the Structure theorem for finitely generated modules over a P.I.D.
Ok got the first part; but what I said in my question is part of the existence theorem, which is given before the uniqueness theorem. Even so, let's assume uniqueness. To get that $operatorname{Tor}(M) cong R/(a_1) oplus cdots oplus R/(a_2)$, wouldn't we have to show that $M cong R^r oplus operatorname{Tor}(M)$ also?
– Ovi
Nov 18 at 14:46
But this is the case: a finitely generated module over a P.I.D. (or more generally, a Dedekind ring) is the direct sum of its torsion submodule $T$ and a projective module (projective modules are free in the case of P.I.D.s) simply because we hace a surjective homomorphism $Mto R^k$ with kernel $T$.
– Bernard
Nov 18 at 15:26
add a comment |
- A P.I.D. is a noetherian ring, and a finitely generated module over a noetherian ring is noetherian, i.e. all its submodules are finitely generated.
- There is a uniqueness part in the Structure theorem for finitely generated modules over a P.I.D.
- A P.I.D. is a noetherian ring, and a finitely generated module over a noetherian ring is noetherian, i.e. all its submodules are finitely generated.
- There is a uniqueness part in the Structure theorem for finitely generated modules over a P.I.D.
edited Nov 25 at 11:07
answered Nov 18 at 14:40
Bernard
118k639112
118k639112
Ok got the first part; but what I said in my question is part of the existence theorem, which is given before the uniqueness theorem. Even so, let's assume uniqueness. To get that $operatorname{Tor}(M) cong R/(a_1) oplus cdots oplus R/(a_2)$, wouldn't we have to show that $M cong R^r oplus operatorname{Tor}(M)$ also?
– Ovi
Nov 18 at 14:46
But this is the case: a finitely generated module over a P.I.D. (or more generally, a Dedekind ring) is the direct sum of its torsion submodule $T$ and a projective module (projective modules are free in the case of P.I.D.s) simply because we hace a surjective homomorphism $Mto R^k$ with kernel $T$.
– Bernard
Nov 18 at 15:26
add a comment |
Ok got the first part; but what I said in my question is part of the existence theorem, which is given before the uniqueness theorem. Even so, let's assume uniqueness. To get that $operatorname{Tor}(M) cong R/(a_1) oplus cdots oplus R/(a_2)$, wouldn't we have to show that $M cong R^r oplus operatorname{Tor}(M)$ also?
– Ovi
Nov 18 at 14:46
But this is the case: a finitely generated module over a P.I.D. (or more generally, a Dedekind ring) is the direct sum of its torsion submodule $T$ and a projective module (projective modules are free in the case of P.I.D.s) simply because we hace a surjective homomorphism $Mto R^k$ with kernel $T$.
– Bernard
Nov 18 at 15:26
Ok got the first part; but what I said in my question is part of the existence theorem, which is given before the uniqueness theorem. Even so, let's assume uniqueness. To get that $operatorname{Tor}(M) cong R/(a_1) oplus cdots oplus R/(a_2)$, wouldn't we have to show that $M cong R^r oplus operatorname{Tor}(M)$ also?
– Ovi
Nov 18 at 14:46
Ok got the first part; but what I said in my question is part of the existence theorem, which is given before the uniqueness theorem. Even so, let's assume uniqueness. To get that $operatorname{Tor}(M) cong R/(a_1) oplus cdots oplus R/(a_2)$, wouldn't we have to show that $M cong R^r oplus operatorname{Tor}(M)$ also?
– Ovi
Nov 18 at 14:46
But this is the case: a finitely generated module over a P.I.D. (or more generally, a Dedekind ring) is the direct sum of its torsion submodule $T$ and a projective module (projective modules are free in the case of P.I.D.s) simply because we hace a surjective homomorphism $Mto R^k$ with kernel $T$.
– Bernard
Nov 18 at 15:26
But this is the case: a finitely generated module over a P.I.D. (or more generally, a Dedekind ring) is the direct sum of its torsion submodule $T$ and a projective module (projective modules are free in the case of P.I.D.s) simply because we hace a surjective homomorphism $Mto R^k$ with kernel $T$.
– Bernard
Nov 18 at 15:26
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3003606%2fwhy-is-the-decomposition-of-operatornametorm-into-cyclic-modules-a-subse%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