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.

Authors:
Knowl status:
• Review status: reviewed
• Last edited by Andrew Sutherland on 2020-10-24 16:56:54
Referred to by:
History: Differences