 p-valuation

For a prime number $p$, a p-valuation is a separated filtration on a group such that every $x\ne 1$ satisfiesA group equipped with one is called a p-valued group.