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

**Differences**(show/hide)