Monomial order (reviewed)

A monomial order in a number field $K$ is an order of the form $\Z[\alpha]$, where $\alpha$ is an element of $K$. The element $\alpha$ is necessarily both an algebraic integer and a primitive element for $K$.