Abelian number fields satisfying the Hilbert-Speiser condition at \(p=2\) or \(3\) (Q841450): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.3836/tjm/1249648418 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2042353137 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal integral bases in quadratic and cyclic cubic extensions of quadratic fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Note on the ring of integers of a Kummer extension of prime degree. V. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal integral bases and ray class groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Swan modules and Hilbert-Speiser number fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Determination of the Imaginary Abelian Number Fields with Class Number One / rank | |||
Normal rank |
Latest revision as of 00:03, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Abelian number fields satisfying the Hilbert-Speiser condition at \(p=2\) or \(3\) |
scientific article |
Statements
Abelian number fields satisfying the Hilbert-Speiser condition at \(p=2\) or \(3\) (English)
0 references
16 September 2009
0 references
Let \(N/F\) be a finite Galois extension of number fields with Galois group \(G\). Noether showed that the ring of integers \(\mathcal{O}_{N}\) is projective over the group ring \(\mathcal{O}_{F}[G]\) if and only if \(N/F\) is tame. The extension \(N/F\) is said to have a \textit{normal integral basis} (NIB for short) if \(\mathcal{O}_{N}\) is in fact free over \(\mathcal{O}_{F}[G]\). The Hilbert-Speiser Theorem says that every finite tame abelian extension of the rationals \(\mathbb{Q}\) has a NIB. Let \(p\) be a prime number. A number field \(F\) satisfies the condition \((H_{p})\) if every tame cyclic extension \(N/F\) of degree \(p\) has a NIB. So the Hilbert-Speiser Theorem implies that \(\mathbb{Q}\) satisfies \((H_{p})\) for every prime number \(p\). On the other hand, \textit{C. Greither} et al. [J. Number Theory 79, No. 1, 164--173 (1999; Zbl 0941.11044)] showed that any number field \(F \neq \mathbb{Q}\) does not satisfy \((H_{p})\) for infinitely many \(p\). There are exactly \(3\) imaginary quadratic fields satisfying \((H_{2})\); these were determined by \textit{J. E. Carter} [Arch. Math. 81, No. 3, 266--271 (2003); erratum 83, No. 6, vi-vii (2004; Zbl 1050.11097)]. There are exactly \(12\) quadratic fields satisfying \((H_{3})\); these were determined by \textit{J. E. Carter} (ibid.) and \textit{H. Ichimura} [Proc. Japan Acad., Ser. A 78, No. 6, 76--79 (2002; Zbl 1106.11308)] independently. The purpose of the paper under review is to determine all imaginary abelian fields satisfying \((H_{2})\) and all abelian fields satisfying \((H_{3})\). The main theorem is as follows: (i) Among all imaginary abelian fields \(F\) with \([F:\mathbb{Q}] \geq 3\), there exist exactly \(14\) fields satisfying \((H_{2})\); (ii) Among all abelian fields \(F\) with \([F:\mathbb{Q}] \geq 3\), there exist exactly \(15\) fields satisfying \((H_{3})\). In both cases, the fields in question are given explicitly in tables at the end of the paper.
0 references
Hilbert-Speiser theorem
0 references