symmetric monoidal (∞,1)-category of spectra
In number theory, the concept of algebraic integer is a generalization of that of integer to more general base-number fields. These algebraic integers form what is called the ring of integers and so in order to distinguish that from the standard integers these are sometimes called rational integers, since they are the algebraic integers in the ring of rational numbers.
Colloquially, an algebraic integer is a solution to an equation
where each is an integer (hence a root of the polynomial on the left). More precisely, an element belonging to an algebraic extension of the rational numbers is an (algebraic) integer, or more briefly is integral, if it satisfies an equation of the form (1). Equivalently, if is an algebraic extension of (e.g., if is a number field), an element is integral if the subring is finitely generated as a -module.
If are integral over (say), then and are integral over . For, if is integral over , it is a fortiori integral over , hence
is finitely generated over and therefore, since is integral, also finitely generated over . It follows that the submodules and are therefore also finitely generated over (since is a Noetherian ring). Thus the integral elements form a ring. In particular, the integral elements in a number field form a ring often denoted by , usually called the ring of integers in . This ring is a Dedekind domain.