For this application the field K is usually the rational number field, the field L is an algebraic number field, and the basis is taken of some order in the ring of integers OL of L.
For this application, field K is typically the set of rational numbers, field L is an algebraic number field, and the basis is derived from a specific order within the ring of integers OL of L.