Power integral bases in prime-power cyclotomic fields (Q2472395): Difference between revisions

The authors consider cyclotomic fields \({\mathbb Q}(\zeta)\) of odd prime power order \(p^m\). Under the assumption that the class number of \({\mathbb Q}(\zeta+\zeta^{-1})\) is coprime to \(p(p-1)/2\) they characterize power integral bases of \({\mathbb Z} [\zeta]\): If an element \(\alpha\) satisfies \({\mathbb Z} [\alpha]={\mathbb Z} [\zeta]\) then either \(\alpha\) is equivalent to \(\zeta\) or the sum of \(\alpha\) and its complex conjugate is an odd integer. In this context equivalence means that a Galois image of \(\alpha\) differs from \(\pm \zeta\) by an integer. In case \(q>3\) the element \(\omega=(1+\zeta)^{-1}\) generates a power integral basis of \({\mathbb Z} [\zeta]\), is not equivalent to \(\zeta\), and we have \(\omega + \bar{\omega}=1\). The authors conjecture that any generator \(\alpha\) of a power integral basis is equivalent to either \(\zeta\) or to \(\omega\). They prove this for \(q=25\).