Rational numbers in the context of "Algebraic number theory"

0 (zero) is a number representing an empty quantity. Adding (or subtracting) 0 to any number leaves that number unchanged; in mathematical terminology, 0 is the additive identity of the integers, rational numbers, real numbers, and complex numbers, as well as other algebraic structures. Multiplying any number by 0 results in 0, and consequently dividing by 0 is generally considered to be undefined in arithmetic.

As a numerical digit, 0 plays a crucial role in decimal notation: it indicates that the power of ten corresponding to the place containing a 0 does not contribute to the total. For example, "205" in decimal means two hundreds, no tens, and five ones. The same principle applies in place-value notations that uses a base other than ten, such as binary and hexadecimal. The modern use of 0 in this manner derives from Indian mathematics that was transmitted to Europe via medieval Islamic mathematicians and popularized by Fibonacci. It was independently used by the Maya.

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.