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

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: