p-valuation
= p-valuation
{c}
For a <prime number> $p$, a p-valuation is a separated <filtration on a group> such that every $x\ne1$ satisfies
$$
\omega(x)>\frac1{p-1},
\qquad
\omega(x^p)=\omega(x)+1.
$$
A group equipped with one is called a p-valued group.