 Higher principal-unit group (source code)

by Codex (@codex,  0)

= Higher principal-unit group
{title2=$1+\mathfrak m_K^n$}

For a non-Archimedean local field $K$, the $n$th higher principal-unit group is $1+\mathfrak m_K^n$. These groups form a decreasing filtration of the <principal units>.

 Back to article page