Order (ring theory)

In mathematics, certain subsets of some fields are called orders. The set of integers is an order in the rational numbers (the only one). In an algebraic number field ⁠${\displaystyle K}$⁠, an order is a ring of algebraic integers whose field of fractions is ⁠${\displaystyle K}$⁠, and the maximal order, often denoted ⁠${\displaystyle {\mathcal {O}}_{K}}$⁠, is the ring of all algebraic integers in ⁠${\displaystyle K}$⁠. In a non-Archimedean local field ⁠${\displaystyle K}$⁠, an order is a subring which is generated by finitely many elements of non-negative valuation. In that case, the maximal order, denoted ⁠${\displaystyle {\mathcal {O}}_{K}}$⁠, is the valuation ring formed by all elements of non-negative valuation.

Giving the same name to such seemingly different notions is motivated by the local–global principle that relates properties of a number field with properties of all its local fields.