Embedding $mathbb{Z}$-modules into injective $mathbb{Z}$-modules
I want to show that any $mathbb{Z}$-module $M$ can be embedded into an injective $mathbb{Z}$-module (I'm in the process of showing this can be done for more general rings, but starting with this case).
My idea is to tensor with $mathbb{Q}$, so define $N=mathbb{Q}otimes M$. This is a $mathbb{Z}$-module via $$n(qotimes m)=qotimes nm=nqotimes m$$ and extending linearly.
It is divisible since $$sum q_im_i=nsum frac{q_i}{n}m_i$$ Now, $mathbb{Z}$ is a PID and for a module over a PID injectivity is equivalent to divisibility, so $N$ is injective, and $M$ embeds via $m rightarrow (0,m)$.
Is this correct?
abstract-algebra modules homological-algebra injective-module
add a comment |
I want to show that any $mathbb{Z}$-module $M$ can be embedded into an injective $mathbb{Z}$-module (I'm in the process of showing this can be done for more general rings, but starting with this case).
My idea is to tensor with $mathbb{Q}$, so define $N=mathbb{Q}otimes M$. This is a $mathbb{Z}$-module via $$n(qotimes m)=qotimes nm=nqotimes m$$ and extending linearly.
It is divisible since $$sum q_im_i=nsum frac{q_i}{n}m_i$$ Now, $mathbb{Z}$ is a PID and for a module over a PID injectivity is equivalent to divisibility, so $N$ is injective, and $M$ embeds via $m rightarrow (0,m)$.
Is this correct?
abstract-algebra modules homological-algebra injective-module
2
The problem is that $Mto mathbb{Q}otimes M$ is not necessarily injective. Think of the case $M=mathbb{Z}/nmathbb{Z}$.
– Roland
Nov 18 at 14:56
add a comment |
I want to show that any $mathbb{Z}$-module $M$ can be embedded into an injective $mathbb{Z}$-module (I'm in the process of showing this can be done for more general rings, but starting with this case).
My idea is to tensor with $mathbb{Q}$, so define $N=mathbb{Q}otimes M$. This is a $mathbb{Z}$-module via $$n(qotimes m)=qotimes nm=nqotimes m$$ and extending linearly.
It is divisible since $$sum q_im_i=nsum frac{q_i}{n}m_i$$ Now, $mathbb{Z}$ is a PID and for a module over a PID injectivity is equivalent to divisibility, so $N$ is injective, and $M$ embeds via $m rightarrow (0,m)$.
Is this correct?
abstract-algebra modules homological-algebra injective-module
I want to show that any $mathbb{Z}$-module $M$ can be embedded into an injective $mathbb{Z}$-module (I'm in the process of showing this can be done for more general rings, but starting with this case).
My idea is to tensor with $mathbb{Q}$, so define $N=mathbb{Q}otimes M$. This is a $mathbb{Z}$-module via $$n(qotimes m)=qotimes nm=nqotimes m$$ and extending linearly.
It is divisible since $$sum q_im_i=nsum frac{q_i}{n}m_i$$ Now, $mathbb{Z}$ is a PID and for a module over a PID injectivity is equivalent to divisibility, so $N$ is injective, and $M$ embeds via $m rightarrow (0,m)$.
Is this correct?
abstract-algebra modules homological-algebra injective-module
abstract-algebra modules homological-algebra injective-module
asked Nov 18 at 14:50
probablystuck
27619
27619
2
The problem is that $Mto mathbb{Q}otimes M$ is not necessarily injective. Think of the case $M=mathbb{Z}/nmathbb{Z}$.
– Roland
Nov 18 at 14:56
add a comment |
2
The problem is that $Mto mathbb{Q}otimes M$ is not necessarily injective. Think of the case $M=mathbb{Z}/nmathbb{Z}$.
– Roland
Nov 18 at 14:56
2
2
The problem is that $Mto mathbb{Q}otimes M$ is not necessarily injective. Think of the case $M=mathbb{Z}/nmathbb{Z}$.
– Roland
Nov 18 at 14:56
The problem is that $Mto mathbb{Q}otimes M$ is not necessarily injective. Think of the case $M=mathbb{Z}/nmathbb{Z}$.
– Roland
Nov 18 at 14:56
add a comment |
1 Answer
1
active
oldest
votes
No, this is not correct. The result is indeed divisible, but the map is not injective in general. Consider the case of a finite cyclic group: $mathbb{Z}/nmathbb{Z} otimes mathbb{Q} = 0$.
For a proof, consider a presentation of your abelian group: $G = mathbb{Z}langle S rangle / R$, where $R subset mathbb{Z}langle S rangle$ is an abelian group (necessarily normal). Then consider the quotient of abelian groups $I = mathbb{Q}langle S rangle / R$ (where you view $R subset mathbb{Z}langle S rangle subset mathbb{Q}langle S rangle$ in the obvious way). The result is divisible, and the obvious map is injective.
It's best to work this out on example. If $G = mathbb{Z} = mathbb{Z}langle x rangle / 0$, then $I = mathbb{Q}langle x rangle / (0) = mathbb{Q}$. If $G = mathbb{Z}/nmathbb{Z} = mathbb{Z}langle x rangle / (nx)$, then $I = mathbb{Q} langle x rangle / langle nx rangle = mathbb{Q}/nmathbb{Z}$. The result is quite different from $G otimes mathbb{Q}$ (in fact $G otimes mathbb{Q}$ is a quotient of $I$: it's $I / (R otimes mathbb{Q})$).
1
Isn't ${mathbb Q}langle Srangle/R cong {mathbb Z}langle Srangle/Rotimes{mathbb Q}$? I don't see a straightforward construction like this which would e.g. yield ${mathbb Q}/{mathbb Z}$ from ${mathbb Z}/n{mathbb Z}$.
– Hanno
Nov 18 at 15:16
@Hanno No, actually $(mathbb{Z}langle S rangle / R) otimes mathbb{Q} = mathbb{Q}langle S rangle / (R otimes mathbb{Q})$. The difference is important. The presentation of $I$ isn't a presentation of $mathbb{Q}$-modules, it's really the quotient of the abelian group $mathbb{Q}langle S rangle$ by the abelian group $R$, the same one that appears in the presentation of $G$. If you apply it to $mathbb{Z}/nmathbb{Z} = mathbb{Z} langle x rangle / (nx)$ then you get $mathbb{Q} / n mathbb{Z} cong mathbb{Q}/mathbb{Z}$.
– Najib Idrissi
Nov 18 at 15:36
Ah, I thought you meant you'd take the ${mathbb Q}$-span of $R$. Thanks, the way it's written now it's very clear.
– Hanno
Nov 18 at 15:47
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%2f3003624%2fembedding-mathbbz-modules-into-injective-mathbbz-modules%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
No, this is not correct. The result is indeed divisible, but the map is not injective in general. Consider the case of a finite cyclic group: $mathbb{Z}/nmathbb{Z} otimes mathbb{Q} = 0$.
For a proof, consider a presentation of your abelian group: $G = mathbb{Z}langle S rangle / R$, where $R subset mathbb{Z}langle S rangle$ is an abelian group (necessarily normal). Then consider the quotient of abelian groups $I = mathbb{Q}langle S rangle / R$ (where you view $R subset mathbb{Z}langle S rangle subset mathbb{Q}langle S rangle$ in the obvious way). The result is divisible, and the obvious map is injective.
It's best to work this out on example. If $G = mathbb{Z} = mathbb{Z}langle x rangle / 0$, then $I = mathbb{Q}langle x rangle / (0) = mathbb{Q}$. If $G = mathbb{Z}/nmathbb{Z} = mathbb{Z}langle x rangle / (nx)$, then $I = mathbb{Q} langle x rangle / langle nx rangle = mathbb{Q}/nmathbb{Z}$. The result is quite different from $G otimes mathbb{Q}$ (in fact $G otimes mathbb{Q}$ is a quotient of $I$: it's $I / (R otimes mathbb{Q})$).
1
Isn't ${mathbb Q}langle Srangle/R cong {mathbb Z}langle Srangle/Rotimes{mathbb Q}$? I don't see a straightforward construction like this which would e.g. yield ${mathbb Q}/{mathbb Z}$ from ${mathbb Z}/n{mathbb Z}$.
– Hanno
Nov 18 at 15:16
@Hanno No, actually $(mathbb{Z}langle S rangle / R) otimes mathbb{Q} = mathbb{Q}langle S rangle / (R otimes mathbb{Q})$. The difference is important. The presentation of $I$ isn't a presentation of $mathbb{Q}$-modules, it's really the quotient of the abelian group $mathbb{Q}langle S rangle$ by the abelian group $R$, the same one that appears in the presentation of $G$. If you apply it to $mathbb{Z}/nmathbb{Z} = mathbb{Z} langle x rangle / (nx)$ then you get $mathbb{Q} / n mathbb{Z} cong mathbb{Q}/mathbb{Z}$.
– Najib Idrissi
Nov 18 at 15:36
Ah, I thought you meant you'd take the ${mathbb Q}$-span of $R$. Thanks, the way it's written now it's very clear.
– Hanno
Nov 18 at 15:47
add a comment |
No, this is not correct. The result is indeed divisible, but the map is not injective in general. Consider the case of a finite cyclic group: $mathbb{Z}/nmathbb{Z} otimes mathbb{Q} = 0$.
For a proof, consider a presentation of your abelian group: $G = mathbb{Z}langle S rangle / R$, where $R subset mathbb{Z}langle S rangle$ is an abelian group (necessarily normal). Then consider the quotient of abelian groups $I = mathbb{Q}langle S rangle / R$ (where you view $R subset mathbb{Z}langle S rangle subset mathbb{Q}langle S rangle$ in the obvious way). The result is divisible, and the obvious map is injective.
It's best to work this out on example. If $G = mathbb{Z} = mathbb{Z}langle x rangle / 0$, then $I = mathbb{Q}langle x rangle / (0) = mathbb{Q}$. If $G = mathbb{Z}/nmathbb{Z} = mathbb{Z}langle x rangle / (nx)$, then $I = mathbb{Q} langle x rangle / langle nx rangle = mathbb{Q}/nmathbb{Z}$. The result is quite different from $G otimes mathbb{Q}$ (in fact $G otimes mathbb{Q}$ is a quotient of $I$: it's $I / (R otimes mathbb{Q})$).
1
Isn't ${mathbb Q}langle Srangle/R cong {mathbb Z}langle Srangle/Rotimes{mathbb Q}$? I don't see a straightforward construction like this which would e.g. yield ${mathbb Q}/{mathbb Z}$ from ${mathbb Z}/n{mathbb Z}$.
– Hanno
Nov 18 at 15:16
@Hanno No, actually $(mathbb{Z}langle S rangle / R) otimes mathbb{Q} = mathbb{Q}langle S rangle / (R otimes mathbb{Q})$. The difference is important. The presentation of $I$ isn't a presentation of $mathbb{Q}$-modules, it's really the quotient of the abelian group $mathbb{Q}langle S rangle$ by the abelian group $R$, the same one that appears in the presentation of $G$. If you apply it to $mathbb{Z}/nmathbb{Z} = mathbb{Z} langle x rangle / (nx)$ then you get $mathbb{Q} / n mathbb{Z} cong mathbb{Q}/mathbb{Z}$.
– Najib Idrissi
Nov 18 at 15:36
Ah, I thought you meant you'd take the ${mathbb Q}$-span of $R$. Thanks, the way it's written now it's very clear.
– Hanno
Nov 18 at 15:47
add a comment |
No, this is not correct. The result is indeed divisible, but the map is not injective in general. Consider the case of a finite cyclic group: $mathbb{Z}/nmathbb{Z} otimes mathbb{Q} = 0$.
For a proof, consider a presentation of your abelian group: $G = mathbb{Z}langle S rangle / R$, where $R subset mathbb{Z}langle S rangle$ is an abelian group (necessarily normal). Then consider the quotient of abelian groups $I = mathbb{Q}langle S rangle / R$ (where you view $R subset mathbb{Z}langle S rangle subset mathbb{Q}langle S rangle$ in the obvious way). The result is divisible, and the obvious map is injective.
It's best to work this out on example. If $G = mathbb{Z} = mathbb{Z}langle x rangle / 0$, then $I = mathbb{Q}langle x rangle / (0) = mathbb{Q}$. If $G = mathbb{Z}/nmathbb{Z} = mathbb{Z}langle x rangle / (nx)$, then $I = mathbb{Q} langle x rangle / langle nx rangle = mathbb{Q}/nmathbb{Z}$. The result is quite different from $G otimes mathbb{Q}$ (in fact $G otimes mathbb{Q}$ is a quotient of $I$: it's $I / (R otimes mathbb{Q})$).
No, this is not correct. The result is indeed divisible, but the map is not injective in general. Consider the case of a finite cyclic group: $mathbb{Z}/nmathbb{Z} otimes mathbb{Q} = 0$.
For a proof, consider a presentation of your abelian group: $G = mathbb{Z}langle S rangle / R$, where $R subset mathbb{Z}langle S rangle$ is an abelian group (necessarily normal). Then consider the quotient of abelian groups $I = mathbb{Q}langle S rangle / R$ (where you view $R subset mathbb{Z}langle S rangle subset mathbb{Q}langle S rangle$ in the obvious way). The result is divisible, and the obvious map is injective.
It's best to work this out on example. If $G = mathbb{Z} = mathbb{Z}langle x rangle / 0$, then $I = mathbb{Q}langle x rangle / (0) = mathbb{Q}$. If $G = mathbb{Z}/nmathbb{Z} = mathbb{Z}langle x rangle / (nx)$, then $I = mathbb{Q} langle x rangle / langle nx rangle = mathbb{Q}/nmathbb{Z}$. The result is quite different from $G otimes mathbb{Q}$ (in fact $G otimes mathbb{Q}$ is a quotient of $I$: it's $I / (R otimes mathbb{Q})$).
edited Nov 18 at 15:39
answered Nov 18 at 15:12
Najib Idrissi
40.9k470138
40.9k470138
1
Isn't ${mathbb Q}langle Srangle/R cong {mathbb Z}langle Srangle/Rotimes{mathbb Q}$? I don't see a straightforward construction like this which would e.g. yield ${mathbb Q}/{mathbb Z}$ from ${mathbb Z}/n{mathbb Z}$.
– Hanno
Nov 18 at 15:16
@Hanno No, actually $(mathbb{Z}langle S rangle / R) otimes mathbb{Q} = mathbb{Q}langle S rangle / (R otimes mathbb{Q})$. The difference is important. The presentation of $I$ isn't a presentation of $mathbb{Q}$-modules, it's really the quotient of the abelian group $mathbb{Q}langle S rangle$ by the abelian group $R$, the same one that appears in the presentation of $G$. If you apply it to $mathbb{Z}/nmathbb{Z} = mathbb{Z} langle x rangle / (nx)$ then you get $mathbb{Q} / n mathbb{Z} cong mathbb{Q}/mathbb{Z}$.
– Najib Idrissi
Nov 18 at 15:36
Ah, I thought you meant you'd take the ${mathbb Q}$-span of $R$. Thanks, the way it's written now it's very clear.
– Hanno
Nov 18 at 15:47
add a comment |
1
Isn't ${mathbb Q}langle Srangle/R cong {mathbb Z}langle Srangle/Rotimes{mathbb Q}$? I don't see a straightforward construction like this which would e.g. yield ${mathbb Q}/{mathbb Z}$ from ${mathbb Z}/n{mathbb Z}$.
– Hanno
Nov 18 at 15:16
@Hanno No, actually $(mathbb{Z}langle S rangle / R) otimes mathbb{Q} = mathbb{Q}langle S rangle / (R otimes mathbb{Q})$. The difference is important. The presentation of $I$ isn't a presentation of $mathbb{Q}$-modules, it's really the quotient of the abelian group $mathbb{Q}langle S rangle$ by the abelian group $R$, the same one that appears in the presentation of $G$. If you apply it to $mathbb{Z}/nmathbb{Z} = mathbb{Z} langle x rangle / (nx)$ then you get $mathbb{Q} / n mathbb{Z} cong mathbb{Q}/mathbb{Z}$.
– Najib Idrissi
Nov 18 at 15:36
Ah, I thought you meant you'd take the ${mathbb Q}$-span of $R$. Thanks, the way it's written now it's very clear.
– Hanno
Nov 18 at 15:47
1
1
Isn't ${mathbb Q}langle Srangle/R cong {mathbb Z}langle Srangle/Rotimes{mathbb Q}$? I don't see a straightforward construction like this which would e.g. yield ${mathbb Q}/{mathbb Z}$ from ${mathbb Z}/n{mathbb Z}$.
– Hanno
Nov 18 at 15:16
Isn't ${mathbb Q}langle Srangle/R cong {mathbb Z}langle Srangle/Rotimes{mathbb Q}$? I don't see a straightforward construction like this which would e.g. yield ${mathbb Q}/{mathbb Z}$ from ${mathbb Z}/n{mathbb Z}$.
– Hanno
Nov 18 at 15:16
@Hanno No, actually $(mathbb{Z}langle S rangle / R) otimes mathbb{Q} = mathbb{Q}langle S rangle / (R otimes mathbb{Q})$. The difference is important. The presentation of $I$ isn't a presentation of $mathbb{Q}$-modules, it's really the quotient of the abelian group $mathbb{Q}langle S rangle$ by the abelian group $R$, the same one that appears in the presentation of $G$. If you apply it to $mathbb{Z}/nmathbb{Z} = mathbb{Z} langle x rangle / (nx)$ then you get $mathbb{Q} / n mathbb{Z} cong mathbb{Q}/mathbb{Z}$.
– Najib Idrissi
Nov 18 at 15:36
@Hanno No, actually $(mathbb{Z}langle S rangle / R) otimes mathbb{Q} = mathbb{Q}langle S rangle / (R otimes mathbb{Q})$. The difference is important. The presentation of $I$ isn't a presentation of $mathbb{Q}$-modules, it's really the quotient of the abelian group $mathbb{Q}langle S rangle$ by the abelian group $R$, the same one that appears in the presentation of $G$. If you apply it to $mathbb{Z}/nmathbb{Z} = mathbb{Z} langle x rangle / (nx)$ then you get $mathbb{Q} / n mathbb{Z} cong mathbb{Q}/mathbb{Z}$.
– Najib Idrissi
Nov 18 at 15:36
Ah, I thought you meant you'd take the ${mathbb Q}$-span of $R$. Thanks, the way it's written now it's very clear.
– Hanno
Nov 18 at 15:47
Ah, I thought you meant you'd take the ${mathbb Q}$-span of $R$. Thanks, the way it's written now it's very clear.
– Hanno
Nov 18 at 15:47
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%2f3003624%2fembedding-mathbbz-modules-into-injective-mathbbz-modules%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
The problem is that $Mto mathbb{Q}otimes M$ is not necessarily injective. Think of the case $M=mathbb{Z}/nmathbb{Z}$.
– Roland
Nov 18 at 14:56