Lifting the Exponent

Maya Kądziołka 📧

April 27, 2021

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


We formalize the Lifting the Exponent Lemma, which shows how to find the largest power of $p$ dividing $a^n \pm b^n$, for a prime $p$ and positive integers $a$ and $b$. The proof follows Amir Hossein Parvardi's.


BSD License


Session Lifting_the_Exponent