algebraic conjugate and sum of roots of unity

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











up vote
1
down vote

favorite












enter image description here



In above lemma, why $|a'| leq 1$ still holds? I didn't see how it relates to "algebraic conjugate of a root of unity is also a root of unity", since $a$ is the sum of unity.



(definition of algebraic conjugate: http://planetmath.org/algebraicconjugates)










share|cite|improve this question























  • Each $|epsilon_i|$. Their average is inside their convex hull, their convex hull is inside the unit disc.
    – Pp..
    Jan 16 '15 at 22:48










  • @Pp.. How is that related to $a'$?
    – CYC
    Jan 16 '15 at 22:50







  • 1




    When you conjugate $a$ you get an average of some $epsilon_i$. You know, the $epsilon_i$ just get moved around. $sigma(fracsum epsilon_in)=fracsumsigma(epsilon_i)n$
    – Pp..
    Jan 16 '15 at 22:57















up vote
1
down vote

favorite












enter image description here



In above lemma, why $|a'| leq 1$ still holds? I didn't see how it relates to "algebraic conjugate of a root of unity is also a root of unity", since $a$ is the sum of unity.



(definition of algebraic conjugate: http://planetmath.org/algebraicconjugates)










share|cite|improve this question























  • Each $|epsilon_i|$. Their average is inside their convex hull, their convex hull is inside the unit disc.
    – Pp..
    Jan 16 '15 at 22:48










  • @Pp.. How is that related to $a'$?
    – CYC
    Jan 16 '15 at 22:50







  • 1




    When you conjugate $a$ you get an average of some $epsilon_i$. You know, the $epsilon_i$ just get moved around. $sigma(fracsum epsilon_in)=fracsumsigma(epsilon_i)n$
    – Pp..
    Jan 16 '15 at 22:57













up vote
1
down vote

favorite









up vote
1
down vote

favorite











enter image description here



In above lemma, why $|a'| leq 1$ still holds? I didn't see how it relates to "algebraic conjugate of a root of unity is also a root of unity", since $a$ is the sum of unity.



(definition of algebraic conjugate: http://planetmath.org/algebraicconjugates)










share|cite|improve this question















enter image description here



In above lemma, why $|a'| leq 1$ still holds? I didn't see how it relates to "algebraic conjugate of a root of unity is also a root of unity", since $a$ is the sum of unity.



(definition of algebraic conjugate: http://planetmath.org/algebraicconjugates)







abstract-algebra number-theory algebraic-number-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 16 '15 at 22:56

























asked Jan 16 '15 at 22:43









CYC

940711




940711











  • Each $|epsilon_i|$. Their average is inside their convex hull, their convex hull is inside the unit disc.
    – Pp..
    Jan 16 '15 at 22:48










  • @Pp.. How is that related to $a'$?
    – CYC
    Jan 16 '15 at 22:50







  • 1




    When you conjugate $a$ you get an average of some $epsilon_i$. You know, the $epsilon_i$ just get moved around. $sigma(fracsum epsilon_in)=fracsumsigma(epsilon_i)n$
    – Pp..
    Jan 16 '15 at 22:57

















  • Each $|epsilon_i|$. Their average is inside their convex hull, their convex hull is inside the unit disc.
    – Pp..
    Jan 16 '15 at 22:48










  • @Pp.. How is that related to $a'$?
    – CYC
    Jan 16 '15 at 22:50







  • 1




    When you conjugate $a$ you get an average of some $epsilon_i$. You know, the $epsilon_i$ just get moved around. $sigma(fracsum epsilon_in)=fracsumsigma(epsilon_i)n$
    – Pp..
    Jan 16 '15 at 22:57
















Each $|epsilon_i|$. Their average is inside their convex hull, their convex hull is inside the unit disc.
– Pp..
Jan 16 '15 at 22:48




Each $|epsilon_i|$. Their average is inside their convex hull, their convex hull is inside the unit disc.
– Pp..
Jan 16 '15 at 22:48












@Pp.. How is that related to $a'$?
– CYC
Jan 16 '15 at 22:50





@Pp.. How is that related to $a'$?
– CYC
Jan 16 '15 at 22:50





1




1




When you conjugate $a$ you get an average of some $epsilon_i$. You know, the $epsilon_i$ just get moved around. $sigma(fracsum epsilon_in)=fracsumsigma(epsilon_i)n$
– Pp..
Jan 16 '15 at 22:57





When you conjugate $a$ you get an average of some $epsilon_i$. You know, the $epsilon_i$ just get moved around. $sigma(fracsum epsilon_in)=fracsumsigma(epsilon_i)n$
– Pp..
Jan 16 '15 at 22:57











2 Answers
2






active

oldest

votes

















up vote
0
down vote













Just use the triangle inequality.



(Each conjugate of each $varepsilon_i$ is a root of unity, and so has absolute value $1$.)






share|cite|improve this answer



























    up vote
    0
    down vote



    accepted










    We have $sigma (sum epsilon_i/n) = sumsigma(epsilon_i)/n$, since each $|sigma(epsilon_i)|=1$, $|a'|=|sigma(a)|=1$.






    share|cite|improve this answer




















      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%2f1107250%2falgebraic-conjugate-and-sum-of-roots-of-unity%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
      0
      down vote













      Just use the triangle inequality.



      (Each conjugate of each $varepsilon_i$ is a root of unity, and so has absolute value $1$.)






      share|cite|improve this answer
























        up vote
        0
        down vote













        Just use the triangle inequality.



        (Each conjugate of each $varepsilon_i$ is a root of unity, and so has absolute value $1$.)






        share|cite|improve this answer






















          up vote
          0
          down vote










          up vote
          0
          down vote









          Just use the triangle inequality.



          (Each conjugate of each $varepsilon_i$ is a root of unity, and so has absolute value $1$.)






          share|cite|improve this answer












          Just use the triangle inequality.



          (Each conjugate of each $varepsilon_i$ is a root of unity, and so has absolute value $1$.)







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Jan 17 '15 at 2:23









          tracing

          4,337815




          4,337815




















              up vote
              0
              down vote



              accepted










              We have $sigma (sum epsilon_i/n) = sumsigma(epsilon_i)/n$, since each $|sigma(epsilon_i)|=1$, $|a'|=|sigma(a)|=1$.






              share|cite|improve this answer
























                up vote
                0
                down vote



                accepted










                We have $sigma (sum epsilon_i/n) = sumsigma(epsilon_i)/n$, since each $|sigma(epsilon_i)|=1$, $|a'|=|sigma(a)|=1$.






                share|cite|improve this answer






















                  up vote
                  0
                  down vote



                  accepted







                  up vote
                  0
                  down vote



                  accepted






                  We have $sigma (sum epsilon_i/n) = sumsigma(epsilon_i)/n$, since each $|sigma(epsilon_i)|=1$, $|a'|=|sigma(a)|=1$.






                  share|cite|improve this answer












                  We have $sigma (sum epsilon_i/n) = sumsigma(epsilon_i)/n$, since each $|sigma(epsilon_i)|=1$, $|a'|=|sigma(a)|=1$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Sep 9 at 11:47









                  CYC

                  940711




                  940711



























                       

                      draft saved


                      draft discarded















































                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1107250%2falgebraic-conjugate-and-sum-of-roots-of-unity%23new-answer', 'question_page');

                      );

                      Post as a guest













































































                      這個網誌中的熱門文章

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

                      Is there any way to eliminate the singular point to solve this integral by hand or by approximations?

                      Strongly p-embedded subgroups and p-Sylow subgroups.