Abstract :
Let ζ be a primitive 2mth root of unity. We prove that Z[α]=Z[ζ] if and only if α=n±ζi for some n, iset membership, variantZ, i odd. This is the first example of number fields of arbitrarily large degree for which all power bases for the ring of integers are known.
