Relative integral bases over a Hilbert class field
type: Item
instance of: scholarly article
title: Relative integral bases over a Hilbert class field
zbMATH Open document ID: 1028.11068
DOI: 10.1016/S0022-314X(02)00009-4
author: Elena Soverchia
published in: Journal of Number Theory
publication date: 2003-04-02T00:00:00Z
review text: Let \(L/K\) be a Galois extension of number fields with \(L\supset H\), the Hilbert class field of \(K\). Then there exists a relative integral basis of \(L/H\) (i.e., \({\mathfrak o}_L\) is a free \({\mathfrak o}_H\)-module) if \(H\) has odd class number or if \([L:H]\) is odd or if \(G_{L/H}\) does not have cyclic Sylow 2-subgroups. In the exceptional case the existence is equivalent with the existence of a relative integral basis of \(H(\sqrt{\Delta})/H\), where \(\Delta\) is the discriminant of a field basis of \(L/H\). One knows [see \textit{E. Artin}, Collected Papers, Addison Wesley (1965; Zbl 0146.00101), repr. Springer (1982; Zbl 0493.01038), pp. 229-231] that the discriminant of \(L/H\) splits as a product \(d_{L/H}= \Delta\cdot {\mathfrak b}^2\), with \({\mathfrak b}\subset H\) a fractional ideal, and that the existence of a relative integral basis amounts to \({\mathfrak b}\) being principal. The key ingredient is then that an ideal of \(H\), which is invariant under the action of \(G_{H/K}\), is principal.
Mathematics Subject Classification ID: 11R37
Mathematics Subject Classification ID: 11R04
zbMATH DE Number: 1891438
zbMATH Keywords: Relative integral bases
zbMATH Keywords: Hilbert class field
zbMATH Keywords: Steinitz classes
reviewed by: Jürgen Ritter
MaRDI profile type: Publication
cites work: Q5798080
cites work: The discriminants of relative extensions and the existence of integral bases
description: scientific article; zbMATH DE number 1891438