 Higher principal-unit group

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.