Relative integral normal bases in \({\mathbb{Q}}(\zeta_ p)\) (Q2639095): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q439068 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Lindsay N. Childs / rank | |||
Normal rank |
Revision as of 20:43, 14 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relative integral normal bases in \({\mathbb{Q}}(\zeta_ p)\) |
scientific article |
Statements
Relative integral normal bases in \({\mathbb{Q}}(\zeta_ p)\) (English)
0 references
1990
0 references
Let p be a prime congruent to 3 mod 4. Let K be the quadratic subfield of the cyclotomic field \({\mathbb{Q}}(\zeta)\), \(\zeta\) a primitive p-th root of unity, let \(\Gamma =Gal({\mathbb{Q}}(\zeta)/K)\) and let \(R={\mathbb{Z}}[\zeta]\). It is known [\textit{J. Brinkhuis}, J. Reine Angew. Math. 375/376, 157-166 (1987; Zbl 0609.12009)]) that R is projective, but not free as an \({\mathcal O}_ K\Gamma\)-module. One can ask if \({\mathcal M}R\cong {\mathcal M}\), where \({\mathcal M}\) is the maximal order of \({\mathcal O}_ K\Gamma\). \textit{J. Cougnard} [Publ. Math. Fac. Sci. Besançon, Théor. Nombres, Années 1981-1982 et 1982-1983 (1983; Zbl 0539.12004) and Sémin. Théor. Nombres, Univ. Bordeaux 1983-1984, Exp. No.30 (1984; Zbl 0544.12006)] has shown this to be so for \(p=7\) and \(p=11\). The author extends Cougnard's results to show that \({\mathcal M}R={\mathcal M}\) for all \(p\equiv 3 mod 4\) where \(\ell =(p-1)/2\) is prime, the class number of \({\mathbb{Q}}(\zeta)\) is odd, and \(p<1500\); also \(p=19\), 163, 31, 43, 67, 71, 103 and 139. (This leaves only \(p=59\) and 79 open, among primes \(<100.)\) Also, \({\mathcal M}R\cong {\mathcal M}\) for primes p such that \(\ell =(p-1)/2\) is prime, \(r=(\ell - 1)/2\) is prime, and 2 is a primitive root mod r. This includes \(p=23\), 47, 719 and eleven other primes \(<15000\).
0 references
free module
0 references
integral normal bases
0 references
quadratic subfield
0 references
cyclotomic field
0 references
maximal order
0 references