minimality of integral basis
The discriminant of the set of integers of an algebraic number field
is a rational integer. If this set is an integral basis of , then has the least possible (positive integer) value in the field , and conversely. The value is equal for all integral bases of , and it is called the discriminant or fundamental number of the field.