Degree of splitting field of $x^5-1$ over $mathbb{Q}$ and the order of its Galois group?












1












$begingroup$


If I understand the result here correctly, the order of the Galois group is equal to the degree of the extension. That said, I am fairly certain that the splitting field $E$ of $x^5-1$ over $mathbb{Q}$ is
$$E={a_0+a_1omega+a_2omega^2+a_3omega^3+a_4omega^4}$$ where $omega$ is a complex root of unity. $E$, as a $mathbb{Q}$-vector space, has dimension 5.



However, if I understand this correctly, the Galois group for this polynomial is $mathbb{Z}/5mathbb{Z}^*$, which has order 4.



What is it that I'm missing? Am I misinterpreting or miscomputing the dimension of $E$ as a $mathbb{Q}$-vector space, or am I misinterpreting the post and the Galois group is in fact not the aforementioned group of units?










share|cite|improve this question











$endgroup$

















    1












    $begingroup$


    If I understand the result here correctly, the order of the Galois group is equal to the degree of the extension. That said, I am fairly certain that the splitting field $E$ of $x^5-1$ over $mathbb{Q}$ is
    $$E={a_0+a_1omega+a_2omega^2+a_3omega^3+a_4omega^4}$$ where $omega$ is a complex root of unity. $E$, as a $mathbb{Q}$-vector space, has dimension 5.



    However, if I understand this correctly, the Galois group for this polynomial is $mathbb{Z}/5mathbb{Z}^*$, which has order 4.



    What is it that I'm missing? Am I misinterpreting or miscomputing the dimension of $E$ as a $mathbb{Q}$-vector space, or am I misinterpreting the post and the Galois group is in fact not the aforementioned group of units?










    share|cite|improve this question











    $endgroup$















      1












      1








      1





      $begingroup$


      If I understand the result here correctly, the order of the Galois group is equal to the degree of the extension. That said, I am fairly certain that the splitting field $E$ of $x^5-1$ over $mathbb{Q}$ is
      $$E={a_0+a_1omega+a_2omega^2+a_3omega^3+a_4omega^4}$$ where $omega$ is a complex root of unity. $E$, as a $mathbb{Q}$-vector space, has dimension 5.



      However, if I understand this correctly, the Galois group for this polynomial is $mathbb{Z}/5mathbb{Z}^*$, which has order 4.



      What is it that I'm missing? Am I misinterpreting or miscomputing the dimension of $E$ as a $mathbb{Q}$-vector space, or am I misinterpreting the post and the Galois group is in fact not the aforementioned group of units?










      share|cite|improve this question











      $endgroup$




      If I understand the result here correctly, the order of the Galois group is equal to the degree of the extension. That said, I am fairly certain that the splitting field $E$ of $x^5-1$ over $mathbb{Q}$ is
      $$E={a_0+a_1omega+a_2omega^2+a_3omega^3+a_4omega^4}$$ where $omega$ is a complex root of unity. $E$, as a $mathbb{Q}$-vector space, has dimension 5.



      However, if I understand this correctly, the Galois group for this polynomial is $mathbb{Z}/5mathbb{Z}^*$, which has order 4.



      What is it that I'm missing? Am I misinterpreting or miscomputing the dimension of $E$ as a $mathbb{Q}$-vector space, or am I misinterpreting the post and the Galois group is in fact not the aforementioned group of units?







      group-theory field-theory galois-theory






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Dec 11 '18 at 1:07







      Daniel

















      asked Dec 10 '18 at 21:24









      DanielDaniel

      599




      599






















          3 Answers
          3






          active

          oldest

          votes


















          4












          $begingroup$

          The polynomial is reducible: $x^5-1=(x-1)(x^4+x^3+x^2+x+1)$.
          You do not need to add the element $1$ to the field (it is already there), only a root of the quaternary polynomial (which generates the rest of the roots). That is why the degree is $4$.






          share|cite|improve this answer









          $endgroup$





















            3












            $begingroup$

            While your $E$ is the right space, the set ${1,omega,omega^2,omega^3,omega^4}$ is not a basis for it, because that set isn't linearly independent over $mathbb{Q}$. We have the dependence relation $1+omega+omega^2+omega^3+omega^4$ (and nothing else), so any four of those suffice as a basis. As a vector space over $mathbb{Q}$, $E$ has dimension $4$ - so it's not a surprise when the Galois group has order $4$.






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              Ah! I should've realized that the relation allowed us to generate the rationals using only $mathbb{Q}$-linear sums of the powers of $omega$! Thank you.
              $endgroup$
              – Daniel
              Dec 11 '18 at 1:53










            • $begingroup$
              One additional question if you don't mind: is E going to be equal to $mathbb{Q}(omega)$ or will it be something like $mathbb{Q}(omega)(omega^2)$?
              $endgroup$
              – Daniel
              Dec 11 '18 at 2:06












            • $begingroup$
              I suppose I am wondering how I'm supposed to symbolically represent $E$. My suspicion is that it's $E(omega)(omega^2)$ because elements will end up looking like $${f+f'omega^2 ; | ; f,f'in mathbb{Q}(omega)}={a+bomega + c omega^2 +domega^3 ; | ; a,b,c,d in mathbb{Q}}$$
              $endgroup$
              – Daniel
              Dec 11 '18 at 2:12










            • $begingroup$
              Sorry, $mathbb{Q}(omega)(omega^2)$
              $endgroup$
              – Daniel
              Dec 11 '18 at 2:28










            • $begingroup$
              How you represent it depends on whether you're looking for a vector space basis or an algebraic generator. As a vector space, pick four of the roots to be a basis. If you're allowing multiplication, it's just $mathbb{Q}(omega)$.
              $endgroup$
              – jmerry
              Dec 11 '18 at 2:29



















            0












            $begingroup$

            Order of Galois extension need not equal to degree of extension it is less than equal to degree of extension example is |Aut (Q(2^{1/3})/Q)| =1 but [ Q(2^{1/3}) : Q ] is 3 and equality hold when extension is splitting field of separable polynomial.






            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%2f3034497%2fdegree-of-splitting-field-of-x5-1-over-mathbbq-and-the-order-of-its-galo%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$

              The polynomial is reducible: $x^5-1=(x-1)(x^4+x^3+x^2+x+1)$.
              You do not need to add the element $1$ to the field (it is already there), only a root of the quaternary polynomial (which generates the rest of the roots). That is why the degree is $4$.






              share|cite|improve this answer









              $endgroup$


















                4












                $begingroup$

                The polynomial is reducible: $x^5-1=(x-1)(x^4+x^3+x^2+x+1)$.
                You do not need to add the element $1$ to the field (it is already there), only a root of the quaternary polynomial (which generates the rest of the roots). That is why the degree is $4$.






                share|cite|improve this answer









                $endgroup$
















                  4












                  4








                  4





                  $begingroup$

                  The polynomial is reducible: $x^5-1=(x-1)(x^4+x^3+x^2+x+1)$.
                  You do not need to add the element $1$ to the field (it is already there), only a root of the quaternary polynomial (which generates the rest of the roots). That is why the degree is $4$.






                  share|cite|improve this answer









                  $endgroup$



                  The polynomial is reducible: $x^5-1=(x-1)(x^4+x^3+x^2+x+1)$.
                  You do not need to add the element $1$ to the field (it is already there), only a root of the quaternary polynomial (which generates the rest of the roots). That is why the degree is $4$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Dec 10 '18 at 21:30









                  A. PongráczA. Pongrácz

                  5,9631929




                  5,9631929























                      3












                      $begingroup$

                      While your $E$ is the right space, the set ${1,omega,omega^2,omega^3,omega^4}$ is not a basis for it, because that set isn't linearly independent over $mathbb{Q}$. We have the dependence relation $1+omega+omega^2+omega^3+omega^4$ (and nothing else), so any four of those suffice as a basis. As a vector space over $mathbb{Q}$, $E$ has dimension $4$ - so it's not a surprise when the Galois group has order $4$.






                      share|cite|improve this answer









                      $endgroup$













                      • $begingroup$
                        Ah! I should've realized that the relation allowed us to generate the rationals using only $mathbb{Q}$-linear sums of the powers of $omega$! Thank you.
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 1:53










                      • $begingroup$
                        One additional question if you don't mind: is E going to be equal to $mathbb{Q}(omega)$ or will it be something like $mathbb{Q}(omega)(omega^2)$?
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 2:06












                      • $begingroup$
                        I suppose I am wondering how I'm supposed to symbolically represent $E$. My suspicion is that it's $E(omega)(omega^2)$ because elements will end up looking like $${f+f'omega^2 ; | ; f,f'in mathbb{Q}(omega)}={a+bomega + c omega^2 +domega^3 ; | ; a,b,c,d in mathbb{Q}}$$
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 2:12










                      • $begingroup$
                        Sorry, $mathbb{Q}(omega)(omega^2)$
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 2:28










                      • $begingroup$
                        How you represent it depends on whether you're looking for a vector space basis or an algebraic generator. As a vector space, pick four of the roots to be a basis. If you're allowing multiplication, it's just $mathbb{Q}(omega)$.
                        $endgroup$
                        – jmerry
                        Dec 11 '18 at 2:29
















                      3












                      $begingroup$

                      While your $E$ is the right space, the set ${1,omega,omega^2,omega^3,omega^4}$ is not a basis for it, because that set isn't linearly independent over $mathbb{Q}$. We have the dependence relation $1+omega+omega^2+omega^3+omega^4$ (and nothing else), so any four of those suffice as a basis. As a vector space over $mathbb{Q}$, $E$ has dimension $4$ - so it's not a surprise when the Galois group has order $4$.






                      share|cite|improve this answer









                      $endgroup$













                      • $begingroup$
                        Ah! I should've realized that the relation allowed us to generate the rationals using only $mathbb{Q}$-linear sums of the powers of $omega$! Thank you.
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 1:53










                      • $begingroup$
                        One additional question if you don't mind: is E going to be equal to $mathbb{Q}(omega)$ or will it be something like $mathbb{Q}(omega)(omega^2)$?
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 2:06












                      • $begingroup$
                        I suppose I am wondering how I'm supposed to symbolically represent $E$. My suspicion is that it's $E(omega)(omega^2)$ because elements will end up looking like $${f+f'omega^2 ; | ; f,f'in mathbb{Q}(omega)}={a+bomega + c omega^2 +domega^3 ; | ; a,b,c,d in mathbb{Q}}$$
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 2:12










                      • $begingroup$
                        Sorry, $mathbb{Q}(omega)(omega^2)$
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 2:28










                      • $begingroup$
                        How you represent it depends on whether you're looking for a vector space basis or an algebraic generator. As a vector space, pick four of the roots to be a basis. If you're allowing multiplication, it's just $mathbb{Q}(omega)$.
                        $endgroup$
                        – jmerry
                        Dec 11 '18 at 2:29














                      3












                      3








                      3





                      $begingroup$

                      While your $E$ is the right space, the set ${1,omega,omega^2,omega^3,omega^4}$ is not a basis for it, because that set isn't linearly independent over $mathbb{Q}$. We have the dependence relation $1+omega+omega^2+omega^3+omega^4$ (and nothing else), so any four of those suffice as a basis. As a vector space over $mathbb{Q}$, $E$ has dimension $4$ - so it's not a surprise when the Galois group has order $4$.






                      share|cite|improve this answer









                      $endgroup$



                      While your $E$ is the right space, the set ${1,omega,omega^2,omega^3,omega^4}$ is not a basis for it, because that set isn't linearly independent over $mathbb{Q}$. We have the dependence relation $1+omega+omega^2+omega^3+omega^4$ (and nothing else), so any four of those suffice as a basis. As a vector space over $mathbb{Q}$, $E$ has dimension $4$ - so it's not a surprise when the Galois group has order $4$.







                      share|cite|improve this answer












                      share|cite|improve this answer



                      share|cite|improve this answer










                      answered Dec 10 '18 at 21:53









                      jmerryjmerry

                      6,602718




                      6,602718












                      • $begingroup$
                        Ah! I should've realized that the relation allowed us to generate the rationals using only $mathbb{Q}$-linear sums of the powers of $omega$! Thank you.
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 1:53










                      • $begingroup$
                        One additional question if you don't mind: is E going to be equal to $mathbb{Q}(omega)$ or will it be something like $mathbb{Q}(omega)(omega^2)$?
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 2:06












                      • $begingroup$
                        I suppose I am wondering how I'm supposed to symbolically represent $E$. My suspicion is that it's $E(omega)(omega^2)$ because elements will end up looking like $${f+f'omega^2 ; | ; f,f'in mathbb{Q}(omega)}={a+bomega + c omega^2 +domega^3 ; | ; a,b,c,d in mathbb{Q}}$$
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 2:12










                      • $begingroup$
                        Sorry, $mathbb{Q}(omega)(omega^2)$
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 2:28










                      • $begingroup$
                        How you represent it depends on whether you're looking for a vector space basis or an algebraic generator. As a vector space, pick four of the roots to be a basis. If you're allowing multiplication, it's just $mathbb{Q}(omega)$.
                        $endgroup$
                        – jmerry
                        Dec 11 '18 at 2:29


















                      • $begingroup$
                        Ah! I should've realized that the relation allowed us to generate the rationals using only $mathbb{Q}$-linear sums of the powers of $omega$! Thank you.
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 1:53










                      • $begingroup$
                        One additional question if you don't mind: is E going to be equal to $mathbb{Q}(omega)$ or will it be something like $mathbb{Q}(omega)(omega^2)$?
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 2:06












                      • $begingroup$
                        I suppose I am wondering how I'm supposed to symbolically represent $E$. My suspicion is that it's $E(omega)(omega^2)$ because elements will end up looking like $${f+f'omega^2 ; | ; f,f'in mathbb{Q}(omega)}={a+bomega + c omega^2 +domega^3 ; | ; a,b,c,d in mathbb{Q}}$$
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 2:12










                      • $begingroup$
                        Sorry, $mathbb{Q}(omega)(omega^2)$
                        $endgroup$
                        – Daniel
                        Dec 11 '18 at 2:28










                      • $begingroup$
                        How you represent it depends on whether you're looking for a vector space basis or an algebraic generator. As a vector space, pick four of the roots to be a basis. If you're allowing multiplication, it's just $mathbb{Q}(omega)$.
                        $endgroup$
                        – jmerry
                        Dec 11 '18 at 2:29
















                      $begingroup$
                      Ah! I should've realized that the relation allowed us to generate the rationals using only $mathbb{Q}$-linear sums of the powers of $omega$! Thank you.
                      $endgroup$
                      – Daniel
                      Dec 11 '18 at 1:53




                      $begingroup$
                      Ah! I should've realized that the relation allowed us to generate the rationals using only $mathbb{Q}$-linear sums of the powers of $omega$! Thank you.
                      $endgroup$
                      – Daniel
                      Dec 11 '18 at 1:53












                      $begingroup$
                      One additional question if you don't mind: is E going to be equal to $mathbb{Q}(omega)$ or will it be something like $mathbb{Q}(omega)(omega^2)$?
                      $endgroup$
                      – Daniel
                      Dec 11 '18 at 2:06






                      $begingroup$
                      One additional question if you don't mind: is E going to be equal to $mathbb{Q}(omega)$ or will it be something like $mathbb{Q}(omega)(omega^2)$?
                      $endgroup$
                      – Daniel
                      Dec 11 '18 at 2:06














                      $begingroup$
                      I suppose I am wondering how I'm supposed to symbolically represent $E$. My suspicion is that it's $E(omega)(omega^2)$ because elements will end up looking like $${f+f'omega^2 ; | ; f,f'in mathbb{Q}(omega)}={a+bomega + c omega^2 +domega^3 ; | ; a,b,c,d in mathbb{Q}}$$
                      $endgroup$
                      – Daniel
                      Dec 11 '18 at 2:12




                      $begingroup$
                      I suppose I am wondering how I'm supposed to symbolically represent $E$. My suspicion is that it's $E(omega)(omega^2)$ because elements will end up looking like $${f+f'omega^2 ; | ; f,f'in mathbb{Q}(omega)}={a+bomega + c omega^2 +domega^3 ; | ; a,b,c,d in mathbb{Q}}$$
                      $endgroup$
                      – Daniel
                      Dec 11 '18 at 2:12












                      $begingroup$
                      Sorry, $mathbb{Q}(omega)(omega^2)$
                      $endgroup$
                      – Daniel
                      Dec 11 '18 at 2:28




                      $begingroup$
                      Sorry, $mathbb{Q}(omega)(omega^2)$
                      $endgroup$
                      – Daniel
                      Dec 11 '18 at 2:28












                      $begingroup$
                      How you represent it depends on whether you're looking for a vector space basis or an algebraic generator. As a vector space, pick four of the roots to be a basis. If you're allowing multiplication, it's just $mathbb{Q}(omega)$.
                      $endgroup$
                      – jmerry
                      Dec 11 '18 at 2:29




                      $begingroup$
                      How you represent it depends on whether you're looking for a vector space basis or an algebraic generator. As a vector space, pick four of the roots to be a basis. If you're allowing multiplication, it's just $mathbb{Q}(omega)$.
                      $endgroup$
                      – jmerry
                      Dec 11 '18 at 2:29











                      0












                      $begingroup$

                      Order of Galois extension need not equal to degree of extension it is less than equal to degree of extension example is |Aut (Q(2^{1/3})/Q)| =1 but [ Q(2^{1/3}) : Q ] is 3 and equality hold when extension is splitting field of separable polynomial.






                      share|cite|improve this answer









                      $endgroup$


















                        0












                        $begingroup$

                        Order of Galois extension need not equal to degree of extension it is less than equal to degree of extension example is |Aut (Q(2^{1/3})/Q)| =1 but [ Q(2^{1/3}) : Q ] is 3 and equality hold when extension is splitting field of separable polynomial.






                        share|cite|improve this answer









                        $endgroup$
















                          0












                          0








                          0





                          $begingroup$

                          Order of Galois extension need not equal to degree of extension it is less than equal to degree of extension example is |Aut (Q(2^{1/3})/Q)| =1 but [ Q(2^{1/3}) : Q ] is 3 and equality hold when extension is splitting field of separable polynomial.






                          share|cite|improve this answer









                          $endgroup$



                          Order of Galois extension need not equal to degree of extension it is less than equal to degree of extension example is |Aut (Q(2^{1/3})/Q)| =1 but [ Q(2^{1/3}) : Q ] is 3 and equality hold when extension is splitting field of separable polynomial.







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Dec 14 '18 at 12:22









                          user499117user499117

                          409




                          409






























                              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%2f3034497%2fdegree-of-splitting-field-of-x5-1-over-mathbbq-and-the-order-of-its-galo%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

                              Ellipse (mathématiques)

                              Quarter-circle Tiles

                              Mont Emei