Hostname: page-component-84b7d79bbc-l82ql Total loading time: 0 Render date: 2024-07-29T06:38:24.071Z Has data issue: false hasContentIssue false

Realizable Galois module classes for tetrahedral extensions

Published online by Cambridge University Press:  21 April 2005

Nigel P. Byott
Affiliation:
Department of Mathematical Sciences, University of Exeter, Exeter EX4 4QE, UKn.p.byott@ex.ac.uk
Bouchaïb Sodaïgui
Affiliation:
Département de Mathématiques, Université de Valenciennes, Le Mont Houy, 59313 Valenciennes cedex 9, Francebouchaib.sodaigui@univ-valenciennes.fr
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let k be a number field with ring of integers $\mathfrak{O}_k$, and let $\Gamma=A_4$ be the tetrahedral group. For each tame Galois extension N/k with group isomorphic to $\Gamma$, the ring of integers $\mathfrak{O}_{N}$ of N determines a class in the locally free class group $\mathrm{Cl}(\mathfrak{O}_k[\Gamma])$. We show that the set of classes in $\mathrm{Cl}(\mathfrak{O}_k[\Gamma])$ realized in this way is the kernel of the augmentation homomorphism from $\mathrm{Cl}(\mathfrak{O}_k[\Gamma])$ to the ideal class group $\mathrm{Cl}(\mathfrak{O}_k)$. This refines a result of Godin and Sodaïgui (J. Number Theory98 (2003), 320–328) on Galois module structure over a maximal order in $k[\Gamma]$. To the best of our knowledge, our result gives the first case where the set of realizable classes in $\mathrm{Cl}(\mathfrak{O}_k[\Gamma])$ has been determined for a nonabelian group $\Gamma$ and an arbitrary number field k.

Type
Research Article
Copyright
Foundation Compositio Mathematica 2005