Galois Theory and Polynomials Discriminant

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite
1












I am trying to show for some complex numbers `$l_j , 1 ≤ j ≤ 5$



$∆(x_1, x_2, x_3)=l_1σ^2_3,3 + l_2σ_3,1σ_3,2σ_3,3 + l_3σ^3_3,1σ_3,3+ l_4σ^3_3,2 + l_5σ^2_3,1σ^2_3,2$.



Second, by using the polynomial $x^
3 − 1$, want to show that $l_1 = −27$.



I know the discriminant $∆_y3+py+q = −4p^3 − 27q^
2$ and P is a symmetric polynomial if for any permutation $σ$ of the subscripts $1, 2, ldots, n$ one has $F(X_σ(1),ldots, X_σ(n)) = P(X_1,ldots, X_n)$. But I am not sure how to proceed in the above example.







share|cite|improve this question






















  • Could you illustrate how the function would better compute $l_1$ ?
    – Homaniac
    Aug 26 at 16:02










  • if $sigma_3,1 = sigma_3,2 = 0$ then $Delta = l_1 sigma_3,3^2$ so you can compute $l_1$ with knowledge of $Delta$ and $sigma_3,3^2$, both of which can be computed directly with the roots. My previous comment was mistaken, $sigma_3,1 = sigma_3,2$ in the case of $x^3-1$.
    – Rolf Hoyer
    Aug 26 at 18:17











  • Ahh could you show how the computation works, appreciate it!
    – Homaniac
    Aug 26 at 18:24














up vote
0
down vote

favorite
1












I am trying to show for some complex numbers `$l_j , 1 ≤ j ≤ 5$



$∆(x_1, x_2, x_3)=l_1σ^2_3,3 + l_2σ_3,1σ_3,2σ_3,3 + l_3σ^3_3,1σ_3,3+ l_4σ^3_3,2 + l_5σ^2_3,1σ^2_3,2$.



Second, by using the polynomial $x^
3 − 1$, want to show that $l_1 = −27$.



I know the discriminant $∆_y3+py+q = −4p^3 − 27q^
2$ and P is a symmetric polynomial if for any permutation $σ$ of the subscripts $1, 2, ldots, n$ one has $F(X_σ(1),ldots, X_σ(n)) = P(X_1,ldots, X_n)$. But I am not sure how to proceed in the above example.







share|cite|improve this question






















  • Could you illustrate how the function would better compute $l_1$ ?
    – Homaniac
    Aug 26 at 16:02










  • if $sigma_3,1 = sigma_3,2 = 0$ then $Delta = l_1 sigma_3,3^2$ so you can compute $l_1$ with knowledge of $Delta$ and $sigma_3,3^2$, both of which can be computed directly with the roots. My previous comment was mistaken, $sigma_3,1 = sigma_3,2$ in the case of $x^3-1$.
    – Rolf Hoyer
    Aug 26 at 18:17











  • Ahh could you show how the computation works, appreciate it!
    – Homaniac
    Aug 26 at 18:24












up vote
0
down vote

favorite
1









up vote
0
down vote

favorite
1






1





I am trying to show for some complex numbers `$l_j , 1 ≤ j ≤ 5$



$∆(x_1, x_2, x_3)=l_1σ^2_3,3 + l_2σ_3,1σ_3,2σ_3,3 + l_3σ^3_3,1σ_3,3+ l_4σ^3_3,2 + l_5σ^2_3,1σ^2_3,2$.



Second, by using the polynomial $x^
3 − 1$, want to show that $l_1 = −27$.



I know the discriminant $∆_y3+py+q = −4p^3 − 27q^
2$ and P is a symmetric polynomial if for any permutation $σ$ of the subscripts $1, 2, ldots, n$ one has $F(X_σ(1),ldots, X_σ(n)) = P(X_1,ldots, X_n)$. But I am not sure how to proceed in the above example.







share|cite|improve this question














I am trying to show for some complex numbers `$l_j , 1 ≤ j ≤ 5$



$∆(x_1, x_2, x_3)=l_1σ^2_3,3 + l_2σ_3,1σ_3,2σ_3,3 + l_3σ^3_3,1σ_3,3+ l_4σ^3_3,2 + l_5σ^2_3,1σ^2_3,2$.



Second, by using the polynomial $x^
3 − 1$, want to show that $l_1 = −27$.



I know the discriminant $∆_y3+py+q = −4p^3 − 27q^
2$ and P is a symmetric polynomial if for any permutation $σ$ of the subscripts $1, 2, ldots, n$ one has $F(X_σ(1),ldots, X_σ(n)) = P(X_1,ldots, X_n)$. But I am not sure how to proceed in the above example.









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 25 at 6:18









Empty

7,91042254




7,91042254










asked Aug 25 at 4:30









Homaniac

494110




494110











  • Could you illustrate how the function would better compute $l_1$ ?
    – Homaniac
    Aug 26 at 16:02










  • if $sigma_3,1 = sigma_3,2 = 0$ then $Delta = l_1 sigma_3,3^2$ so you can compute $l_1$ with knowledge of $Delta$ and $sigma_3,3^2$, both of which can be computed directly with the roots. My previous comment was mistaken, $sigma_3,1 = sigma_3,2$ in the case of $x^3-1$.
    – Rolf Hoyer
    Aug 26 at 18:17











  • Ahh could you show how the computation works, appreciate it!
    – Homaniac
    Aug 26 at 18:24
















  • Could you illustrate how the function would better compute $l_1$ ?
    – Homaniac
    Aug 26 at 16:02










  • if $sigma_3,1 = sigma_3,2 = 0$ then $Delta = l_1 sigma_3,3^2$ so you can compute $l_1$ with knowledge of $Delta$ and $sigma_3,3^2$, both of which can be computed directly with the roots. My previous comment was mistaken, $sigma_3,1 = sigma_3,2$ in the case of $x^3-1$.
    – Rolf Hoyer
    Aug 26 at 18:17











  • Ahh could you show how the computation works, appreciate it!
    – Homaniac
    Aug 26 at 18:24















Could you illustrate how the function would better compute $l_1$ ?
– Homaniac
Aug 26 at 16:02




Could you illustrate how the function would better compute $l_1$ ?
– Homaniac
Aug 26 at 16:02












if $sigma_3,1 = sigma_3,2 = 0$ then $Delta = l_1 sigma_3,3^2$ so you can compute $l_1$ with knowledge of $Delta$ and $sigma_3,3^2$, both of which can be computed directly with the roots. My previous comment was mistaken, $sigma_3,1 = sigma_3,2$ in the case of $x^3-1$.
– Rolf Hoyer
Aug 26 at 18:17





if $sigma_3,1 = sigma_3,2 = 0$ then $Delta = l_1 sigma_3,3^2$ so you can compute $l_1$ with knowledge of $Delta$ and $sigma_3,3^2$, both of which can be computed directly with the roots. My previous comment was mistaken, $sigma_3,1 = sigma_3,2$ in the case of $x^3-1$.
– Rolf Hoyer
Aug 26 at 18:17













Ahh could you show how the computation works, appreciate it!
– Homaniac
Aug 26 at 18:24




Ahh could you show how the computation works, appreciate it!
– Homaniac
Aug 26 at 18:24















active

oldest

votes











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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2893795%2fgalois-theory-and-polynomials-discriminant%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2893795%2fgalois-theory-and-polynomials-discriminant%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Carbon dioxide

Why am i infinitely getting the same tweet with the Twitter Search API?