Exercise 932Number theory › Divisibility and gcdL1Added 3 Nov 2026
p-adic valuation
#p-adic valuation#divisibility#properties
Statement
For a prime and , define as the exponent of in the prime factorization of . Show that:
1. ;
2. , with equality if .
Hint
For (2), factor out from both terms.
Show solutionHide solution
Solution
1. Prime factorization of combines the factorizations of and , and the exponents add.
2. Let . Write , with or (at least one). Then , so . If , exactly one of is divisible by , so , giving .
Conclusion. Both properties hold; behaves like a "non-Archimedean absolute value".