Does every ring of integers sit inside a ring of integers that has a power basis?

Given a finite extension of the rationals, K, we know that K=Q[α] by the primitive element theorem, so every xK has the form


with aiQ.

However, the ring of integers, OK, of K need not have a basis over Z which consists of 1 and powers of a single element (a power basis). In fact, there exist number fields which require an arbitrarily large number of elements to form such a basis.

Question: Can every ring of integers OK that does not have a power basis be extended to a ring of integers OL which does have a power basis, for some finite L/K?


Source : Link , Question Author : Eins Null , Answer Author : Community

Leave a Comment