Definition:P-adic Valuation/Integers

Definition
Let $p \in \N$ be a prime number. Consider the mapping $\nu_p^\Z: \Z \to \N \cup \left\{{+\infty}\right\}$ defined by:


 * $\nu_p^\Z \left({n}\right) := \begin{cases}

+\infty & : n = 0 \\ \sup \left\{{v \in \N: p^v \mathbin \backslash n}\right\} & : n \ne 0 \end{cases}$

where:
 * $\sup$ denotes supremum
 * $p^v \mathbin \backslash n$ expresses that $p^v$ divides $n$.

Also see

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