Definition:P-adic Valuation

Definition
Let $p \in \N$ be a prime number.

Also see

 * P-adic Valuation is Valuation, showing that indeed $\nu_p^\Q$ is a valuation