Show that $f(x,y,z)=x^2-y^2z$ is irreducible in $mathbb{C}[x,y,z]$.
Let $pinmathbb{C}[x,y,z]$ be defined by $p(x,y,z)=x^2-y^2z$.
Goal: Prove that $p$ is irreducible.
Let $Isubsetmathbb{C}[x,y,z]$ be the ideal defined by
$$I:=(p).$$
My approach is to show that
$$mathbb{C}[x,y,z]/I,$$
is an integral domain and, hence, $I$ prime ideal or equivalently here, $p$ is irreducible.
Let us consider a ring homomorphism
$$varphi:mathbb{C}[x,y,z]tomathbb{C}[t_1,t_2]$$
$$begin{cases}xmapsto t_1^2t_2 \
ymapsto t_1^2 \
z mapsto t_2^2.
end{cases}$$
Notice that, since $varphi$ is a ring homomorphism,
$$varphi(p)=varphi(x^2-y^2z)=varphi(x^2)-varphi(y^2)varphi(z)=t_1^4t_2^2-t_1^4t_2^2=0.$$
Here is a claim, which I think is true (it atleast feels like it), but I don't know how to prove it. My argument relies on this:
Claim: Any polynomial $finmathbb{C}[x,y,z]$ can be written as
$$f(x,y,z)=f_0(y,z)+xf_1(y,z)+(x^2-y^2z)g(x,y,z).$$
I read on another link that, for any $f(x,y)in mathbb{C}[x,y]$, we can write
$$f(x,y)=f_0(x)+yf_1(x)+(x^3-y^2)g(x,y).$$
My approach is inspired by the above identity.
$$text{ }$$
It feels like my claim should be true, since $f_0(y,z)$ takes care of all expressions of the form $sum_{k=0}^msum_{j=0}^nx^0y^jz^k$ and $xf_1(y,z)$ takes care of everything of the form $sum_{k=0}^msum_{j=0}^nx^1y^jz^k$.
Lastly, we have $x^2g(x,y,z)$ which feels like it should take care of any polynomial
$$sum_{k=0}^msum_{j=0}^nsum_{l=2}^o x^ly^jz^kquad (o text{ was quite ugly to use in the summation, but anyway)},$$
so I don't really understand what's so special with the
$$-y^2zg(x,y,z)-text{part},$$
it feels like it doesn't really contribute, or restrict, the polynomial $f$ in any way. So it feels like you could do a similar construction for any polynomial. But probably not.
$text{ }$
My questions now is:
- Is my claim true?
- If it is, could you please tell me why?
Continuing on the actual problem:
Thus, applying $varphi$ on $finkervarphi$ gives us
$$varphi(f)=varphi(f_0)+varphi(x)varphi(f_1)+varphi(x^2-y^2z)varphi(g)$$
$$=f_0(t_1^2,t_2^2)+t_1^2t_2f_1(t_1^2,t_2^2)=0$$
$$Rightarrow f_0=f_1=0,$$
Where the last implication holds since $f_0(t_1^2,t_2^2)$ is of even degree while $t_1^2t_2f_1(t_1^2,t_2^2)$ is of odd degree. Hence the only case the sum can be $0$ is if $f_0$ and $f_1$ are identically $0$.
This shows us that $kervarphi=I$. By the first isomorphism theorem, we have
$$mathbb{C}[x,y,z]/Icong operatorname{im}(varphi).$$
But this shows us that $mathbb{C}[x,y,z]/I$ is a subring of the integral domain $mathbb{C}[t_1,t_2]$. Hence $I$ is a prime ideal, so $p$ is irreducible, which is what we wanted to prove.
Questions:
- Does my approach work? In particular, is my claim true and if so, why?
- If this approach does not work, could you please help me with a better approach and solution?
Thanks for your time!
algebraic-geometry irreducible-polynomials algebraic-curves integral-domain several-complex-variables
add a comment |
Let $pinmathbb{C}[x,y,z]$ be defined by $p(x,y,z)=x^2-y^2z$.
Goal: Prove that $p$ is irreducible.
Let $Isubsetmathbb{C}[x,y,z]$ be the ideal defined by
$$I:=(p).$$
My approach is to show that
$$mathbb{C}[x,y,z]/I,$$
is an integral domain and, hence, $I$ prime ideal or equivalently here, $p$ is irreducible.
Let us consider a ring homomorphism
$$varphi:mathbb{C}[x,y,z]tomathbb{C}[t_1,t_2]$$
$$begin{cases}xmapsto t_1^2t_2 \
ymapsto t_1^2 \
z mapsto t_2^2.
end{cases}$$
Notice that, since $varphi$ is a ring homomorphism,
$$varphi(p)=varphi(x^2-y^2z)=varphi(x^2)-varphi(y^2)varphi(z)=t_1^4t_2^2-t_1^4t_2^2=0.$$
Here is a claim, which I think is true (it atleast feels like it), but I don't know how to prove it. My argument relies on this:
Claim: Any polynomial $finmathbb{C}[x,y,z]$ can be written as
$$f(x,y,z)=f_0(y,z)+xf_1(y,z)+(x^2-y^2z)g(x,y,z).$$
I read on another link that, for any $f(x,y)in mathbb{C}[x,y]$, we can write
$$f(x,y)=f_0(x)+yf_1(x)+(x^3-y^2)g(x,y).$$
My approach is inspired by the above identity.
$$text{ }$$
It feels like my claim should be true, since $f_0(y,z)$ takes care of all expressions of the form $sum_{k=0}^msum_{j=0}^nx^0y^jz^k$ and $xf_1(y,z)$ takes care of everything of the form $sum_{k=0}^msum_{j=0}^nx^1y^jz^k$.
Lastly, we have $x^2g(x,y,z)$ which feels like it should take care of any polynomial
$$sum_{k=0}^msum_{j=0}^nsum_{l=2}^o x^ly^jz^kquad (o text{ was quite ugly to use in the summation, but anyway)},$$
so I don't really understand what's so special with the
$$-y^2zg(x,y,z)-text{part},$$
it feels like it doesn't really contribute, or restrict, the polynomial $f$ in any way. So it feels like you could do a similar construction for any polynomial. But probably not.
$text{ }$
My questions now is:
- Is my claim true?
- If it is, could you please tell me why?
Continuing on the actual problem:
Thus, applying $varphi$ on $finkervarphi$ gives us
$$varphi(f)=varphi(f_0)+varphi(x)varphi(f_1)+varphi(x^2-y^2z)varphi(g)$$
$$=f_0(t_1^2,t_2^2)+t_1^2t_2f_1(t_1^2,t_2^2)=0$$
$$Rightarrow f_0=f_1=0,$$
Where the last implication holds since $f_0(t_1^2,t_2^2)$ is of even degree while $t_1^2t_2f_1(t_1^2,t_2^2)$ is of odd degree. Hence the only case the sum can be $0$ is if $f_0$ and $f_1$ are identically $0$.
This shows us that $kervarphi=I$. By the first isomorphism theorem, we have
$$mathbb{C}[x,y,z]/Icong operatorname{im}(varphi).$$
But this shows us that $mathbb{C}[x,y,z]/I$ is a subring of the integral domain $mathbb{C}[t_1,t_2]$. Hence $I$ is a prime ideal, so $p$ is irreducible, which is what we wanted to prove.
Questions:
- Does my approach work? In particular, is my claim true and if so, why?
- If this approach does not work, could you please help me with a better approach and solution?
Thanks for your time!
algebraic-geometry irreducible-polynomials algebraic-curves integral-domain several-complex-variables
add a comment |
Let $pinmathbb{C}[x,y,z]$ be defined by $p(x,y,z)=x^2-y^2z$.
Goal: Prove that $p$ is irreducible.
Let $Isubsetmathbb{C}[x,y,z]$ be the ideal defined by
$$I:=(p).$$
My approach is to show that
$$mathbb{C}[x,y,z]/I,$$
is an integral domain and, hence, $I$ prime ideal or equivalently here, $p$ is irreducible.
Let us consider a ring homomorphism
$$varphi:mathbb{C}[x,y,z]tomathbb{C}[t_1,t_2]$$
$$begin{cases}xmapsto t_1^2t_2 \
ymapsto t_1^2 \
z mapsto t_2^2.
end{cases}$$
Notice that, since $varphi$ is a ring homomorphism,
$$varphi(p)=varphi(x^2-y^2z)=varphi(x^2)-varphi(y^2)varphi(z)=t_1^4t_2^2-t_1^4t_2^2=0.$$
Here is a claim, which I think is true (it atleast feels like it), but I don't know how to prove it. My argument relies on this:
Claim: Any polynomial $finmathbb{C}[x,y,z]$ can be written as
$$f(x,y,z)=f_0(y,z)+xf_1(y,z)+(x^2-y^2z)g(x,y,z).$$
I read on another link that, for any $f(x,y)in mathbb{C}[x,y]$, we can write
$$f(x,y)=f_0(x)+yf_1(x)+(x^3-y^2)g(x,y).$$
My approach is inspired by the above identity.
$$text{ }$$
It feels like my claim should be true, since $f_0(y,z)$ takes care of all expressions of the form $sum_{k=0}^msum_{j=0}^nx^0y^jz^k$ and $xf_1(y,z)$ takes care of everything of the form $sum_{k=0}^msum_{j=0}^nx^1y^jz^k$.
Lastly, we have $x^2g(x,y,z)$ which feels like it should take care of any polynomial
$$sum_{k=0}^msum_{j=0}^nsum_{l=2}^o x^ly^jz^kquad (o text{ was quite ugly to use in the summation, but anyway)},$$
so I don't really understand what's so special with the
$$-y^2zg(x,y,z)-text{part},$$
it feels like it doesn't really contribute, or restrict, the polynomial $f$ in any way. So it feels like you could do a similar construction for any polynomial. But probably not.
$text{ }$
My questions now is:
- Is my claim true?
- If it is, could you please tell me why?
Continuing on the actual problem:
Thus, applying $varphi$ on $finkervarphi$ gives us
$$varphi(f)=varphi(f_0)+varphi(x)varphi(f_1)+varphi(x^2-y^2z)varphi(g)$$
$$=f_0(t_1^2,t_2^2)+t_1^2t_2f_1(t_1^2,t_2^2)=0$$
$$Rightarrow f_0=f_1=0,$$
Where the last implication holds since $f_0(t_1^2,t_2^2)$ is of even degree while $t_1^2t_2f_1(t_1^2,t_2^2)$ is of odd degree. Hence the only case the sum can be $0$ is if $f_0$ and $f_1$ are identically $0$.
This shows us that $kervarphi=I$. By the first isomorphism theorem, we have
$$mathbb{C}[x,y,z]/Icong operatorname{im}(varphi).$$
But this shows us that $mathbb{C}[x,y,z]/I$ is a subring of the integral domain $mathbb{C}[t_1,t_2]$. Hence $I$ is a prime ideal, so $p$ is irreducible, which is what we wanted to prove.
Questions:
- Does my approach work? In particular, is my claim true and if so, why?
- If this approach does not work, could you please help me with a better approach and solution?
Thanks for your time!
algebraic-geometry irreducible-polynomials algebraic-curves integral-domain several-complex-variables
Let $pinmathbb{C}[x,y,z]$ be defined by $p(x,y,z)=x^2-y^2z$.
Goal: Prove that $p$ is irreducible.
Let $Isubsetmathbb{C}[x,y,z]$ be the ideal defined by
$$I:=(p).$$
My approach is to show that
$$mathbb{C}[x,y,z]/I,$$
is an integral domain and, hence, $I$ prime ideal or equivalently here, $p$ is irreducible.
Let us consider a ring homomorphism
$$varphi:mathbb{C}[x,y,z]tomathbb{C}[t_1,t_2]$$
$$begin{cases}xmapsto t_1^2t_2 \
ymapsto t_1^2 \
z mapsto t_2^2.
end{cases}$$
Notice that, since $varphi$ is a ring homomorphism,
$$varphi(p)=varphi(x^2-y^2z)=varphi(x^2)-varphi(y^2)varphi(z)=t_1^4t_2^2-t_1^4t_2^2=0.$$
Here is a claim, which I think is true (it atleast feels like it), but I don't know how to prove it. My argument relies on this:
Claim: Any polynomial $finmathbb{C}[x,y,z]$ can be written as
$$f(x,y,z)=f_0(y,z)+xf_1(y,z)+(x^2-y^2z)g(x,y,z).$$
I read on another link that, for any $f(x,y)in mathbb{C}[x,y]$, we can write
$$f(x,y)=f_0(x)+yf_1(x)+(x^3-y^2)g(x,y).$$
My approach is inspired by the above identity.
$$text{ }$$
It feels like my claim should be true, since $f_0(y,z)$ takes care of all expressions of the form $sum_{k=0}^msum_{j=0}^nx^0y^jz^k$ and $xf_1(y,z)$ takes care of everything of the form $sum_{k=0}^msum_{j=0}^nx^1y^jz^k$.
Lastly, we have $x^2g(x,y,z)$ which feels like it should take care of any polynomial
$$sum_{k=0}^msum_{j=0}^nsum_{l=2}^o x^ly^jz^kquad (o text{ was quite ugly to use in the summation, but anyway)},$$
so I don't really understand what's so special with the
$$-y^2zg(x,y,z)-text{part},$$
it feels like it doesn't really contribute, or restrict, the polynomial $f$ in any way. So it feels like you could do a similar construction for any polynomial. But probably not.
$text{ }$
My questions now is:
- Is my claim true?
- If it is, could you please tell me why?
Continuing on the actual problem:
Thus, applying $varphi$ on $finkervarphi$ gives us
$$varphi(f)=varphi(f_0)+varphi(x)varphi(f_1)+varphi(x^2-y^2z)varphi(g)$$
$$=f_0(t_1^2,t_2^2)+t_1^2t_2f_1(t_1^2,t_2^2)=0$$
$$Rightarrow f_0=f_1=0,$$
Where the last implication holds since $f_0(t_1^2,t_2^2)$ is of even degree while $t_1^2t_2f_1(t_1^2,t_2^2)$ is of odd degree. Hence the only case the sum can be $0$ is if $f_0$ and $f_1$ are identically $0$.
This shows us that $kervarphi=I$. By the first isomorphism theorem, we have
$$mathbb{C}[x,y,z]/Icong operatorname{im}(varphi).$$
But this shows us that $mathbb{C}[x,y,z]/I$ is a subring of the integral domain $mathbb{C}[t_1,t_2]$. Hence $I$ is a prime ideal, so $p$ is irreducible, which is what we wanted to prove.
Questions:
- Does my approach work? In particular, is my claim true and if so, why?
- If this approach does not work, could you please help me with a better approach and solution?
Thanks for your time!
algebraic-geometry irreducible-polynomials algebraic-curves integral-domain several-complex-variables
algebraic-geometry irreducible-polynomials algebraic-curves integral-domain several-complex-variables
edited Dec 6 at 21:11
asked Dec 6 at 16:52
Joe
3514
3514
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
Yes, your claim is true, for a very simple reason; considering $f(x,yz)$ as a polynomial in the integral domain $mathbf C[y,z][x]$, you always can perform in this ring a Euclidean division by a monic (in $x$) polynomial. The remainder has degree $le 1$ for a quadratic monic polynomial.
However, this polynomial is irreducible for a shorter reason: Eisenstein criterion. Indeed $mathbf C[y,z]$ is a U.F.D. and the irreducible element $z$ divides all coefficients except the lead coefficient (of $x^2),,$ and $z^2$ does not divide the "constant" coefficient $y^2z$ (of $x^0)$
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%2f3028756%2fshow-that-fx-y-z-x2-y2z-is-irreducible-in-mathbbcx-y-z%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
Yes, your claim is true, for a very simple reason; considering $f(x,yz)$ as a polynomial in the integral domain $mathbf C[y,z][x]$, you always can perform in this ring a Euclidean division by a monic (in $x$) polynomial. The remainder has degree $le 1$ for a quadratic monic polynomial.
However, this polynomial is irreducible for a shorter reason: Eisenstein criterion. Indeed $mathbf C[y,z]$ is a U.F.D. and the irreducible element $z$ divides all coefficients except the lead coefficient (of $x^2),,$ and $z^2$ does not divide the "constant" coefficient $y^2z$ (of $x^0)$
add a comment |
Yes, your claim is true, for a very simple reason; considering $f(x,yz)$ as a polynomial in the integral domain $mathbf C[y,z][x]$, you always can perform in this ring a Euclidean division by a monic (in $x$) polynomial. The remainder has degree $le 1$ for a quadratic monic polynomial.
However, this polynomial is irreducible for a shorter reason: Eisenstein criterion. Indeed $mathbf C[y,z]$ is a U.F.D. and the irreducible element $z$ divides all coefficients except the lead coefficient (of $x^2),,$ and $z^2$ does not divide the "constant" coefficient $y^2z$ (of $x^0)$
add a comment |
Yes, your claim is true, for a very simple reason; considering $f(x,yz)$ as a polynomial in the integral domain $mathbf C[y,z][x]$, you always can perform in this ring a Euclidean division by a monic (in $x$) polynomial. The remainder has degree $le 1$ for a quadratic monic polynomial.
However, this polynomial is irreducible for a shorter reason: Eisenstein criterion. Indeed $mathbf C[y,z]$ is a U.F.D. and the irreducible element $z$ divides all coefficients except the lead coefficient (of $x^2),,$ and $z^2$ does not divide the "constant" coefficient $y^2z$ (of $x^0)$
Yes, your claim is true, for a very simple reason; considering $f(x,yz)$ as a polynomial in the integral domain $mathbf C[y,z][x]$, you always can perform in this ring a Euclidean division by a monic (in $x$) polynomial. The remainder has degree $le 1$ for a quadratic monic polynomial.
However, this polynomial is irreducible for a shorter reason: Eisenstein criterion. Indeed $mathbf C[y,z]$ is a U.F.D. and the irreducible element $z$ divides all coefficients except the lead coefficient (of $x^2),,$ and $z^2$ does not divide the "constant" coefficient $y^2z$ (of $x^0)$
edited Dec 6 at 21:16
answered Dec 6 at 17:19
Bernard
117k637110
117k637110
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.
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%2f3028756%2fshow-that-fx-y-z-x2-y2z-is-irreducible-in-mathbbcx-y-z%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