Show that $mathbb{Z}[x] to mathbb{Z}[x]/(2) times mathbb{Z}[x]/(x)$ is not surjective.
$begingroup$
In Aluffi's book it says that $mathbb{Z}[x] to mathbb{Z}[x]/(2) times mathbb{Z}[x]/(x)$ is not surjective. To prove that I need to know how that means at all! Why it is not surjective if for any polynomial $q(x)$ we can write $(q(x)+2n_1, q(x)+n_2x)$?
abstract-algebra
$endgroup$
add a comment |
$begingroup$
In Aluffi's book it says that $mathbb{Z}[x] to mathbb{Z}[x]/(2) times mathbb{Z}[x]/(x)$ is not surjective. To prove that I need to know how that means at all! Why it is not surjective if for any polynomial $q(x)$ we can write $(q(x)+2n_1, q(x)+n_2x)$?
abstract-algebra
$endgroup$
$begingroup$
How is the map defined?
$endgroup$
– Servaes
Dec 3 '18 at 7:47
1
$begingroup$
@Servaes, natural projection. It's an example to a theorem for $phi$ a natural projection.
$endgroup$
– 72D
Dec 3 '18 at 7:48
add a comment |
$begingroup$
In Aluffi's book it says that $mathbb{Z}[x] to mathbb{Z}[x]/(2) times mathbb{Z}[x]/(x)$ is not surjective. To prove that I need to know how that means at all! Why it is not surjective if for any polynomial $q(x)$ we can write $(q(x)+2n_1, q(x)+n_2x)$?
abstract-algebra
$endgroup$
In Aluffi's book it says that $mathbb{Z}[x] to mathbb{Z}[x]/(2) times mathbb{Z}[x]/(x)$ is not surjective. To prove that I need to know how that means at all! Why it is not surjective if for any polynomial $q(x)$ we can write $(q(x)+2n_1, q(x)+n_2x)$?
abstract-algebra
abstract-algebra
asked Dec 3 '18 at 7:44
72D72D
512116
512116
$begingroup$
How is the map defined?
$endgroup$
– Servaes
Dec 3 '18 at 7:47
1
$begingroup$
@Servaes, natural projection. It's an example to a theorem for $phi$ a natural projection.
$endgroup$
– 72D
Dec 3 '18 at 7:48
add a comment |
$begingroup$
How is the map defined?
$endgroup$
– Servaes
Dec 3 '18 at 7:47
1
$begingroup$
@Servaes, natural projection. It's an example to a theorem for $phi$ a natural projection.
$endgroup$
– 72D
Dec 3 '18 at 7:48
$begingroup$
How is the map defined?
$endgroup$
– Servaes
Dec 3 '18 at 7:47
$begingroup$
How is the map defined?
$endgroup$
– Servaes
Dec 3 '18 at 7:47
1
1
$begingroup$
@Servaes, natural projection. It's an example to a theorem for $phi$ a natural projection.
$endgroup$
– 72D
Dec 3 '18 at 7:48
$begingroup$
@Servaes, natural projection. It's an example to a theorem for $phi$ a natural projection.
$endgroup$
– 72D
Dec 3 '18 at 7:48
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
The product on the right hand side is generated by $(1,0)$ and $(0,1)$. So the map is surjective if and only if these are in the image of the map, i.e. if there exist polynomials $f,ginBbb{Z}[x]$ such that
$$f longmapsto (1,0)qquadtext{ and }qquad g longmapsto (0,1).$$
Show that this is impossible.
$endgroup$
$begingroup$
How are the typical/general elements of $mathbb{Z}[x]/(2)$ and $mathbb{Z}[x]/(x)$?
$endgroup$
– 72D
Dec 3 '18 at 7:50
1
$begingroup$
They are polynomials with integer coefficients mod $2$, and simply integers.
$endgroup$
– Servaes
Dec 3 '18 at 7:51
$begingroup$
I could understand now their meanings but still don't understand the meaning for surjection esp because the rhs is 'double'-element. To try to show that (first) it is surjective (then fail), so we try to find a polynomial such that simultaneously (??) is an integer and a polynomial with integer coefficients mod 2? But it is not intersection it is product.
$endgroup$
– 72D
Dec 3 '18 at 7:59
$begingroup$
I've expanded my hint into a sketch of an answer.
$endgroup$
– Servaes
Dec 3 '18 at 8:05
1
$begingroup$
"Which elements of Z[x] map to (1,0)" : so is this a counterexample? : for any polynomial q(x) in Z[x], 2q(x)+1 is the only element of Z[x] such that it is 1 in Z[x]/(2) but 2q(x)+1 is never 0 in Z[x]/(x); am I right?
$endgroup$
– 72D
Dec 3 '18 at 8:05
|
show 3 more comments
$begingroup$
Hint $ R to R/I times R/J $ surjective $Rightarrow I + J = 1$
since $,rto (1,0),Rightarrow, 1 = (1!-!r) + rin I + J$
$endgroup$
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%2f3023749%2fshow-that-mathbbzx-to-mathbbzx-2-times-mathbbzx-x-is-not%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
$begingroup$
The product on the right hand side is generated by $(1,0)$ and $(0,1)$. So the map is surjective if and only if these are in the image of the map, i.e. if there exist polynomials $f,ginBbb{Z}[x]$ such that
$$f longmapsto (1,0)qquadtext{ and }qquad g longmapsto (0,1).$$
Show that this is impossible.
$endgroup$
$begingroup$
How are the typical/general elements of $mathbb{Z}[x]/(2)$ and $mathbb{Z}[x]/(x)$?
$endgroup$
– 72D
Dec 3 '18 at 7:50
1
$begingroup$
They are polynomials with integer coefficients mod $2$, and simply integers.
$endgroup$
– Servaes
Dec 3 '18 at 7:51
$begingroup$
I could understand now their meanings but still don't understand the meaning for surjection esp because the rhs is 'double'-element. To try to show that (first) it is surjective (then fail), so we try to find a polynomial such that simultaneously (??) is an integer and a polynomial with integer coefficients mod 2? But it is not intersection it is product.
$endgroup$
– 72D
Dec 3 '18 at 7:59
$begingroup$
I've expanded my hint into a sketch of an answer.
$endgroup$
– Servaes
Dec 3 '18 at 8:05
1
$begingroup$
"Which elements of Z[x] map to (1,0)" : so is this a counterexample? : for any polynomial q(x) in Z[x], 2q(x)+1 is the only element of Z[x] such that it is 1 in Z[x]/(2) but 2q(x)+1 is never 0 in Z[x]/(x); am I right?
$endgroup$
– 72D
Dec 3 '18 at 8:05
|
show 3 more comments
$begingroup$
The product on the right hand side is generated by $(1,0)$ and $(0,1)$. So the map is surjective if and only if these are in the image of the map, i.e. if there exist polynomials $f,ginBbb{Z}[x]$ such that
$$f longmapsto (1,0)qquadtext{ and }qquad g longmapsto (0,1).$$
Show that this is impossible.
$endgroup$
$begingroup$
How are the typical/general elements of $mathbb{Z}[x]/(2)$ and $mathbb{Z}[x]/(x)$?
$endgroup$
– 72D
Dec 3 '18 at 7:50
1
$begingroup$
They are polynomials with integer coefficients mod $2$, and simply integers.
$endgroup$
– Servaes
Dec 3 '18 at 7:51
$begingroup$
I could understand now their meanings but still don't understand the meaning for surjection esp because the rhs is 'double'-element. To try to show that (first) it is surjective (then fail), so we try to find a polynomial such that simultaneously (??) is an integer and a polynomial with integer coefficients mod 2? But it is not intersection it is product.
$endgroup$
– 72D
Dec 3 '18 at 7:59
$begingroup$
I've expanded my hint into a sketch of an answer.
$endgroup$
– Servaes
Dec 3 '18 at 8:05
1
$begingroup$
"Which elements of Z[x] map to (1,0)" : so is this a counterexample? : for any polynomial q(x) in Z[x], 2q(x)+1 is the only element of Z[x] such that it is 1 in Z[x]/(2) but 2q(x)+1 is never 0 in Z[x]/(x); am I right?
$endgroup$
– 72D
Dec 3 '18 at 8:05
|
show 3 more comments
$begingroup$
The product on the right hand side is generated by $(1,0)$ and $(0,1)$. So the map is surjective if and only if these are in the image of the map, i.e. if there exist polynomials $f,ginBbb{Z}[x]$ such that
$$f longmapsto (1,0)qquadtext{ and }qquad g longmapsto (0,1).$$
Show that this is impossible.
$endgroup$
The product on the right hand side is generated by $(1,0)$ and $(0,1)$. So the map is surjective if and only if these are in the image of the map, i.e. if there exist polynomials $f,ginBbb{Z}[x]$ such that
$$f longmapsto (1,0)qquadtext{ and }qquad g longmapsto (0,1).$$
Show that this is impossible.
edited Dec 3 '18 at 8:05
answered Dec 3 '18 at 7:48
ServaesServaes
23.4k33893
23.4k33893
$begingroup$
How are the typical/general elements of $mathbb{Z}[x]/(2)$ and $mathbb{Z}[x]/(x)$?
$endgroup$
– 72D
Dec 3 '18 at 7:50
1
$begingroup$
They are polynomials with integer coefficients mod $2$, and simply integers.
$endgroup$
– Servaes
Dec 3 '18 at 7:51
$begingroup$
I could understand now their meanings but still don't understand the meaning for surjection esp because the rhs is 'double'-element. To try to show that (first) it is surjective (then fail), so we try to find a polynomial such that simultaneously (??) is an integer and a polynomial with integer coefficients mod 2? But it is not intersection it is product.
$endgroup$
– 72D
Dec 3 '18 at 7:59
$begingroup$
I've expanded my hint into a sketch of an answer.
$endgroup$
– Servaes
Dec 3 '18 at 8:05
1
$begingroup$
"Which elements of Z[x] map to (1,0)" : so is this a counterexample? : for any polynomial q(x) in Z[x], 2q(x)+1 is the only element of Z[x] such that it is 1 in Z[x]/(2) but 2q(x)+1 is never 0 in Z[x]/(x); am I right?
$endgroup$
– 72D
Dec 3 '18 at 8:05
|
show 3 more comments
$begingroup$
How are the typical/general elements of $mathbb{Z}[x]/(2)$ and $mathbb{Z}[x]/(x)$?
$endgroup$
– 72D
Dec 3 '18 at 7:50
1
$begingroup$
They are polynomials with integer coefficients mod $2$, and simply integers.
$endgroup$
– Servaes
Dec 3 '18 at 7:51
$begingroup$
I could understand now their meanings but still don't understand the meaning for surjection esp because the rhs is 'double'-element. To try to show that (first) it is surjective (then fail), so we try to find a polynomial such that simultaneously (??) is an integer and a polynomial with integer coefficients mod 2? But it is not intersection it is product.
$endgroup$
– 72D
Dec 3 '18 at 7:59
$begingroup$
I've expanded my hint into a sketch of an answer.
$endgroup$
– Servaes
Dec 3 '18 at 8:05
1
$begingroup$
"Which elements of Z[x] map to (1,0)" : so is this a counterexample? : for any polynomial q(x) in Z[x], 2q(x)+1 is the only element of Z[x] such that it is 1 in Z[x]/(2) but 2q(x)+1 is never 0 in Z[x]/(x); am I right?
$endgroup$
– 72D
Dec 3 '18 at 8:05
$begingroup$
How are the typical/general elements of $mathbb{Z}[x]/(2)$ and $mathbb{Z}[x]/(x)$?
$endgroup$
– 72D
Dec 3 '18 at 7:50
$begingroup$
How are the typical/general elements of $mathbb{Z}[x]/(2)$ and $mathbb{Z}[x]/(x)$?
$endgroup$
– 72D
Dec 3 '18 at 7:50
1
1
$begingroup$
They are polynomials with integer coefficients mod $2$, and simply integers.
$endgroup$
– Servaes
Dec 3 '18 at 7:51
$begingroup$
They are polynomials with integer coefficients mod $2$, and simply integers.
$endgroup$
– Servaes
Dec 3 '18 at 7:51
$begingroup$
I could understand now their meanings but still don't understand the meaning for surjection esp because the rhs is 'double'-element. To try to show that (first) it is surjective (then fail), so we try to find a polynomial such that simultaneously (??) is an integer and a polynomial with integer coefficients mod 2? But it is not intersection it is product.
$endgroup$
– 72D
Dec 3 '18 at 7:59
$begingroup$
I could understand now their meanings but still don't understand the meaning for surjection esp because the rhs is 'double'-element. To try to show that (first) it is surjective (then fail), so we try to find a polynomial such that simultaneously (??) is an integer and a polynomial with integer coefficients mod 2? But it is not intersection it is product.
$endgroup$
– 72D
Dec 3 '18 at 7:59
$begingroup$
I've expanded my hint into a sketch of an answer.
$endgroup$
– Servaes
Dec 3 '18 at 8:05
$begingroup$
I've expanded my hint into a sketch of an answer.
$endgroup$
– Servaes
Dec 3 '18 at 8:05
1
1
$begingroup$
"Which elements of Z[x] map to (1,0)" : so is this a counterexample? : for any polynomial q(x) in Z[x], 2q(x)+1 is the only element of Z[x] such that it is 1 in Z[x]/(2) but 2q(x)+1 is never 0 in Z[x]/(x); am I right?
$endgroup$
– 72D
Dec 3 '18 at 8:05
$begingroup$
"Which elements of Z[x] map to (1,0)" : so is this a counterexample? : for any polynomial q(x) in Z[x], 2q(x)+1 is the only element of Z[x] such that it is 1 in Z[x]/(2) but 2q(x)+1 is never 0 in Z[x]/(x); am I right?
$endgroup$
– 72D
Dec 3 '18 at 8:05
|
show 3 more comments
$begingroup$
Hint $ R to R/I times R/J $ surjective $Rightarrow I + J = 1$
since $,rto (1,0),Rightarrow, 1 = (1!-!r) + rin I + J$
$endgroup$
add a comment |
$begingroup$
Hint $ R to R/I times R/J $ surjective $Rightarrow I + J = 1$
since $,rto (1,0),Rightarrow, 1 = (1!-!r) + rin I + J$
$endgroup$
add a comment |
$begingroup$
Hint $ R to R/I times R/J $ surjective $Rightarrow I + J = 1$
since $,rto (1,0),Rightarrow, 1 = (1!-!r) + rin I + J$
$endgroup$
Hint $ R to R/I times R/J $ surjective $Rightarrow I + J = 1$
since $,rto (1,0),Rightarrow, 1 = (1!-!r) + rin I + J$
answered Dec 3 '18 at 23:03
Bill DubuqueBill Dubuque
210k29191639
210k29191639
add a comment |
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%2f3023749%2fshow-that-mathbbzx-to-mathbbzx-2-times-mathbbzx-x-is-not%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$
How is the map defined?
$endgroup$
– Servaes
Dec 3 '18 at 7:47
1
$begingroup$
@Servaes, natural projection. It's an example to a theorem for $phi$ a natural projection.
$endgroup$
– 72D
Dec 3 '18 at 7:48