Let be a number field with
and
denote the ring of integers of . Then
has a power basis over (sometimes shortened simply to power basis) if there exists
such that the set
is an integral basis for
. An equivalent condition is that
. Note that if such an exists, then
and
.