Swan modules and Hilbert-Speiser number fields (Q1961097): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jnth.1999.2425 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2036653607 / rank | |||
Normal rank |
Revision as of 22:59, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Swan modules and Hilbert-Speiser number fields |
scientific article |
Statements
Swan modules and Hilbert-Speiser number fields (English)
0 references
2 March 2000
0 references
The paper gives necessary conditions for a number field \(K\) to have the Hilbert-Speiser property, from which it follows that \(\mathbb Q\) is the only such field. The property requires that for each tamely ramified abelian extension \(N\) of \(K\) the ring \({\mathfrak o}_N\) of integers in \(N\) has a normal integral basis over \({\mathfrak o}_K\). It implies, e.g., that the class number of \(K\) is 1 and that the exponent of the quotient \(({\mathfrak o}_K/l)^\times \) modulo the image of \({\mathfrak o}_K^\times\) divides \((l-1)^2/2\) for any odd prime \(l\). This last condition applies only to \(\mathbb Q\). The proof rests on a theorem of McCulloh which describes the set \(R\) of realizable classes in the class group \(Cl({\mathfrak o}_KG)\), i.e., of classes \([{\mathfrak o}_L]\) with \(L\) running through the tame Galois extensions of \(K\) with \(G(L/K)\simeq G\), a given elementary abelian group. When \(G\) is \(l\)-elementary abelian of order \(l^n\), this result is combined with \(T^{l^{n-1}(l-1)/2}\subset R\cap D\), where \(T\) is the Swan subgroup of \(Cl({\mathfrak O}_KG)\) and \(D\) the so-called kernel group. The containment results from a natural Mayer-Vietoris sequence by which \(T\) and \(({\mathfrak o}_K/l^n)^\times\) are related, and from the description of \(R\) in terms of the Stickelberger ideal. Special cases are already in \textit{D. R. Replogle} [J. Algebra 212, 482--494 (1999; Zbl 0923.11152)]. Lower bounds for \(T\) then show the uniqueness of \(\mathbb Q\).
0 references
Hilbert-Speiser property
0 references
tamely ramified abelian extension
0 references
Swan subgroup
0 references
Mayer-Vietoris sequence
0 references
Stickelberger ideal
0 references