On realizable Galois module classes and Steinitz classes of nonabelian extensions
type: Item
instance of: scholarly article
title: On realizable Galois module classes and Steinitz classes of nonabelian extensions
zbMATH Open document ID: 1189.11051
author: Clement Bruche
author: Bouchaïb Sodaïgui
published in: Journal of Number Theory
publication date: 2008-12-05T00:00:00Z
review text: To a tame \(\Gamma\)-Galois extension \(N/k\) of number fields, one can attach a class in \(cl({\mathcal M})\) (the Galois module class) and also a class in \(cl(O_k)\) (the Steinitz class). Here \(\mathcal M\) is a maximal order in \(k[\Gamma]\) containing \(O_k[\Gamma]\). (The Galois module class can actually be defined in the considerably larger class group of \(O_k[\Gamma]\) itself.) The standard conjectures, as yet unproved for general \(\Gamma\), say that the subset of all Galois module classes (of all Steinitz classes, respectively) with fixed data \(k\) and \(\Gamma\) is a \textit{subgroup} of \(cl({\mathcal M})\) (\(cl(O_k)\)). The article under review resumes the setting of a paper of \textit{N. P. Byott, B. Sodaïgui}, and the reviewer [[BGS]: ``Classes réalisables d'extensions non-abeliennes'', J. Reine Angew. Math. 601, 1--27 (2006; Zbl 1137.11069)] and generalizes its results. More precisely: [BGS] considered groups \(\Gamma\) that arise as semidirect products of a 2-elementary group \(V\) of order \(2^r\) and a cyclic group \(C\) of order \(2^r-1\) that acts faithfully on \(V\). It is proved that the standard conjectures hold for this particular group. The paper under review replaces 2 by any prime, more precisely: \(V\) is now a finite vector space over the field of \(p\) elements, and \(|V|=p^r\) say. The other conditions are adjusted accordingly (\(C\) has order \(p^r-1\) and again acts faithfully on \(V\)). The main results say that the standard conjectures are again true for the new group \(\Gamma\), provided that \(k\) contains a primitive \(p\)-th root of unity. (Note that the latter condition is void for \(p=2\).) To a large extent, the arguments run parallel to [BGS]; this is clearly indicated by the authors. (In particular \(\zeta_p\in k\) is required in order to apply Kummer theory to \(V\)-extensions, as before.) But there are a few notable differences, which are again well explained; for instance a central argument concerning weights of wo…
reviewed by: Cornelius Greither
Mathematics Subject Classification ID: 11R33
Mathematics Subject Classification ID: 11R20
Mathematics Subject Classification ID: 11R29
Mathematics Subject Classification ID: 20C05
zbMATH DE Number: 5378839
zbMATH Keywords: Galois module structure
zbMATH Keywords: realizable classes
zbMATH Keywords: Steinitz classes
zbMATH Keywords: semidirect products
zbMATH Keywords: cyclic codes
MaRDI profile type: Publication
full work available at URL: j.jnt.2007.02.009
OpenAlex ID: W2029693182
cites work: Q5798080
cites work: Classes réalisables d'extensions non abéliennes
cites work: Realizable Galois module classes for tetrahedral extensions
cites work: Galois module structure for dihedral extensions of degree 8: realizable classes over the group ring
cites work: Steinitz classes of a nonabelian extension of degree $p^3$
cites work: Advanced Topics in Computional Number Theory
cites work: Q3922829
cites work: Q4724810
cites work: The discriminants of relative extensions and the existence of integral bases
cites work: Arithmetic and Galois module structure for tame extensions.
cites work: Q4154965
cites work: Q3966247
cites work: Q3995206
cites work: Steinitz classes of extensions with Galois group \(A_4\)
cites work: Realizable classes of tetrahedral extensions
cites work: Module structure of rings of integers in octahedral extensions
cites work: Q4739993
cites work: Cyclic Extensions Without Relative Integral Bases
cites work: Galois module structure of elementary abelian extensions
cites work: Galois module structure of abelian extensions.
cites work: Q3714149
cites work: Q4061092
cites work: Q4004140
cites work: Relative Galois structure of rings of integers.
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: Realizable classes of quaternion extensions of degree \(4\ell\)
cites work: Steinitz Classes of Metacyclic Extensions
cites work: Projective modules over group rings and maximal orders
cites work: On Fröhlich's conjecture for rings of integers of tame extensions
DOI: 10.1016/J.JNT.2007.02.009
Recommended article: On Steinitz classes, realizable Galois module classes and embedding problems for non-abelian extensions of degree a power of 2
Recommended article: Realizable Galois module classes over the group ring for non abelian extensions
Recommended article: Steinitz classes for Galois extensions of Dedekind rings
Recommended article: On realizable Galois module classes by the inverse different
Recommended article: Steinitz classes of tamely ramified Galois extensions of algebraic number fields
Recommended article: Steinitz classes of some abelian and nonabelian extensions of even degree
Recommended article: Realizable Galois module classes for tetrahedral extensions
Recommended article: Steinitz classes of Galois extensions with Galois group having nontrivial center
Recommended article: Steinitz classes of relative Galois extensions of 2-power degree and embedding problems
Recommended article: CLASSES DE STEINITZ D'EXTENSIONS NON ABÉLIENNES À GROUPE DE GALOIS D'ORDRE 16 OU EXTRASPÉCIAL D'ORDRE 32 ET PROBLÈME DE PLONGEMENT
description: scientific article; zbMATH DE number 5378839