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:
(expand/hide all)
- 2020-10-24 16:56:54 by Andrew Sutherland (Reviewed)
- 2020-10-24 16:00:29 by Andrew Sutherland
- 2020-10-24 15:59:43 by Andrew Sutherland
- 2020-10-24 15:55:34 by Andrew Sutherland