p-adic unit (source code)

= p-adic unit
{title2=$\mathbb Z_p^\times$}

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