Power integral bases in prime-power cyclotomic fields (Q2472395): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 08:17, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Power integral bases in prime-power cyclotomic fields |
scientific article |
Statements
Power integral bases in prime-power cyclotomic fields (English)
0 references
21 February 2008
0 references
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\).
0 references
cyclotomic fields
0 references
power integral bases
0 references