Is this congruence equation has solutions? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Linear congruenceQuadratic congruenceShow congruence has different number of solutions if $p$ has different formsLet P and Q be integers such that P is odd, and gcd(P,Q)=1. Consider the congruence equation $X^2 equiv Q mod P$. Prove thatCongruence mod396Solving for solutions to a congruence$2^n + 3^n = x^p$ has no solutions over the natural numbersCo-prime solutions of Linear CongruencesCongruence relationNumber of solutions to a congruence equation

What's the meaning of 間時肆拾貳 at a car parking sign

A coin, having probability p of landing heads and probability of q=(1-p) of landing on heads.

How to run gsettings for another user Ubuntu 18.04.2 LTS

2001: A Space Odyssey's use of the song "Daisy Bell" (Bicycle Built for Two); life imitates art or vice-versa?

Error "illegal generic type for instanceof" when using local classes

Dating a Former Employee

Should I discuss the type of campaign with my players?

What does an IRS interview request entail when called in to verify expenses for a sole proprietor small business?

Using audio cues to encourage good posture

Extract all GPU name, model and GPU ram

Why are Kinder Surprise Eggs illegal in the USA?

Why did the rest of the Eastern Bloc not invade Yugoslavia?

How discoverable are IPv6 addresses and AAAA names by potential attackers?

At the end of Thor: Ragnarok why don't the Asgardians turn and head for the Bifrost as per their original plan?

Can a USB port passively 'listen only'?

How to find out what spells would be useless to a blind NPC spellcaster?

Can a non-EU citizen traveling with me come with me through the EU passport line?

How widely used is the term Treppenwitz? Is it something that most Germans know?

String `!23` is replaced with `docker` in command line

What exactly is a "Meth" in Altered Carbon?

What causes the vertical darker bands in my photo?

List of Python versions

How come Sam didn't become Lord of Horn Hill?

Overriding an object in memory with placement new



Is this congruence equation has solutions?



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Linear congruenceQuadratic congruenceShow congruence has different number of solutions if $p$ has different formsLet P and Q be integers such that P is odd, and gcd(P,Q)=1. Consider the congruence equation $X^2 equiv Q mod P$. Prove thatCongruence mod396Solving for solutions to a congruence$2^n + 3^n = x^p$ has no solutions over the natural numbersCo-prime solutions of Linear CongruencesCongruence relationNumber of solutions to a congruence equation










0












$begingroup$




For any two positive integers $n ,N$ consider the congruence $n!X equiv p^n (text mod p^N)$ ($n < N,$ $p$ is a prime).





Does this congruence equation have solutions? If it does, how to prove it?



I tried to prove $v_p(n!) le n$. But it seems not true.



Where $v_p(n)$ is maximum power $k$ of $p$ where $p^k$ divides $n.$



Please help!










share|cite|improve this question











$endgroup$
















    0












    $begingroup$




    For any two positive integers $n ,N$ consider the congruence $n!X equiv p^n (text mod p^N)$ ($n < N,$ $p$ is a prime).





    Does this congruence equation have solutions? If it does, how to prove it?



    I tried to prove $v_p(n!) le n$. But it seems not true.



    Where $v_p(n)$ is maximum power $k$ of $p$ where $p^k$ divides $n.$



    Please help!










    share|cite|improve this question











    $endgroup$














      0












      0








      0


      0



      $begingroup$




      For any two positive integers $n ,N$ consider the congruence $n!X equiv p^n (text mod p^N)$ ($n < N,$ $p$ is a prime).





      Does this congruence equation have solutions? If it does, how to prove it?



      I tried to prove $v_p(n!) le n$. But it seems not true.



      Where $v_p(n)$ is maximum power $k$ of $p$ where $p^k$ divides $n.$



      Please help!










      share|cite|improve this question











      $endgroup$






      For any two positive integers $n ,N$ consider the congruence $n!X equiv p^n (text mod p^N)$ ($n < N,$ $p$ is a prime).





      Does this congruence equation have solutions? If it does, how to prove it?



      I tried to prove $v_p(n!) le n$. But it seems not true.



      Where $v_p(n)$ is maximum power $k$ of $p$ where $p^k$ divides $n.$



      Please help!







      number-theory






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Apr 1 at 7:21









      Dbchatto67

      3,205625




      3,205625










      asked Apr 1 at 7:05









      ogadaogada

      31




      31




















          1 Answer
          1






          active

          oldest

          votes


















          1












          $begingroup$

          Hint $:$ First observe that the highest power $v_p (n!)$ of $p$ dividing $n!$ is



          $$v_p (n!) = sumlimits_k=1^infty left lfloor frac n p^k right rfloor = sumlimits_k=1^m left lfloor frac n p^k right rfloor < sumlimits_k=1^infty frac n p^k = frac n p-1 leq n$$ since $p geq 2,$ where $m=left lfloor frac log_e n log_e p right rfloor.$



          Now if $text gcd (n!,p^N)=1$ you are through since then $n!$ is a unit in $Bbb Z/ p^N Bbb Z.$ If $text gcd (n!,p^N)=p.$ Since $N geq 2$ it follows that one is the highest power of $p$ that can divide $n!.$ But then $text gcd left (frac n! p,p^N right ) = 1.$ So the congruence $frac n! p X equiv p^n-1 (text mod p^N)$ has a unique solution. Hence the given congruence relation admits a solution. This process can be similarly extended to the cases where $text gcd(n!,p^N) = p^k,$ where $1 leq k leq n.$






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            See my edited answer above @ogada.
            $endgroup$
            – Dbchatto67
            Apr 1 at 8:22











          • $begingroup$
            thank you very much!
            $endgroup$
            – ogada
            Apr 1 at 9:46










          • $begingroup$
            Have you understood all my reasonings clearly @ogada? If not please let me inform without any hesitation.
            $endgroup$
            – Dbchatto67
            Apr 1 at 9:47











          • $begingroup$
            Yes. I just struggled with proving first observation. and your explanation is very clear!
            $endgroup$
            – ogada
            Apr 1 at 9:52










          • $begingroup$
            Really very glad to help you.
            $endgroup$
            – Dbchatto67
            Apr 1 at 9:54











          Your Answer








          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%2f3170297%2fis-this-congruence-equation-has-solutions%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          1












          $begingroup$

          Hint $:$ First observe that the highest power $v_p (n!)$ of $p$ dividing $n!$ is



          $$v_p (n!) = sumlimits_k=1^infty left lfloor frac n p^k right rfloor = sumlimits_k=1^m left lfloor frac n p^k right rfloor < sumlimits_k=1^infty frac n p^k = frac n p-1 leq n$$ since $p geq 2,$ where $m=left lfloor frac log_e n log_e p right rfloor.$



          Now if $text gcd (n!,p^N)=1$ you are through since then $n!$ is a unit in $Bbb Z/ p^N Bbb Z.$ If $text gcd (n!,p^N)=p.$ Since $N geq 2$ it follows that one is the highest power of $p$ that can divide $n!.$ But then $text gcd left (frac n! p,p^N right ) = 1.$ So the congruence $frac n! p X equiv p^n-1 (text mod p^N)$ has a unique solution. Hence the given congruence relation admits a solution. This process can be similarly extended to the cases where $text gcd(n!,p^N) = p^k,$ where $1 leq k leq n.$






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            See my edited answer above @ogada.
            $endgroup$
            – Dbchatto67
            Apr 1 at 8:22











          • $begingroup$
            thank you very much!
            $endgroup$
            – ogada
            Apr 1 at 9:46










          • $begingroup$
            Have you understood all my reasonings clearly @ogada? If not please let me inform without any hesitation.
            $endgroup$
            – Dbchatto67
            Apr 1 at 9:47











          • $begingroup$
            Yes. I just struggled with proving first observation. and your explanation is very clear!
            $endgroup$
            – ogada
            Apr 1 at 9:52










          • $begingroup$
            Really very glad to help you.
            $endgroup$
            – Dbchatto67
            Apr 1 at 9:54















          1












          $begingroup$

          Hint $:$ First observe that the highest power $v_p (n!)$ of $p$ dividing $n!$ is



          $$v_p (n!) = sumlimits_k=1^infty left lfloor frac n p^k right rfloor = sumlimits_k=1^m left lfloor frac n p^k right rfloor < sumlimits_k=1^infty frac n p^k = frac n p-1 leq n$$ since $p geq 2,$ where $m=left lfloor frac log_e n log_e p right rfloor.$



          Now if $text gcd (n!,p^N)=1$ you are through since then $n!$ is a unit in $Bbb Z/ p^N Bbb Z.$ If $text gcd (n!,p^N)=p.$ Since $N geq 2$ it follows that one is the highest power of $p$ that can divide $n!.$ But then $text gcd left (frac n! p,p^N right ) = 1.$ So the congruence $frac n! p X equiv p^n-1 (text mod p^N)$ has a unique solution. Hence the given congruence relation admits a solution. This process can be similarly extended to the cases where $text gcd(n!,p^N) = p^k,$ where $1 leq k leq n.$






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            See my edited answer above @ogada.
            $endgroup$
            – Dbchatto67
            Apr 1 at 8:22











          • $begingroup$
            thank you very much!
            $endgroup$
            – ogada
            Apr 1 at 9:46










          • $begingroup$
            Have you understood all my reasonings clearly @ogada? If not please let me inform without any hesitation.
            $endgroup$
            – Dbchatto67
            Apr 1 at 9:47











          • $begingroup$
            Yes. I just struggled with proving first observation. and your explanation is very clear!
            $endgroup$
            – ogada
            Apr 1 at 9:52










          • $begingroup$
            Really very glad to help you.
            $endgroup$
            – Dbchatto67
            Apr 1 at 9:54













          1












          1








          1





          $begingroup$

          Hint $:$ First observe that the highest power $v_p (n!)$ of $p$ dividing $n!$ is



          $$v_p (n!) = sumlimits_k=1^infty left lfloor frac n p^k right rfloor = sumlimits_k=1^m left lfloor frac n p^k right rfloor < sumlimits_k=1^infty frac n p^k = frac n p-1 leq n$$ since $p geq 2,$ where $m=left lfloor frac log_e n log_e p right rfloor.$



          Now if $text gcd (n!,p^N)=1$ you are through since then $n!$ is a unit in $Bbb Z/ p^N Bbb Z.$ If $text gcd (n!,p^N)=p.$ Since $N geq 2$ it follows that one is the highest power of $p$ that can divide $n!.$ But then $text gcd left (frac n! p,p^N right ) = 1.$ So the congruence $frac n! p X equiv p^n-1 (text mod p^N)$ has a unique solution. Hence the given congruence relation admits a solution. This process can be similarly extended to the cases where $text gcd(n!,p^N) = p^k,$ where $1 leq k leq n.$






          share|cite|improve this answer











          $endgroup$



          Hint $:$ First observe that the highest power $v_p (n!)$ of $p$ dividing $n!$ is



          $$v_p (n!) = sumlimits_k=1^infty left lfloor frac n p^k right rfloor = sumlimits_k=1^m left lfloor frac n p^k right rfloor < sumlimits_k=1^infty frac n p^k = frac n p-1 leq n$$ since $p geq 2,$ where $m=left lfloor frac log_e n log_e p right rfloor.$



          Now if $text gcd (n!,p^N)=1$ you are through since then $n!$ is a unit in $Bbb Z/ p^N Bbb Z.$ If $text gcd (n!,p^N)=p.$ Since $N geq 2$ it follows that one is the highest power of $p$ that can divide $n!.$ But then $text gcd left (frac n! p,p^N right ) = 1.$ So the congruence $frac n! p X equiv p^n-1 (text mod p^N)$ has a unique solution. Hence the given congruence relation admits a solution. This process can be similarly extended to the cases where $text gcd(n!,p^N) = p^k,$ where $1 leq k leq n.$







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Apr 1 at 9:56

























          answered Apr 1 at 7:37









          Dbchatto67Dbchatto67

          3,205625




          3,205625











          • $begingroup$
            See my edited answer above @ogada.
            $endgroup$
            – Dbchatto67
            Apr 1 at 8:22











          • $begingroup$
            thank you very much!
            $endgroup$
            – ogada
            Apr 1 at 9:46










          • $begingroup$
            Have you understood all my reasonings clearly @ogada? If not please let me inform without any hesitation.
            $endgroup$
            – Dbchatto67
            Apr 1 at 9:47











          • $begingroup$
            Yes. I just struggled with proving first observation. and your explanation is very clear!
            $endgroup$
            – ogada
            Apr 1 at 9:52










          • $begingroup$
            Really very glad to help you.
            $endgroup$
            – Dbchatto67
            Apr 1 at 9:54
















          • $begingroup$
            See my edited answer above @ogada.
            $endgroup$
            – Dbchatto67
            Apr 1 at 8:22











          • $begingroup$
            thank you very much!
            $endgroup$
            – ogada
            Apr 1 at 9:46










          • $begingroup$
            Have you understood all my reasonings clearly @ogada? If not please let me inform without any hesitation.
            $endgroup$
            – Dbchatto67
            Apr 1 at 9:47











          • $begingroup$
            Yes. I just struggled with proving first observation. and your explanation is very clear!
            $endgroup$
            – ogada
            Apr 1 at 9:52










          • $begingroup$
            Really very glad to help you.
            $endgroup$
            – Dbchatto67
            Apr 1 at 9:54















          $begingroup$
          See my edited answer above @ogada.
          $endgroup$
          – Dbchatto67
          Apr 1 at 8:22





          $begingroup$
          See my edited answer above @ogada.
          $endgroup$
          – Dbchatto67
          Apr 1 at 8:22













          $begingroup$
          thank you very much!
          $endgroup$
          – ogada
          Apr 1 at 9:46




          $begingroup$
          thank you very much!
          $endgroup$
          – ogada
          Apr 1 at 9:46












          $begingroup$
          Have you understood all my reasonings clearly @ogada? If not please let me inform without any hesitation.
          $endgroup$
          – Dbchatto67
          Apr 1 at 9:47





          $begingroup$
          Have you understood all my reasonings clearly @ogada? If not please let me inform without any hesitation.
          $endgroup$
          – Dbchatto67
          Apr 1 at 9:47













          $begingroup$
          Yes. I just struggled with proving first observation. and your explanation is very clear!
          $endgroup$
          – ogada
          Apr 1 at 9:52




          $begingroup$
          Yes. I just struggled with proving first observation. and your explanation is very clear!
          $endgroup$
          – ogada
          Apr 1 at 9:52












          $begingroup$
          Really very glad to help you.
          $endgroup$
          – Dbchatto67
          Apr 1 at 9:54




          $begingroup$
          Really very glad to help you.
          $endgroup$
          – Dbchatto67
          Apr 1 at 9:54

















          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%2f3170297%2fis-this-congruence-equation-has-solutions%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

          Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

          Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

          Հադիս Բովանդակություն Անվանում և նշանակություն | Դասակարգում | Աղբյուրներ | Նավարկման ցանկ