show · lf.maximal_ideal all knowls · up · search:

The maximal ideal of a nonarchimedean local field $K$ is the unique maximal ideal of its ring of integers $\mathcal O_K$.

It consists of all elements of $\mathcal O_K$ that are not units, equivalently, all elements of $K$ whose absolute value is strictly less than 1.

Knowl status:
  • Review status: reviewed
  • Last edited by Andrew Sutherland on 2020-10-24 16:56:54
Referred to by:
History: (expand/hide all) Differences (show/hide)