Principal unit
= Principal unit
{wiki}
For a non-Archimedean local field $K$ with maximal ideal $\mathfrak m_K$, a principal unit is an element of $1+\mathfrak m_K$. The higher principal-unit groups are $1+\mathfrak m_K^n$.
= Principal unit
{wiki}
For a non-Archimedean local field $K$ with maximal ideal $\mathfrak m_K$, a principal unit is an element of $1+\mathfrak m_K$. The higher principal-unit groups are $1+\mathfrak m_K^n$.