To show: Galois group of a polynomial is not an alternating group .

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











up vote
0
down vote

favorite












I have a polynomial of this type: $p(t)+l(t)s(a,t)$ in $F_q(a)[t]$, where a=(a_0,...,a_m)$ are specialization.



I could show that this polynomial is doubly transitive, by making $a_0=0$ (specialization technique for irreducibility and assumptions on f and g).



Now I need to show that the discriminant of this polynomial is not a square. Here I do not know how to proceed. Could any one please help me







share|cite|improve this question















  • 1




    It may be my limitation and lack of exposure to specializations, but why couldn't you get an alternating group here? Say, if $p(t)$ is a cubic, irreducible over $BbbF_q$, and $ell(t)=0$. Then the splitting field is $BbbF_q^3(a)$ and the Galois group is cyclic of order three, i.e. $A_3$. It is also easy make $A_2$ appear - make your polynomial a reducible quadratic. I know I'm nitpicking, but...
    – Jyrki Lahtonen
    Jul 24 at 4:21










  • so your polynomial can be any polynomial in $Bbb F_q(a)[t]$ ?
    – mercio
    Jul 24 at 7:32










  • @JyrkiLahtonen, I thought the polynomial $p(t)+l(t)s(a,t)$, is linear in $F(a,t)$. (By taking this polynomial as a polynomial in $a_0$,), hence irreducible,
    – user152394
    Jul 24 at 10:43











  • @JyrkiLahtonen, the author further assumes p(t) and l(t) are relatively prime polynomials. and the doubly irreducibility is proved similarly
    – user152394
    Jul 24 at 10:51










  • @JyrkiLahtonen, is there a general method to show the discriminant is not a square
    – user152394
    Jul 24 at 10:53














up vote
0
down vote

favorite












I have a polynomial of this type: $p(t)+l(t)s(a,t)$ in $F_q(a)[t]$, where a=(a_0,...,a_m)$ are specialization.



I could show that this polynomial is doubly transitive, by making $a_0=0$ (specialization technique for irreducibility and assumptions on f and g).



Now I need to show that the discriminant of this polynomial is not a square. Here I do not know how to proceed. Could any one please help me







share|cite|improve this question















  • 1




    It may be my limitation and lack of exposure to specializations, but why couldn't you get an alternating group here? Say, if $p(t)$ is a cubic, irreducible over $BbbF_q$, and $ell(t)=0$. Then the splitting field is $BbbF_q^3(a)$ and the Galois group is cyclic of order three, i.e. $A_3$. It is also easy make $A_2$ appear - make your polynomial a reducible quadratic. I know I'm nitpicking, but...
    – Jyrki Lahtonen
    Jul 24 at 4:21










  • so your polynomial can be any polynomial in $Bbb F_q(a)[t]$ ?
    – mercio
    Jul 24 at 7:32










  • @JyrkiLahtonen, I thought the polynomial $p(t)+l(t)s(a,t)$, is linear in $F(a,t)$. (By taking this polynomial as a polynomial in $a_0$,), hence irreducible,
    – user152394
    Jul 24 at 10:43











  • @JyrkiLahtonen, the author further assumes p(t) and l(t) are relatively prime polynomials. and the doubly irreducibility is proved similarly
    – user152394
    Jul 24 at 10:51










  • @JyrkiLahtonen, is there a general method to show the discriminant is not a square
    – user152394
    Jul 24 at 10:53












up vote
0
down vote

favorite









up vote
0
down vote

favorite











I have a polynomial of this type: $p(t)+l(t)s(a,t)$ in $F_q(a)[t]$, where a=(a_0,...,a_m)$ are specialization.



I could show that this polynomial is doubly transitive, by making $a_0=0$ (specialization technique for irreducibility and assumptions on f and g).



Now I need to show that the discriminant of this polynomial is not a square. Here I do not know how to proceed. Could any one please help me







share|cite|improve this question











I have a polynomial of this type: $p(t)+l(t)s(a,t)$ in $F_q(a)[t]$, where a=(a_0,...,a_m)$ are specialization.



I could show that this polynomial is doubly transitive, by making $a_0=0$ (specialization technique for irreducibility and assumptions on f and g).



Now I need to show that the discriminant of this polynomial is not a square. Here I do not know how to proceed. Could any one please help me









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 24 at 3:49









user152394

957




957







  • 1




    It may be my limitation and lack of exposure to specializations, but why couldn't you get an alternating group here? Say, if $p(t)$ is a cubic, irreducible over $BbbF_q$, and $ell(t)=0$. Then the splitting field is $BbbF_q^3(a)$ and the Galois group is cyclic of order three, i.e. $A_3$. It is also easy make $A_2$ appear - make your polynomial a reducible quadratic. I know I'm nitpicking, but...
    – Jyrki Lahtonen
    Jul 24 at 4:21










  • so your polynomial can be any polynomial in $Bbb F_q(a)[t]$ ?
    – mercio
    Jul 24 at 7:32










  • @JyrkiLahtonen, I thought the polynomial $p(t)+l(t)s(a,t)$, is linear in $F(a,t)$. (By taking this polynomial as a polynomial in $a_0$,), hence irreducible,
    – user152394
    Jul 24 at 10:43











  • @JyrkiLahtonen, the author further assumes p(t) and l(t) are relatively prime polynomials. and the doubly irreducibility is proved similarly
    – user152394
    Jul 24 at 10:51










  • @JyrkiLahtonen, is there a general method to show the discriminant is not a square
    – user152394
    Jul 24 at 10:53












  • 1




    It may be my limitation and lack of exposure to specializations, but why couldn't you get an alternating group here? Say, if $p(t)$ is a cubic, irreducible over $BbbF_q$, and $ell(t)=0$. Then the splitting field is $BbbF_q^3(a)$ and the Galois group is cyclic of order three, i.e. $A_3$. It is also easy make $A_2$ appear - make your polynomial a reducible quadratic. I know I'm nitpicking, but...
    – Jyrki Lahtonen
    Jul 24 at 4:21










  • so your polynomial can be any polynomial in $Bbb F_q(a)[t]$ ?
    – mercio
    Jul 24 at 7:32










  • @JyrkiLahtonen, I thought the polynomial $p(t)+l(t)s(a,t)$, is linear in $F(a,t)$. (By taking this polynomial as a polynomial in $a_0$,), hence irreducible,
    – user152394
    Jul 24 at 10:43











  • @JyrkiLahtonen, the author further assumes p(t) and l(t) are relatively prime polynomials. and the doubly irreducibility is proved similarly
    – user152394
    Jul 24 at 10:51










  • @JyrkiLahtonen, is there a general method to show the discriminant is not a square
    – user152394
    Jul 24 at 10:53







1




1




It may be my limitation and lack of exposure to specializations, but why couldn't you get an alternating group here? Say, if $p(t)$ is a cubic, irreducible over $BbbF_q$, and $ell(t)=0$. Then the splitting field is $BbbF_q^3(a)$ and the Galois group is cyclic of order three, i.e. $A_3$. It is also easy make $A_2$ appear - make your polynomial a reducible quadratic. I know I'm nitpicking, but...
– Jyrki Lahtonen
Jul 24 at 4:21




It may be my limitation and lack of exposure to specializations, but why couldn't you get an alternating group here? Say, if $p(t)$ is a cubic, irreducible over $BbbF_q$, and $ell(t)=0$. Then the splitting field is $BbbF_q^3(a)$ and the Galois group is cyclic of order three, i.e. $A_3$. It is also easy make $A_2$ appear - make your polynomial a reducible quadratic. I know I'm nitpicking, but...
– Jyrki Lahtonen
Jul 24 at 4:21












so your polynomial can be any polynomial in $Bbb F_q(a)[t]$ ?
– mercio
Jul 24 at 7:32




so your polynomial can be any polynomial in $Bbb F_q(a)[t]$ ?
– mercio
Jul 24 at 7:32












@JyrkiLahtonen, I thought the polynomial $p(t)+l(t)s(a,t)$, is linear in $F(a,t)$. (By taking this polynomial as a polynomial in $a_0$,), hence irreducible,
– user152394
Jul 24 at 10:43





@JyrkiLahtonen, I thought the polynomial $p(t)+l(t)s(a,t)$, is linear in $F(a,t)$. (By taking this polynomial as a polynomial in $a_0$,), hence irreducible,
– user152394
Jul 24 at 10:43













@JyrkiLahtonen, the author further assumes p(t) and l(t) are relatively prime polynomials. and the doubly irreducibility is proved similarly
– user152394
Jul 24 at 10:51




@JyrkiLahtonen, the author further assumes p(t) and l(t) are relatively prime polynomials. and the doubly irreducibility is proved similarly
– user152394
Jul 24 at 10:51












@JyrkiLahtonen, is there a general method to show the discriminant is not a square
– user152394
Jul 24 at 10:53




@JyrkiLahtonen, is there a general method to show the discriminant is not a square
– user152394
Jul 24 at 10:53















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%2f2860992%2fto-show-galois-group-of-a-polynomial-is-not-an-alternating-group%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%2f2860992%2fto-show-galois-group-of-a-polynomial-is-not-an-alternating-group%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?