Article ID Journal Published Year Pages File Type
4583660 Journal of Algebra 2016 52 Pages PDF
Abstract

Let G   be a finite group and let N/EN/E be a tamely ramified G  -Galois extension of number fields whose inverse different CN/ECN/E is a square. Let AN/EAN/E denote the square root of CN/ECN/E. Then AN/EAN/E is a locally free Z[G]Z[G]-module, which is in fact free provided N/EN/E has odd order, as shown by Erez. Using M. Taylor's theorem, we can rephrase this result by saying that, when N/EN/E has odd degree, the classes of AN/EAN/E and ONON (the ring of integers of N  ) in Cl(Z[G])Cl(Z[G]) are equal (and in fact both trivial). We show that the above equality of classes still holds when N/EN/E has even order, assuming that N/EN/E is locally abelian. This result is obtained through the study of the Fröhlich representatives of the classes of some torsion modules, which are independently introduced in the setting of cyclotomic number fields. Jacobi sums, together with the Hasse–Davenport formula, are involved in this study. Finally, when G is the binary tetrahedral group, we use our result in conjunction with Taylor's theorem to exhibit a tame G  -Galois extension whose square root of the inverse different has nontrivial class in Cl(Z[G])Cl(Z[G]).

Keywords
Related Topics
Physical Sciences and Engineering Mathematics Algebra and Number Theory
Authors
, ,