Maths WorkshopMaths problems with full solutions
Exercise 932Number theory › Divisibility and gcdL1Added 3 Nov 2026

p-adic valuation

#p-adic valuation#divisibility#properties

Statement

For a prime pp and n∈Z∖{0}n\in\mathbb{Z}\setminus\{0\}, define vp(n)v_p(n) as the exponent of pp in the prime factorization of nn. Show that:
1. vp(mn)=vp(m)+vp(n)v_p(mn)=v_p(m)+v_p(n);
2. vp(m+n)≥min⁡(vp(m),vp(n))v_p(m+n)\ge\min(v_p(m),v_p(n)), with equality if vp(m)≠vp(n)v_p(m)\neq v_p(n).

Hint

For (2), factor out pmin⁡p^{\min} from both terms.

Show solutionHide solution

Solution

1. Prime factorization of mnmn combines the factorizations of mm and nn, and the exponents add.

2. Let k=min⁡(vp(m),vp(n))k=\min(v_p(m),v_p(n)). Write m=pkm′m=p^km', n=pkn′n=p^kn' with p∤m′p\nmid m' or p∤n′p\nmid n' (at least one). Then m+n=pk(m′+n′)m+n=p^k(m'+n'), so vp(m+n)≥kv_p(m+n)\ge k. If vp(m)≠vp(n)v_p(m)\neq v_p(n), exactly one of m′,n′m',n' is divisible by pp, so m′+n′≢0(modp)m'+n'\not\equiv0\pmod p, giving vp(m+n)=kv_p(m+n)=k.

Conclusion. Both properties hold; vpv_p behaves like a "non-Archimedean absolute value".