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
$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!
number-theory
$endgroup$
add a comment |
$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!
number-theory
$endgroup$
add a comment |
$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!
number-theory
$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
number-theory
edited Apr 1 at 7:21
Dbchatto67
3,205625
3,205625
asked Apr 1 at 7:05
ogadaogada
31
31
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$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.$
$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
add a comment |
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.$
$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
add a comment |
$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.$
$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
add a comment |
$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.$
$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.$
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
add a comment |
$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
add a comment |
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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