 p-adic unit

A p-adic unit is an element of ${\mathbb{Z}}_p^{\times }$, equivalently a p-adic integer of valuation zero.