Difference between revisions of "Lifting the Exponent Lemma"
| Line 9: | Line 9: | ||
<math>\nu_2(x^n-y^n)=\nu_2(x-y)+\nu_2(n),</math> if <math>4|x-y</math>. | <math>\nu_2(x^n-y^n)=\nu_2(x-y)+\nu_2(n),</math> if <math>4|x-y</math>. | ||
| − | <math>\nu_2(x^n-y^n)=\nu_2(x-y)+\nu_2(x+y)+\nu_2(n)-1</math>, if <math>2|x-y</math> and <math> | + | <math>\nu_2(x^n-y^n)=\nu_2(x-y)+\nu_2(x+y)+\nu_2(n)-1</math>, if <math>2|x-y</math> and <math>n</math> is even. |
| − | <math>\nu_p(x^n+y^n)=\nu_p(x+y)+\nu_p(n)</math>, if <math>p|x+y</math> and <math> | + | <math>\nu_p(x^n+y^n)=\nu_p(x+y)+\nu_p(n)</math>, if <math>p|x+y</math> and <math>n</math> is odd. |
From (https://arxiv.org/abs/1810.11456): | From (https://arxiv.org/abs/1810.11456): | ||
Revision as of 00:30, 1 May 2024
Lifting the exponent allows one to calculate the highest power of an integer that divides various numbers given certain information. It is extremely powerful and can sometimes "blow up" otherwise challenging problems.
Let 
refer to an odd prime. We can split up LTE into six identities (where 
represents the largest factor of that divides 
):
, if 
.
if 
.
, if 
and 
is even.
, if 
and is odd.
From (https://arxiv.org/abs/1810.11456):
, if 
and is even.
if and is odd.
