Mathlib
Atlas
Atlas
/
Number
/
Valuations and local fields
p-adic valuations
1/4
Write n = p^k · m with p ∤ m. Then v_p(n) = k.
v
p
(
p
k
m
)
=
k
Replay
Challenge
Ask
k in 2ᵏ
2