In mathematics, the ring of integers of an algebraic number field  is the ring of all integral elements contained in . An integral element is a root of a monic polynomial with rational integer coefficients, . This ring is often denoted by or . Since any rational integer number belongs to  and is its integral element, the ring  is always a subring of .