Galois module structure for dihedral extensions of degree 8: realizable classes over the group ring
type: Item
instance of: scholarly article
title: Galois module structure for dihedral extensions of degree 8: realizable classes over the group ring
zbMATH Open document ID: 1073.11068
author: Nigel P. Byott
author: Bouchaïb Sodaïgui
published in: Journal of Number Theory
publication date: 2005-05-04T00:00:00Z
review text: L. McCulloh has posed the problem (and also given the answer in the abelian case already) how to determine the subset \({\mathfrak R}({\mathfrak o}_K[G])\) of the locally free class group \(\text{Cl}({\mathfrak o}_K[G])\), which consists of the classes \([{\mathfrak o}_L]\) arising from the rings \({\mathfrak o}_L\) of integers in the tamely ramified Galois extensions \(L\) of a given number field \(K\) such that \(G_{L/K}\) is isomorphic to a given finite group \(G\). In this paper, which resumes earlier work of the second author [e.g., J. Algebra 213, 549--556 (1999; Zbl 0989.11060) and 223, 367--378 (2000; Zbl 0953.11036)], it is shown that, when \(G= D_4\) and the ray class group of \({\mathfrak o}_K \)with modulus \(4{\mathfrak o}_K\) has odd order, this set \({\mathfrak R}({\mathfrak o}_K[G])\) is the kernel \({\mathfrak a}\) of \(\text{aug}: \text{Cl}({\mathfrak o}_K[G])\to\text{cl}_K\), where `'aug' is induced by the augmentation map \(K[G]\to K\) (by means of Fröhlich's Hom description of \(\text{Cl}({\mathfrak o}_K[G])\)). The hypothesis on \(K\) implies that \(K\) is totally real and that \({\mathfrak a}\) is isomorphic to the product of four copies of the ray class group of \({\mathfrak o}_K\) with modulus \(2{\mathfrak o}_K\). To prove the theorem, the authors construct a biquadratic extension of \(K\) which can be embedded in some \(L'\) with \(G_{L'/K}= D_4\) and, by means of a quadratic twist applied to \(L'\), they obtain an extension \(L\) with a desired Galois module class. In general, \({\mathfrak R}({\mathfrak o}_K[G])\neq 1\). -- An appendix has a correction of proofs given in the above cited papers and in [\textit{B. Sodaïgui}, J. Number Theory 65, No. 1, 87--95 (1997; Zbl 0873.11061)], where a formula of Fröhlich relating certain resolvents was misapplied.
Mathematics Subject Classification ID: 11R33
zbMATH DE Number: 2164816
reviewed by: Jürgen Ritter
MaRDI profile type: Publication
full work available at URL: j.jnt.2005.01.003
OpenAlex ID: W2086054319
Wikidata QID: Q57937564
cites work: Realizable Galois module classes for tetrahedral extensions
cites work: Q4724810
cites work: Q3966247
cites work: Q4154965
cites work: Realizable classes of tetrahedral extensions
cites work: Galois module structure of elementary abelian extensions
cites work: Galois module structure of abelian extensions.
cites work: Q4345063
cites work: Q4061092
cites work: Realizable classes by non-abelian metacyclic extensions and Stickelberger elements
cites work: Steinitz classes of relative Galois extensions of 2-power degree and embedding problems
cites work: ``Galois module structure'' of quaternion extensions of degree 8
cites work: Relative Galois module structure and Steinitz classes of dihedral extensions of degree 8
cites work: On Fröhlich's conjecture for rings of integers of tame extensions
cites work: Q5690489
DOI: 10.1016/J.JNT.2005.01.003
Recommended article: Relative Galois module structure of octahedral extensions
Recommended article: Realizable classes and embedding problems
Recommended article: Realizable Galois module classes over the group ring for non abelian extensions
Recommended article: Galois module structure of the square root of the inverse different over maximal orders
Recommended article: Realizable Galois module classes for tetrahedral extensions
Recommended article: On the Galois module structure of the square root of the inverse different in abelian extensions
Recommended article: Realizable classes of tetrahedral extensions
Recommended article: Realisable classes, Stickelberger subgroup and its behaviour under change of the base field
Recommended article: On a multiplicative-additive Galois invariant and wildly ramified extensions
Recommended article: Relative Galois structure of rings of integers.
description: scientific article; zbMATH DE number 2164816