Power bases for cyclotomic integer rings

DOI10.1006/JNTH.1997.2214MaRDI QIDQ1267295zbMATH OpenOpenAlexFDO

Authors L. Robertson

Publication date 13 October 1999

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jnth.1997.2214

zbMATH Keywords

Bremner's conjecture cyclotomic fields power integral bases

Mathematics Subject Classification ID

Algebraic numbers; rings of algebraic integers (11R04) Cyclotomic extensions (11R18) Iwasawa theory (11R23)

Review text

Let \(p\) be an odd prime, \(\xi\) a primitive \(p\)-th root of unity and \({\mathcal O}_p\) the ring of integers of the cyclotomic field \(\mathbb{Q}(\xi)\). It is a classical problem to investigate power integral bases in \(\mathbb{Q}(\xi)\), that is to determine all \(\alpha\) such that \({\mathcal O}_p=\mathbb{Z}[\alpha]\) or equivalently \(\{ 1,\alpha,\ldots,\alpha^{p-1}\}\) is an integral basis. \textit{A. Bremner} [J. Number Theory 28, 288-298 (1988; Zbl 0637.12001)] conjectured that, up to translations and conjugation only \(\alpha=\xi,1/(1+\xi)\) generate power integral bases. Bremner proved this conjecture for \(p=7\). The author establishes a criterion for Bremner's conjecture for a given regular prime \(p\). The proof of this criterion is based on a determinant formula for the relative class number of \(\mathbb{Q}(\xi)\). This criterion is then used to verify the conjecture for \(p\leq 23\), \(p\neq 17\).

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Power bases for cyclotomic integer rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1267295)