How can I factor $x^{12}+x^{11}+cdots+x+1$ in $mathbb F_3[x]$?How can I show that $(1,0)$ is irreducible in...

Does "Until when" sound natural for native speakers?

Determining optimum shared school bus route to a single destination from multiple origin points

Is this Paypal Github SDK reference really a dangerous site?

Vocabulary for giving just numbers, not a full answer

Is it safe to abruptly remove Arduino power?

Do items de-spawn?

Specifying a starting column with colortbl package and xcolor

Conservation of Mass and Energy

How can I get players to focus on the story aspect of D&D?

Recommendation letter by significant other if you worked with them professionally?

Haman going to the second feast dirty

Outlet with 3 sets of wires

Professor forcing me to attend a conference, I can't afford even with 50% funding

Why does liquid water form when we exhale on a mirror?

Is divide-by-zero a security vulnerability?

Signed and unsigned numbers

Which situations would cause a company to ground or recall a aircraft series?

Do I really need to have a scientific explanation for my premise?

Can I use a violin G string for D?

Source permutation

How to draw dashed arc of a circle behind pyramid?

How exactly does an Ethernet collision happen in the cable, since nodes use different circuits for Tx and Rx?

School performs periodic password audits. Is my password compromised?

Why couldn't the separatists legally leave the Republic?



How can I factor $x^{12}+x^{11}+cdots+x+1$ in $mathbb F_3[x]$?


How can I show that $(1,0)$ is irreducible in $mathbb{Z}timesmathbb{Z}$?Factor into a product of irreducible polynomialsDegrees of factors of polynomial $f(x)=x^q-(ax^2+bx+c)in mathbb{F}_q[x]$On the involutions of $GL_2(mathbb F_3)$How can we factorize $x^4 - 2x^2 + 49$ with coefficients in $mathbb{R}$?Polynomial factorization into irreducibles over $mathbb{Q}[x]$Finding All Irreducible Polynomials in $P_3(mathbb{F_3})$confused about $Bbb F_3(alpha) cong Bbb F_3/langle x^3+2x+2rangle$Polynomial of degree $5$ reducible over $mathbb Q(sqrt 2)$Is there a way to tell how to factor the denom. when doing a partial fraction?













1












$begingroup$


I can prove that $mathbb F_3[x]$ is a UFD, so $f(x)=x^{12}+x^{11}+cdots+x+1$ can be factored. And because neither 0, 1, nor 2 is a root of $f(x)$, all factors are more than 1 degrees.



But I don’t know how to factor $f(x)=x^{12}+x^{11}+cdots+x+1$, or as another simple example, $g(x)=x^4+x^3+x+2$.



How do I find out factorizations of $f(x)$ and $g(x)$ in $mathbb F_3[x]$?










share|cite|improve this question











$endgroup$

















    1












    $begingroup$


    I can prove that $mathbb F_3[x]$ is a UFD, so $f(x)=x^{12}+x^{11}+cdots+x+1$ can be factored. And because neither 0, 1, nor 2 is a root of $f(x)$, all factors are more than 1 degrees.



    But I don’t know how to factor $f(x)=x^{12}+x^{11}+cdots+x+1$, or as another simple example, $g(x)=x^4+x^3+x+2$.



    How do I find out factorizations of $f(x)$ and $g(x)$ in $mathbb F_3[x]$?










    share|cite|improve this question











    $endgroup$















      1












      1








      1





      $begingroup$


      I can prove that $mathbb F_3[x]$ is a UFD, so $f(x)=x^{12}+x^{11}+cdots+x+1$ can be factored. And because neither 0, 1, nor 2 is a root of $f(x)$, all factors are more than 1 degrees.



      But I don’t know how to factor $f(x)=x^{12}+x^{11}+cdots+x+1$, or as another simple example, $g(x)=x^4+x^3+x+2$.



      How do I find out factorizations of $f(x)$ and $g(x)$ in $mathbb F_3[x]$?










      share|cite|improve this question











      $endgroup$




      I can prove that $mathbb F_3[x]$ is a UFD, so $f(x)=x^{12}+x^{11}+cdots+x+1$ can be factored. And because neither 0, 1, nor 2 is a root of $f(x)$, all factors are more than 1 degrees.



      But I don’t know how to factor $f(x)=x^{12}+x^{11}+cdots+x+1$, or as another simple example, $g(x)=x^4+x^3+x+2$.



      How do I find out factorizations of $f(x)$ and $g(x)$ in $mathbb F_3[x]$?







      abstract-algebra polynomials ring-theory factoring irreducible-polynomials






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited 2 days ago









      Michael Rozenberg

      107k1895199




      107k1895199










      asked 2 days ago









      Mingwei ZhangMingwei Zhang

      314




      314






















          3 Answers
          3






          active

          oldest

          votes


















          4












          $begingroup$

          Suppose $x$ is a root of $f$ in some extension field of $mathbb{F}_3$; then $x$ is a 13th root of 1. Now $mathbb{F}_{27}$ is the splitting field of $x^{27} - x$, and we see $x^{13} - 1$ divides $x^{27} - x$; therefore, each root of $f$ lies in $mathbb{F}_{27}$. It follows that each irreducible factor of $f$ has degree 3.



          Furthermore, for such a root $x$, we have $N_{mathbb{F}_3}^{mathbb{F}_{27}}(x) = x cdot x^3 cdot x^9 = 1$ since the Galois group consists of the identity, the Frobenius morphism $x mapsto x^3$, and the square of the Frobenius morphism. Therefore, the irreducible factors would be of the form $x^3 + ax^2 + bx - 1$.



          Conversely, for any element $y in mathbb{F}_{27} setminus mathbb{F}_3$ such that $N_{mathbb{F}_3}^{mathbb{F}_{27}}(y) = 1$, this implies $y^{13} = 1$; and since $y ne 1$, this implies $f(y) = 0$. Therefore, every irreducible polynomial of the form $x^3 + ax^2 + bx - 1$ is in fact a factor of $f(x)$.



          Now, to follow a comment by Servaes: since $x^3 + ax^2 + bx - 1$ is not allowed to have either $x=1$ or $x=-1$ as a root, that means that $a+b ne 0$ and $a-b ne 2$. That restriction leaves us with only four possibilities: $(a,b) in { (0, -1), (1, 0), (1, 1), (-1, -1) }$. Each of these is in fact irreducible since it is a cubic polynomial of degree 3 with no root in $mathbb{F}_3$; and the product of these factors accounts for the full degree 12 of $f$.



          In summary, we get
          $$f(x) = (x^3 - x - 1) (x^3 + x^2 - 1) (x^3 + x^2 + x - 1) (x^3 - x^2 - x - 1).$$






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            Moreover, the latter polynomial is irreducible if and only if it has no roots, and plugging in $x=1$ and $x=-2$ shows that $aneqpm b$ so either $a=0$ or $b=0$. This leaves only four options (clearly $a=b=0$ is impossible), and because $f$ is squarefree these are precisely the irreducible factors of $f$.
            $endgroup$
            – Servaes
            2 days ago



















          2












          $begingroup$

          Let $K$ be a splitting field of $f$, and note that $f$ has no roots in $Bbb{F}_3$ so in particular $KneqBbb{F}_3$. Because
          $$(x-1)f(x)=x^{13}-1
          qquadtext{ and }qquad
          (x^{13}-1)(x^{13}-1)x=x^{27}-x,$$

          where the latter splits over $Bbb{F}_{27}$, we see that $K$ is isomorphic to a subfield of $Bbb{F}_{27}$, and hence isomorphic to $Bbb{F}_{27}$ itself. This means the minimal polynomial of every root of $f$ has degree $3$, that is to say $f$ is a product of four irreducible cubic polynomials. Moreover, we see that $f$ is squarefree, so it is a product of four distinct monic irreducible cubic polynomials. There are only six such polynomials in $Bbb{F}_3$, so pick one and see whether it divides $f$.



          For $g$ a similar but simpler approach works; it has no roots in $Bbb{F}_3$ so it is either irreducible or a product of two irreducible quadratics. There are only three irreducible quadratics in $Bbb{F}_3[x]$, so this is even easier to check. On the other hand, a brute force check shows that if
          begin{eqnarray*}
          x^4+x^3+x+2&=&(x^2+ax+b)(x^2+cx+d)\
          &=&x^4+(a+c)x^3+(ac+b+d)x^2+(ad+bc)x+bd,
          end{eqnarray*}

          then $b=-d$ by comparing constant coefficients. Then the coefficient of $x^2$ shows that $ac=0$, so without loss of generality $a=0$, and then $c=1$ and $b=1$ and $d=2$ so
          $$g(x)=(x^2+1)(x^2+x+2).$$






          share|cite|improve this answer











          $endgroup$





















            1












            $begingroup$

            $$x^4+x^3+x+2=x^4+x(x^2+1)-1=(x^2+1)(x^2+x-1).$$
            $$x^{12}+x^{11}+x^{10}+x^9+x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1=$$
            $$=x^{12}+x^{11}-2x^{10}-8x^9-5x^8+7x^7+16x^6+7x^5-5x^4-8x^3-2x^2+x+1=$$
            $$=(x^3-x-1)(x^3+x^2-1)(x^3+x^2+x-1)(x^3-x^2-x-1).$$






            share|cite|improve this answer











            $endgroup$













              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
              });


              }
              });














              draft saved

              draft discarded


















              StackExchange.ready(
              function () {
              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3140347%2fhow-can-i-factor-x12x11-cdotsx1-in-mathbb-f-3x%23new-answer', 'question_page');
              }
              );

              Post as a guest















              Required, but never shown

























              3 Answers
              3






              active

              oldest

              votes








              3 Answers
              3






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes









              4












              $begingroup$

              Suppose $x$ is a root of $f$ in some extension field of $mathbb{F}_3$; then $x$ is a 13th root of 1. Now $mathbb{F}_{27}$ is the splitting field of $x^{27} - x$, and we see $x^{13} - 1$ divides $x^{27} - x$; therefore, each root of $f$ lies in $mathbb{F}_{27}$. It follows that each irreducible factor of $f$ has degree 3.



              Furthermore, for such a root $x$, we have $N_{mathbb{F}_3}^{mathbb{F}_{27}}(x) = x cdot x^3 cdot x^9 = 1$ since the Galois group consists of the identity, the Frobenius morphism $x mapsto x^3$, and the square of the Frobenius morphism. Therefore, the irreducible factors would be of the form $x^3 + ax^2 + bx - 1$.



              Conversely, for any element $y in mathbb{F}_{27} setminus mathbb{F}_3$ such that $N_{mathbb{F}_3}^{mathbb{F}_{27}}(y) = 1$, this implies $y^{13} = 1$; and since $y ne 1$, this implies $f(y) = 0$. Therefore, every irreducible polynomial of the form $x^3 + ax^2 + bx - 1$ is in fact a factor of $f(x)$.



              Now, to follow a comment by Servaes: since $x^3 + ax^2 + bx - 1$ is not allowed to have either $x=1$ or $x=-1$ as a root, that means that $a+b ne 0$ and $a-b ne 2$. That restriction leaves us with only four possibilities: $(a,b) in { (0, -1), (1, 0), (1, 1), (-1, -1) }$. Each of these is in fact irreducible since it is a cubic polynomial of degree 3 with no root in $mathbb{F}_3$; and the product of these factors accounts for the full degree 12 of $f$.



              In summary, we get
              $$f(x) = (x^3 - x - 1) (x^3 + x^2 - 1) (x^3 + x^2 + x - 1) (x^3 - x^2 - x - 1).$$






              share|cite|improve this answer











              $endgroup$













              • $begingroup$
                Moreover, the latter polynomial is irreducible if and only if it has no roots, and plugging in $x=1$ and $x=-2$ shows that $aneqpm b$ so either $a=0$ or $b=0$. This leaves only four options (clearly $a=b=0$ is impossible), and because $f$ is squarefree these are precisely the irreducible factors of $f$.
                $endgroup$
                – Servaes
                2 days ago
















              4












              $begingroup$

              Suppose $x$ is a root of $f$ in some extension field of $mathbb{F}_3$; then $x$ is a 13th root of 1. Now $mathbb{F}_{27}$ is the splitting field of $x^{27} - x$, and we see $x^{13} - 1$ divides $x^{27} - x$; therefore, each root of $f$ lies in $mathbb{F}_{27}$. It follows that each irreducible factor of $f$ has degree 3.



              Furthermore, for such a root $x$, we have $N_{mathbb{F}_3}^{mathbb{F}_{27}}(x) = x cdot x^3 cdot x^9 = 1$ since the Galois group consists of the identity, the Frobenius morphism $x mapsto x^3$, and the square of the Frobenius morphism. Therefore, the irreducible factors would be of the form $x^3 + ax^2 + bx - 1$.



              Conversely, for any element $y in mathbb{F}_{27} setminus mathbb{F}_3$ such that $N_{mathbb{F}_3}^{mathbb{F}_{27}}(y) = 1$, this implies $y^{13} = 1$; and since $y ne 1$, this implies $f(y) = 0$. Therefore, every irreducible polynomial of the form $x^3 + ax^2 + bx - 1$ is in fact a factor of $f(x)$.



              Now, to follow a comment by Servaes: since $x^3 + ax^2 + bx - 1$ is not allowed to have either $x=1$ or $x=-1$ as a root, that means that $a+b ne 0$ and $a-b ne 2$. That restriction leaves us with only four possibilities: $(a,b) in { (0, -1), (1, 0), (1, 1), (-1, -1) }$. Each of these is in fact irreducible since it is a cubic polynomial of degree 3 with no root in $mathbb{F}_3$; and the product of these factors accounts for the full degree 12 of $f$.



              In summary, we get
              $$f(x) = (x^3 - x - 1) (x^3 + x^2 - 1) (x^3 + x^2 + x - 1) (x^3 - x^2 - x - 1).$$






              share|cite|improve this answer











              $endgroup$













              • $begingroup$
                Moreover, the latter polynomial is irreducible if and only if it has no roots, and plugging in $x=1$ and $x=-2$ shows that $aneqpm b$ so either $a=0$ or $b=0$. This leaves only four options (clearly $a=b=0$ is impossible), and because $f$ is squarefree these are precisely the irreducible factors of $f$.
                $endgroup$
                – Servaes
                2 days ago














              4












              4








              4





              $begingroup$

              Suppose $x$ is a root of $f$ in some extension field of $mathbb{F}_3$; then $x$ is a 13th root of 1. Now $mathbb{F}_{27}$ is the splitting field of $x^{27} - x$, and we see $x^{13} - 1$ divides $x^{27} - x$; therefore, each root of $f$ lies in $mathbb{F}_{27}$. It follows that each irreducible factor of $f$ has degree 3.



              Furthermore, for such a root $x$, we have $N_{mathbb{F}_3}^{mathbb{F}_{27}}(x) = x cdot x^3 cdot x^9 = 1$ since the Galois group consists of the identity, the Frobenius morphism $x mapsto x^3$, and the square of the Frobenius morphism. Therefore, the irreducible factors would be of the form $x^3 + ax^2 + bx - 1$.



              Conversely, for any element $y in mathbb{F}_{27} setminus mathbb{F}_3$ such that $N_{mathbb{F}_3}^{mathbb{F}_{27}}(y) = 1$, this implies $y^{13} = 1$; and since $y ne 1$, this implies $f(y) = 0$. Therefore, every irreducible polynomial of the form $x^3 + ax^2 + bx - 1$ is in fact a factor of $f(x)$.



              Now, to follow a comment by Servaes: since $x^3 + ax^2 + bx - 1$ is not allowed to have either $x=1$ or $x=-1$ as a root, that means that $a+b ne 0$ and $a-b ne 2$. That restriction leaves us with only four possibilities: $(a,b) in { (0, -1), (1, 0), (1, 1), (-1, -1) }$. Each of these is in fact irreducible since it is a cubic polynomial of degree 3 with no root in $mathbb{F}_3$; and the product of these factors accounts for the full degree 12 of $f$.



              In summary, we get
              $$f(x) = (x^3 - x - 1) (x^3 + x^2 - 1) (x^3 + x^2 + x - 1) (x^3 - x^2 - x - 1).$$






              share|cite|improve this answer











              $endgroup$



              Suppose $x$ is a root of $f$ in some extension field of $mathbb{F}_3$; then $x$ is a 13th root of 1. Now $mathbb{F}_{27}$ is the splitting field of $x^{27} - x$, and we see $x^{13} - 1$ divides $x^{27} - x$; therefore, each root of $f$ lies in $mathbb{F}_{27}$. It follows that each irreducible factor of $f$ has degree 3.



              Furthermore, for such a root $x$, we have $N_{mathbb{F}_3}^{mathbb{F}_{27}}(x) = x cdot x^3 cdot x^9 = 1$ since the Galois group consists of the identity, the Frobenius morphism $x mapsto x^3$, and the square of the Frobenius morphism. Therefore, the irreducible factors would be of the form $x^3 + ax^2 + bx - 1$.



              Conversely, for any element $y in mathbb{F}_{27} setminus mathbb{F}_3$ such that $N_{mathbb{F}_3}^{mathbb{F}_{27}}(y) = 1$, this implies $y^{13} = 1$; and since $y ne 1$, this implies $f(y) = 0$. Therefore, every irreducible polynomial of the form $x^3 + ax^2 + bx - 1$ is in fact a factor of $f(x)$.



              Now, to follow a comment by Servaes: since $x^3 + ax^2 + bx - 1$ is not allowed to have either $x=1$ or $x=-1$ as a root, that means that $a+b ne 0$ and $a-b ne 2$. That restriction leaves us with only four possibilities: $(a,b) in { (0, -1), (1, 0), (1, 1), (-1, -1) }$. Each of these is in fact irreducible since it is a cubic polynomial of degree 3 with no root in $mathbb{F}_3$; and the product of these factors accounts for the full degree 12 of $f$.



              In summary, we get
              $$f(x) = (x^3 - x - 1) (x^3 + x^2 - 1) (x^3 + x^2 + x - 1) (x^3 - x^2 - x - 1).$$







              share|cite|improve this answer














              share|cite|improve this answer



              share|cite|improve this answer








              edited 2 days ago

























              answered 2 days ago









              Daniel ScheplerDaniel Schepler

              9,0641721




              9,0641721












              • $begingroup$
                Moreover, the latter polynomial is irreducible if and only if it has no roots, and plugging in $x=1$ and $x=-2$ shows that $aneqpm b$ so either $a=0$ or $b=0$. This leaves only four options (clearly $a=b=0$ is impossible), and because $f$ is squarefree these are precisely the irreducible factors of $f$.
                $endgroup$
                – Servaes
                2 days ago


















              • $begingroup$
                Moreover, the latter polynomial is irreducible if and only if it has no roots, and plugging in $x=1$ and $x=-2$ shows that $aneqpm b$ so either $a=0$ or $b=0$. This leaves only four options (clearly $a=b=0$ is impossible), and because $f$ is squarefree these are precisely the irreducible factors of $f$.
                $endgroup$
                – Servaes
                2 days ago
















              $begingroup$
              Moreover, the latter polynomial is irreducible if and only if it has no roots, and plugging in $x=1$ and $x=-2$ shows that $aneqpm b$ so either $a=0$ or $b=0$. This leaves only four options (clearly $a=b=0$ is impossible), and because $f$ is squarefree these are precisely the irreducible factors of $f$.
              $endgroup$
              – Servaes
              2 days ago




              $begingroup$
              Moreover, the latter polynomial is irreducible if and only if it has no roots, and plugging in $x=1$ and $x=-2$ shows that $aneqpm b$ so either $a=0$ or $b=0$. This leaves only four options (clearly $a=b=0$ is impossible), and because $f$ is squarefree these are precisely the irreducible factors of $f$.
              $endgroup$
              – Servaes
              2 days ago











              2












              $begingroup$

              Let $K$ be a splitting field of $f$, and note that $f$ has no roots in $Bbb{F}_3$ so in particular $KneqBbb{F}_3$. Because
              $$(x-1)f(x)=x^{13}-1
              qquadtext{ and }qquad
              (x^{13}-1)(x^{13}-1)x=x^{27}-x,$$

              where the latter splits over $Bbb{F}_{27}$, we see that $K$ is isomorphic to a subfield of $Bbb{F}_{27}$, and hence isomorphic to $Bbb{F}_{27}$ itself. This means the minimal polynomial of every root of $f$ has degree $3$, that is to say $f$ is a product of four irreducible cubic polynomials. Moreover, we see that $f$ is squarefree, so it is a product of four distinct monic irreducible cubic polynomials. There are only six such polynomials in $Bbb{F}_3$, so pick one and see whether it divides $f$.



              For $g$ a similar but simpler approach works; it has no roots in $Bbb{F}_3$ so it is either irreducible or a product of two irreducible quadratics. There are only three irreducible quadratics in $Bbb{F}_3[x]$, so this is even easier to check. On the other hand, a brute force check shows that if
              begin{eqnarray*}
              x^4+x^3+x+2&=&(x^2+ax+b)(x^2+cx+d)\
              &=&x^4+(a+c)x^3+(ac+b+d)x^2+(ad+bc)x+bd,
              end{eqnarray*}

              then $b=-d$ by comparing constant coefficients. Then the coefficient of $x^2$ shows that $ac=0$, so without loss of generality $a=0$, and then $c=1$ and $b=1$ and $d=2$ so
              $$g(x)=(x^2+1)(x^2+x+2).$$






              share|cite|improve this answer











              $endgroup$


















                2












                $begingroup$

                Let $K$ be a splitting field of $f$, and note that $f$ has no roots in $Bbb{F}_3$ so in particular $KneqBbb{F}_3$. Because
                $$(x-1)f(x)=x^{13}-1
                qquadtext{ and }qquad
                (x^{13}-1)(x^{13}-1)x=x^{27}-x,$$

                where the latter splits over $Bbb{F}_{27}$, we see that $K$ is isomorphic to a subfield of $Bbb{F}_{27}$, and hence isomorphic to $Bbb{F}_{27}$ itself. This means the minimal polynomial of every root of $f$ has degree $3$, that is to say $f$ is a product of four irreducible cubic polynomials. Moreover, we see that $f$ is squarefree, so it is a product of four distinct monic irreducible cubic polynomials. There are only six such polynomials in $Bbb{F}_3$, so pick one and see whether it divides $f$.



                For $g$ a similar but simpler approach works; it has no roots in $Bbb{F}_3$ so it is either irreducible or a product of two irreducible quadratics. There are only three irreducible quadratics in $Bbb{F}_3[x]$, so this is even easier to check. On the other hand, a brute force check shows that if
                begin{eqnarray*}
                x^4+x^3+x+2&=&(x^2+ax+b)(x^2+cx+d)\
                &=&x^4+(a+c)x^3+(ac+b+d)x^2+(ad+bc)x+bd,
                end{eqnarray*}

                then $b=-d$ by comparing constant coefficients. Then the coefficient of $x^2$ shows that $ac=0$, so without loss of generality $a=0$, and then $c=1$ and $b=1$ and $d=2$ so
                $$g(x)=(x^2+1)(x^2+x+2).$$






                share|cite|improve this answer











                $endgroup$
















                  2












                  2








                  2





                  $begingroup$

                  Let $K$ be a splitting field of $f$, and note that $f$ has no roots in $Bbb{F}_3$ so in particular $KneqBbb{F}_3$. Because
                  $$(x-1)f(x)=x^{13}-1
                  qquadtext{ and }qquad
                  (x^{13}-1)(x^{13}-1)x=x^{27}-x,$$

                  where the latter splits over $Bbb{F}_{27}$, we see that $K$ is isomorphic to a subfield of $Bbb{F}_{27}$, and hence isomorphic to $Bbb{F}_{27}$ itself. This means the minimal polynomial of every root of $f$ has degree $3$, that is to say $f$ is a product of four irreducible cubic polynomials. Moreover, we see that $f$ is squarefree, so it is a product of four distinct monic irreducible cubic polynomials. There are only six such polynomials in $Bbb{F}_3$, so pick one and see whether it divides $f$.



                  For $g$ a similar but simpler approach works; it has no roots in $Bbb{F}_3$ so it is either irreducible or a product of two irreducible quadratics. There are only three irreducible quadratics in $Bbb{F}_3[x]$, so this is even easier to check. On the other hand, a brute force check shows that if
                  begin{eqnarray*}
                  x^4+x^3+x+2&=&(x^2+ax+b)(x^2+cx+d)\
                  &=&x^4+(a+c)x^3+(ac+b+d)x^2+(ad+bc)x+bd,
                  end{eqnarray*}

                  then $b=-d$ by comparing constant coefficients. Then the coefficient of $x^2$ shows that $ac=0$, so without loss of generality $a=0$, and then $c=1$ and $b=1$ and $d=2$ so
                  $$g(x)=(x^2+1)(x^2+x+2).$$






                  share|cite|improve this answer











                  $endgroup$



                  Let $K$ be a splitting field of $f$, and note that $f$ has no roots in $Bbb{F}_3$ so in particular $KneqBbb{F}_3$. Because
                  $$(x-1)f(x)=x^{13}-1
                  qquadtext{ and }qquad
                  (x^{13}-1)(x^{13}-1)x=x^{27}-x,$$

                  where the latter splits over $Bbb{F}_{27}$, we see that $K$ is isomorphic to a subfield of $Bbb{F}_{27}$, and hence isomorphic to $Bbb{F}_{27}$ itself. This means the minimal polynomial of every root of $f$ has degree $3$, that is to say $f$ is a product of four irreducible cubic polynomials. Moreover, we see that $f$ is squarefree, so it is a product of four distinct monic irreducible cubic polynomials. There are only six such polynomials in $Bbb{F}_3$, so pick one and see whether it divides $f$.



                  For $g$ a similar but simpler approach works; it has no roots in $Bbb{F}_3$ so it is either irreducible or a product of two irreducible quadratics. There are only three irreducible quadratics in $Bbb{F}_3[x]$, so this is even easier to check. On the other hand, a brute force check shows that if
                  begin{eqnarray*}
                  x^4+x^3+x+2&=&(x^2+ax+b)(x^2+cx+d)\
                  &=&x^4+(a+c)x^3+(ac+b+d)x^2+(ad+bc)x+bd,
                  end{eqnarray*}

                  then $b=-d$ by comparing constant coefficients. Then the coefficient of $x^2$ shows that $ac=0$, so without loss of generality $a=0$, and then $c=1$ and $b=1$ and $d=2$ so
                  $$g(x)=(x^2+1)(x^2+x+2).$$







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited 2 days ago

























                  answered 2 days ago









                  ServaesServaes

                  27.9k34099




                  27.9k34099























                      1












                      $begingroup$

                      $$x^4+x^3+x+2=x^4+x(x^2+1)-1=(x^2+1)(x^2+x-1).$$
                      $$x^{12}+x^{11}+x^{10}+x^9+x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1=$$
                      $$=x^{12}+x^{11}-2x^{10}-8x^9-5x^8+7x^7+16x^6+7x^5-5x^4-8x^3-2x^2+x+1=$$
                      $$=(x^3-x-1)(x^3+x^2-1)(x^3+x^2+x-1)(x^3-x^2-x-1).$$






                      share|cite|improve this answer











                      $endgroup$


















                        1












                        $begingroup$

                        $$x^4+x^3+x+2=x^4+x(x^2+1)-1=(x^2+1)(x^2+x-1).$$
                        $$x^{12}+x^{11}+x^{10}+x^9+x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1=$$
                        $$=x^{12}+x^{11}-2x^{10}-8x^9-5x^8+7x^7+16x^6+7x^5-5x^4-8x^3-2x^2+x+1=$$
                        $$=(x^3-x-1)(x^3+x^2-1)(x^3+x^2+x-1)(x^3-x^2-x-1).$$






                        share|cite|improve this answer











                        $endgroup$
















                          1












                          1








                          1





                          $begingroup$

                          $$x^4+x^3+x+2=x^4+x(x^2+1)-1=(x^2+1)(x^2+x-1).$$
                          $$x^{12}+x^{11}+x^{10}+x^9+x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1=$$
                          $$=x^{12}+x^{11}-2x^{10}-8x^9-5x^8+7x^7+16x^6+7x^5-5x^4-8x^3-2x^2+x+1=$$
                          $$=(x^3-x-1)(x^3+x^2-1)(x^3+x^2+x-1)(x^3-x^2-x-1).$$






                          share|cite|improve this answer











                          $endgroup$



                          $$x^4+x^3+x+2=x^4+x(x^2+1)-1=(x^2+1)(x^2+x-1).$$
                          $$x^{12}+x^{11}+x^{10}+x^9+x^8+x^7+x^6+x^5+x^4+x^3+x^2+x+1=$$
                          $$=x^{12}+x^{11}-2x^{10}-8x^9-5x^8+7x^7+16x^6+7x^5-5x^4-8x^3-2x^2+x+1=$$
                          $$=(x^3-x-1)(x^3+x^2-1)(x^3+x^2+x-1)(x^3-x^2-x-1).$$







                          share|cite|improve this answer














                          share|cite|improve this answer



                          share|cite|improve this answer








                          edited 2 days ago

























                          answered 2 days ago









                          Michael RozenbergMichael Rozenberg

                          107k1895199




                          107k1895199






























                              draft saved

                              draft discarded




















































                              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.




                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function () {
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3140347%2fhow-can-i-factor-x12x11-cdotsx1-in-mathbb-f-3x%23new-answer', 'question_page');
                              }
                              );

                              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







                              Popular posts from this blog

                              Nidaros erkebispedøme

                              Birsay

                              Was Woodrow Wilson really a Liberal?Was World War I a war of liberals against authoritarians?Founding Fathers...