The **ring of integers** of a local field $K$ with absolute value $|\ |$ is the subring
$\mathcal O_K := \{x\in K:|x|\le 1\}$; it is a discrete valuation ring.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by Andrew Sutherland on 2020-10-24 15:52:00

**Referred to by:**

**History:**(expand/hide all)

- 2020-10-24 15:52:00 by Andrew Sutherland (Reviewed)