Let $p$ be prime and $nmid p-1$. Let $gcd(a,p)=1$, and $a^(p-1)/n equiv 1 mod p$. Show that there are $n$ solutions to $x^n equiv a mod p$.

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











up vote
1
down vote

favorite













Let $p$ be prime and $n$ divide $p-1$. Let $gcd(a,p)=1$, and $a^(p-1)/n equiv 1 mod p$. Show that there are $n$ solutions to $x^n equiv a mod p$ for $x$ if $a$ is a constant.




For now I have come up with that there are $p-1$ solutions to $x^p-1 equiv 1 mod p$







share|cite|improve this question


























    up vote
    1
    down vote

    favorite













    Let $p$ be prime and $n$ divide $p-1$. Let $gcd(a,p)=1$, and $a^(p-1)/n equiv 1 mod p$. Show that there are $n$ solutions to $x^n equiv a mod p$ for $x$ if $a$ is a constant.




    For now I have come up with that there are $p-1$ solutions to $x^p-1 equiv 1 mod p$







    share|cite|improve this question
























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite












      Let $p$ be prime and $n$ divide $p-1$. Let $gcd(a,p)=1$, and $a^(p-1)/n equiv 1 mod p$. Show that there are $n$ solutions to $x^n equiv a mod p$ for $x$ if $a$ is a constant.




      For now I have come up with that there are $p-1$ solutions to $x^p-1 equiv 1 mod p$







      share|cite|improve this question















      Let $p$ be prime and $n$ divide $p-1$. Let $gcd(a,p)=1$, and $a^(p-1)/n equiv 1 mod p$. Show that there are $n$ solutions to $x^n equiv a mod p$ for $x$ if $a$ is a constant.




      For now I have come up with that there are $p-1$ solutions to $x^p-1 equiv 1 mod p$









      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Aug 28 at 19:14









      Shaun

      7,45092972




      7,45092972










      asked Aug 28 at 18:34









      Kai

      242




      242




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          2
          down vote













          Let $g $ be a primitive root modulo $p$ and $uinBbb Z $ such that $a=g^u $.



          By assumption, there exists an integer $m $ such that $p-1=nm $.



          From $a^mequiv 1pmod p $ follows $muequiv 0pmod mn $, hence there exists an integer $v $ such that $u=vn $.



          If $x=g^y $, then we have $x^nequiv apmod p $ if and only if $ynequiv upmod mn $, that's $yequiv vpmod m$.
          Consequently, $x^v+km $ for $0leq kleq n-1$ are the required $n $ solutions.






          share|cite|improve this answer






















          • What is Fxp? Thanks.
            – Kai
            Aug 29 at 2:05










          • Is a generator also called a primitive root?
            – Kai
            Aug 29 at 2:56










          • Fxp is the name of collection of generator units, right?
            – Kai
            Aug 29 at 2:58










          • @kai: I mean primitive root modulo $p $, I edit my answer.
            – Fabio Lucchini
            Aug 29 at 7:19







          • 1




            $(g^v+km)^n=g^nv+kmn=g^u+k(p-1)=g^u=a$ (mod p)
            – Kai
            Sep 1 at 1:09










          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%2f2897558%2flet-p-be-prime-and-n-mid-p-1-let-gcda-p-1-and-ap-1-n-equiv-1-m%23new-answer', 'question_page');

          );

          Post as a guest






























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          2
          down vote













          Let $g $ be a primitive root modulo $p$ and $uinBbb Z $ such that $a=g^u $.



          By assumption, there exists an integer $m $ such that $p-1=nm $.



          From $a^mequiv 1pmod p $ follows $muequiv 0pmod mn $, hence there exists an integer $v $ such that $u=vn $.



          If $x=g^y $, then we have $x^nequiv apmod p $ if and only if $ynequiv upmod mn $, that's $yequiv vpmod m$.
          Consequently, $x^v+km $ for $0leq kleq n-1$ are the required $n $ solutions.






          share|cite|improve this answer






















          • What is Fxp? Thanks.
            – Kai
            Aug 29 at 2:05










          • Is a generator also called a primitive root?
            – Kai
            Aug 29 at 2:56










          • Fxp is the name of collection of generator units, right?
            – Kai
            Aug 29 at 2:58










          • @kai: I mean primitive root modulo $p $, I edit my answer.
            – Fabio Lucchini
            Aug 29 at 7:19







          • 1




            $(g^v+km)^n=g^nv+kmn=g^u+k(p-1)=g^u=a$ (mod p)
            – Kai
            Sep 1 at 1:09














          up vote
          2
          down vote













          Let $g $ be a primitive root modulo $p$ and $uinBbb Z $ such that $a=g^u $.



          By assumption, there exists an integer $m $ such that $p-1=nm $.



          From $a^mequiv 1pmod p $ follows $muequiv 0pmod mn $, hence there exists an integer $v $ such that $u=vn $.



          If $x=g^y $, then we have $x^nequiv apmod p $ if and only if $ynequiv upmod mn $, that's $yequiv vpmod m$.
          Consequently, $x^v+km $ for $0leq kleq n-1$ are the required $n $ solutions.






          share|cite|improve this answer






















          • What is Fxp? Thanks.
            – Kai
            Aug 29 at 2:05










          • Is a generator also called a primitive root?
            – Kai
            Aug 29 at 2:56










          • Fxp is the name of collection of generator units, right?
            – Kai
            Aug 29 at 2:58










          • @kai: I mean primitive root modulo $p $, I edit my answer.
            – Fabio Lucchini
            Aug 29 at 7:19







          • 1




            $(g^v+km)^n=g^nv+kmn=g^u+k(p-1)=g^u=a$ (mod p)
            – Kai
            Sep 1 at 1:09












          up vote
          2
          down vote










          up vote
          2
          down vote









          Let $g $ be a primitive root modulo $p$ and $uinBbb Z $ such that $a=g^u $.



          By assumption, there exists an integer $m $ such that $p-1=nm $.



          From $a^mequiv 1pmod p $ follows $muequiv 0pmod mn $, hence there exists an integer $v $ such that $u=vn $.



          If $x=g^y $, then we have $x^nequiv apmod p $ if and only if $ynequiv upmod mn $, that's $yequiv vpmod m$.
          Consequently, $x^v+km $ for $0leq kleq n-1$ are the required $n $ solutions.






          share|cite|improve this answer














          Let $g $ be a primitive root modulo $p$ and $uinBbb Z $ such that $a=g^u $.



          By assumption, there exists an integer $m $ such that $p-1=nm $.



          From $a^mequiv 1pmod p $ follows $muequiv 0pmod mn $, hence there exists an integer $v $ such that $u=vn $.



          If $x=g^y $, then we have $x^nequiv apmod p $ if and only if $ynequiv upmod mn $, that's $yequiv vpmod m$.
          Consequently, $x^v+km $ for $0leq kleq n-1$ are the required $n $ solutions.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Aug 29 at 7:17

























          answered Aug 28 at 22:57









          Fabio Lucchini

          6,20911126




          6,20911126











          • What is Fxp? Thanks.
            – Kai
            Aug 29 at 2:05










          • Is a generator also called a primitive root?
            – Kai
            Aug 29 at 2:56










          • Fxp is the name of collection of generator units, right?
            – Kai
            Aug 29 at 2:58










          • @kai: I mean primitive root modulo $p $, I edit my answer.
            – Fabio Lucchini
            Aug 29 at 7:19







          • 1




            $(g^v+km)^n=g^nv+kmn=g^u+k(p-1)=g^u=a$ (mod p)
            – Kai
            Sep 1 at 1:09
















          • What is Fxp? Thanks.
            – Kai
            Aug 29 at 2:05










          • Is a generator also called a primitive root?
            – Kai
            Aug 29 at 2:56










          • Fxp is the name of collection of generator units, right?
            – Kai
            Aug 29 at 2:58










          • @kai: I mean primitive root modulo $p $, I edit my answer.
            – Fabio Lucchini
            Aug 29 at 7:19







          • 1




            $(g^v+km)^n=g^nv+kmn=g^u+k(p-1)=g^u=a$ (mod p)
            – Kai
            Sep 1 at 1:09















          What is Fxp? Thanks.
          – Kai
          Aug 29 at 2:05




          What is Fxp? Thanks.
          – Kai
          Aug 29 at 2:05












          Is a generator also called a primitive root?
          – Kai
          Aug 29 at 2:56




          Is a generator also called a primitive root?
          – Kai
          Aug 29 at 2:56












          Fxp is the name of collection of generator units, right?
          – Kai
          Aug 29 at 2:58




          Fxp is the name of collection of generator units, right?
          – Kai
          Aug 29 at 2:58












          @kai: I mean primitive root modulo $p $, I edit my answer.
          – Fabio Lucchini
          Aug 29 at 7:19





          @kai: I mean primitive root modulo $p $, I edit my answer.
          – Fabio Lucchini
          Aug 29 at 7:19





          1




          1




          $(g^v+km)^n=g^nv+kmn=g^u+k(p-1)=g^u=a$ (mod p)
          – Kai
          Sep 1 at 1:09




          $(g^v+km)^n=g^nv+kmn=g^u+k(p-1)=g^u=a$ (mod p)
          – Kai
          Sep 1 at 1:09

















           

          draft saved


          draft discarded















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2897558%2flet-p-be-prime-and-n-mid-p-1-let-gcda-p-1-and-ap-1-n-equiv-1-m%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?