order of the splitting field of $x^5 +x^4 +1 $?

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











up vote
1
down vote

favorite












what is the order of the splitting field of



$x^5 +x^4 +1 = (x^2 +x +1)( x^3 +x+1)$ over $mathbbZ_2$



i thinks it will $6$ because $2.3 = 6$



Pliz help me...







share|cite|improve this question
























    up vote
    1
    down vote

    favorite












    what is the order of the splitting field of



    $x^5 +x^4 +1 = (x^2 +x +1)( x^3 +x+1)$ over $mathbbZ_2$



    i thinks it will $6$ because $2.3 = 6$



    Pliz help me...







    share|cite|improve this question






















      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      what is the order of the splitting field of



      $x^5 +x^4 +1 = (x^2 +x +1)( x^3 +x+1)$ over $mathbbZ_2$



      i thinks it will $6$ because $2.3 = 6$



      Pliz help me...







      share|cite|improve this question












      what is the order of the splitting field of



      $x^5 +x^4 +1 = (x^2 +x +1)( x^3 +x+1)$ over $mathbbZ_2$



      i thinks it will $6$ because $2.3 = 6$



      Pliz help me...









      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Aug 10 at 18:44









      Messi fifa

      1738




      1738




















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          Because $x^5 +x^4 +1 = (x^2 +x +1)( x^3 +x+1)$ and the factors are irreducible, the splitting field of $x^5 +x^4 +1$ has degree at least $2 cdot 3 = 6$.



          On the other hand, the splitting field of $x^5 +x^4 +1$ is contained in $mathbb F_2^6$, an extension of degree $6$. Hence this is the splitting field. Indeed, WA tells us that
          $$
          x^2^6-x = x (x + 1) (x^2 + x + 1) (x^3 + x + 1) cdots
          $$






          share|cite|improve this answer



























            up vote
            1
            down vote













            Yes, it is everything ok. This is an answer, not a comment, in order to insert the following confirmation using computer assistance, here sage:



            sage: F = GF(2)
            sage: R.<x> = PolynomialRing(F)
            sage: f = x^5+x^4+1
            sage: f.factor()
            (x^2 + x + 1) * (x^3 + x + 1)
            sage: K.<a> = f.splitting_field()
            sage: K
            Finite Field in a of size 2^6
            sage: a.minpoly()
            x^6 + x^4 + x^3 + x + 1
            sage: f.base_extend(K).factor()
            (x + a^3 + a^2 + a)
            * (x + a^3 + a^2 + a + 1)
            * (x + a^4 + a^2 + a + 1)
            * (x + a^5 + a)
            * (x + a^5 + a^4 + a^2 + 1)


            The code was minimally rearranged for the last result to fit in the window.



            For the first polynomial in the factorization $(x^2 + x + 1) (x^3 + x + 1)$ we need an extension from $Bbb F_2$ to $Bbb F_2^2$, then from this one a new degree three extension to $Bbb F_(2^2)^3$ to split also the second factor $x^3+x+1$.






            share|cite|improve this answer




















            • can u edit ur answer as im not getting...write in proper maths jax
              – Messi fifa
              Aug 10 at 19:01










            • In my browser the text is displayed so that i can read it. Which part of it makes problems?
              – dan_fulea
              Aug 10 at 19:03











            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%2f2878699%2forder-of-the-splitting-field-of-x5-x4-1%23new-answer', 'question_page');

            );

            Post as a guest






























            2 Answers
            2






            active

            oldest

            votes








            2 Answers
            2






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            1
            down vote



            accepted










            Because $x^5 +x^4 +1 = (x^2 +x +1)( x^3 +x+1)$ and the factors are irreducible, the splitting field of $x^5 +x^4 +1$ has degree at least $2 cdot 3 = 6$.



            On the other hand, the splitting field of $x^5 +x^4 +1$ is contained in $mathbb F_2^6$, an extension of degree $6$. Hence this is the splitting field. Indeed, WA tells us that
            $$
            x^2^6-x = x (x + 1) (x^2 + x + 1) (x^3 + x + 1) cdots
            $$






            share|cite|improve this answer
























              up vote
              1
              down vote



              accepted










              Because $x^5 +x^4 +1 = (x^2 +x +1)( x^3 +x+1)$ and the factors are irreducible, the splitting field of $x^5 +x^4 +1$ has degree at least $2 cdot 3 = 6$.



              On the other hand, the splitting field of $x^5 +x^4 +1$ is contained in $mathbb F_2^6$, an extension of degree $6$. Hence this is the splitting field. Indeed, WA tells us that
              $$
              x^2^6-x = x (x + 1) (x^2 + x + 1) (x^3 + x + 1) cdots
              $$






              share|cite|improve this answer






















                up vote
                1
                down vote



                accepted







                up vote
                1
                down vote



                accepted






                Because $x^5 +x^4 +1 = (x^2 +x +1)( x^3 +x+1)$ and the factors are irreducible, the splitting field of $x^5 +x^4 +1$ has degree at least $2 cdot 3 = 6$.



                On the other hand, the splitting field of $x^5 +x^4 +1$ is contained in $mathbb F_2^6$, an extension of degree $6$. Hence this is the splitting field. Indeed, WA tells us that
                $$
                x^2^6-x = x (x + 1) (x^2 + x + 1) (x^3 + x + 1) cdots
                $$






                share|cite|improve this answer












                Because $x^5 +x^4 +1 = (x^2 +x +1)( x^3 +x+1)$ and the factors are irreducible, the splitting field of $x^5 +x^4 +1$ has degree at least $2 cdot 3 = 6$.



                On the other hand, the splitting field of $x^5 +x^4 +1$ is contained in $mathbb F_2^6$, an extension of degree $6$. Hence this is the splitting field. Indeed, WA tells us that
                $$
                x^2^6-x = x (x + 1) (x^2 + x + 1) (x^3 + x + 1) cdots
                $$







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Aug 10 at 21:18









                lhf

                156k9161367




                156k9161367




















                    up vote
                    1
                    down vote













                    Yes, it is everything ok. This is an answer, not a comment, in order to insert the following confirmation using computer assistance, here sage:



                    sage: F = GF(2)
                    sage: R.<x> = PolynomialRing(F)
                    sage: f = x^5+x^4+1
                    sage: f.factor()
                    (x^2 + x + 1) * (x^3 + x + 1)
                    sage: K.<a> = f.splitting_field()
                    sage: K
                    Finite Field in a of size 2^6
                    sage: a.minpoly()
                    x^6 + x^4 + x^3 + x + 1
                    sage: f.base_extend(K).factor()
                    (x + a^3 + a^2 + a)
                    * (x + a^3 + a^2 + a + 1)
                    * (x + a^4 + a^2 + a + 1)
                    * (x + a^5 + a)
                    * (x + a^5 + a^4 + a^2 + 1)


                    The code was minimally rearranged for the last result to fit in the window.



                    For the first polynomial in the factorization $(x^2 + x + 1) (x^3 + x + 1)$ we need an extension from $Bbb F_2$ to $Bbb F_2^2$, then from this one a new degree three extension to $Bbb F_(2^2)^3$ to split also the second factor $x^3+x+1$.






                    share|cite|improve this answer




















                    • can u edit ur answer as im not getting...write in proper maths jax
                      – Messi fifa
                      Aug 10 at 19:01










                    • In my browser the text is displayed so that i can read it. Which part of it makes problems?
                      – dan_fulea
                      Aug 10 at 19:03















                    up vote
                    1
                    down vote













                    Yes, it is everything ok. This is an answer, not a comment, in order to insert the following confirmation using computer assistance, here sage:



                    sage: F = GF(2)
                    sage: R.<x> = PolynomialRing(F)
                    sage: f = x^5+x^4+1
                    sage: f.factor()
                    (x^2 + x + 1) * (x^3 + x + 1)
                    sage: K.<a> = f.splitting_field()
                    sage: K
                    Finite Field in a of size 2^6
                    sage: a.minpoly()
                    x^6 + x^4 + x^3 + x + 1
                    sage: f.base_extend(K).factor()
                    (x + a^3 + a^2 + a)
                    * (x + a^3 + a^2 + a + 1)
                    * (x + a^4 + a^2 + a + 1)
                    * (x + a^5 + a)
                    * (x + a^5 + a^4 + a^2 + 1)


                    The code was minimally rearranged for the last result to fit in the window.



                    For the first polynomial in the factorization $(x^2 + x + 1) (x^3 + x + 1)$ we need an extension from $Bbb F_2$ to $Bbb F_2^2$, then from this one a new degree three extension to $Bbb F_(2^2)^3$ to split also the second factor $x^3+x+1$.






                    share|cite|improve this answer




















                    • can u edit ur answer as im not getting...write in proper maths jax
                      – Messi fifa
                      Aug 10 at 19:01










                    • In my browser the text is displayed so that i can read it. Which part of it makes problems?
                      – dan_fulea
                      Aug 10 at 19:03













                    up vote
                    1
                    down vote










                    up vote
                    1
                    down vote









                    Yes, it is everything ok. This is an answer, not a comment, in order to insert the following confirmation using computer assistance, here sage:



                    sage: F = GF(2)
                    sage: R.<x> = PolynomialRing(F)
                    sage: f = x^5+x^4+1
                    sage: f.factor()
                    (x^2 + x + 1) * (x^3 + x + 1)
                    sage: K.<a> = f.splitting_field()
                    sage: K
                    Finite Field in a of size 2^6
                    sage: a.minpoly()
                    x^6 + x^4 + x^3 + x + 1
                    sage: f.base_extend(K).factor()
                    (x + a^3 + a^2 + a)
                    * (x + a^3 + a^2 + a + 1)
                    * (x + a^4 + a^2 + a + 1)
                    * (x + a^5 + a)
                    * (x + a^5 + a^4 + a^2 + 1)


                    The code was minimally rearranged for the last result to fit in the window.



                    For the first polynomial in the factorization $(x^2 + x + 1) (x^3 + x + 1)$ we need an extension from $Bbb F_2$ to $Bbb F_2^2$, then from this one a new degree three extension to $Bbb F_(2^2)^3$ to split also the second factor $x^3+x+1$.






                    share|cite|improve this answer












                    Yes, it is everything ok. This is an answer, not a comment, in order to insert the following confirmation using computer assistance, here sage:



                    sage: F = GF(2)
                    sage: R.<x> = PolynomialRing(F)
                    sage: f = x^5+x^4+1
                    sage: f.factor()
                    (x^2 + x + 1) * (x^3 + x + 1)
                    sage: K.<a> = f.splitting_field()
                    sage: K
                    Finite Field in a of size 2^6
                    sage: a.minpoly()
                    x^6 + x^4 + x^3 + x + 1
                    sage: f.base_extend(K).factor()
                    (x + a^3 + a^2 + a)
                    * (x + a^3 + a^2 + a + 1)
                    * (x + a^4 + a^2 + a + 1)
                    * (x + a^5 + a)
                    * (x + a^5 + a^4 + a^2 + 1)


                    The code was minimally rearranged for the last result to fit in the window.



                    For the first polynomial in the factorization $(x^2 + x + 1) (x^3 + x + 1)$ we need an extension from $Bbb F_2$ to $Bbb F_2^2$, then from this one a new degree three extension to $Bbb F_(2^2)^3$ to split also the second factor $x^3+x+1$.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Aug 10 at 18:57









                    dan_fulea

                    4,3371211




                    4,3371211











                    • can u edit ur answer as im not getting...write in proper maths jax
                      – Messi fifa
                      Aug 10 at 19:01










                    • In my browser the text is displayed so that i can read it. Which part of it makes problems?
                      – dan_fulea
                      Aug 10 at 19:03

















                    • can u edit ur answer as im not getting...write in proper maths jax
                      – Messi fifa
                      Aug 10 at 19:01










                    • In my browser the text is displayed so that i can read it. Which part of it makes problems?
                      – dan_fulea
                      Aug 10 at 19:03
















                    can u edit ur answer as im not getting...write in proper maths jax
                    – Messi fifa
                    Aug 10 at 19:01




                    can u edit ur answer as im not getting...write in proper maths jax
                    – Messi fifa
                    Aug 10 at 19:01












                    In my browser the text is displayed so that i can read it. Which part of it makes problems?
                    – dan_fulea
                    Aug 10 at 19:03





                    In my browser the text is displayed so that i can read it. Which part of it makes problems?
                    – dan_fulea
                    Aug 10 at 19:03













                     

                    draft saved


                    draft discarded


























                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function ()
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2878699%2forder-of-the-splitting-field-of-x5-x4-1%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?