The ring of integers of a number field K, denoted O_K, is the set of algebraic integers in K, which is a ring of dimension d over Z, where d is the extension degree of K over Q. O_K is also sometimes called the maximal order of K.

algebraic integer | extension field degree | number field | number field order | ring | ring of integers