Noun
lifting the exponent (uncountable) (number theory) A lemma used to calculate the p-adic order of differences and sums of perfect powers.