×

The Galois structure of the square root of the inverse different. (English) Zbl 0713.11078

Let K/F be an odd degree Galois extension of number fields with \(G=Gal(K/F)\). It is easy to show that in K there exists a unique ideal A(K/F) whose square is the inverse different of K/F. This ideal is the only which has the property of being self-dual with respect to the bilinear trace form of the extension, thus giving rise to a self-dual Hermitian form over the group ring \({\mathbb{Z}}_ FG\) with coefficients in the ring of integers \({\mathbb{Z}}_ F\) of F. The study of this form was first suggested in [P. Conner and R. Perlis, A survey of trace forms of algebraic number fields (Singapore, World Scientific 1984; Zbl 0551.10017)]. One possible application of precise results on the square root of the inverse different is the description of the non necessarily self-dual Hermitian form defined by the ring of integers in K.
After having studied in detail the special case of absolute Galois extensions of odd prime degree [see the author, J. Algebra 118, 438-446 (1988; Zbl 0663.12015)], it became clear how to extend the results on the module structure to arbitrary odd degree Galois extensions.
In this paper we begin by showing that for A(K/F) to be locally free over \({\mathbb{Z}}_ FG\) it is necessary and sufficient that K/F is weakly ramified, i.e. all its second ramification groups are trivial. Next let M be a maximal order in \({\mathbb{Q}}G\) containing \({\mathbb{Z}}G\), we show that if K/F is weakly ramified then \(M\otimes A(K/F)\) is free over M. Even better if K/F is tame, then we show that A(K/F) is actually free over \({\mathbb{Z}}G\). The proofs rely heavily on the techniques developped by A. Fröhlich, M. J. Taylor, Ph. Cassou-Noguès et alia for the study of rings of integers. We only mention that instead of Galois-Gauss we are led to consider generalized Jacobi sums defined in terms of Gauss sums and the second Adams operation on the group of virtual characters of G.
Reviewer: B.Erez

MSC:

11R33 Integral representations related to algebraic numbers; Galois module structure of rings of integers
11R04 Algebraic numbers; rings of algebraic integers
20C05 Group rings of finite groups and their modules (group-theoretic aspects)
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] [Cn-T] Cassou-Noguès, Ph., Taylor, M.J.: Opérations d’Adams et groupes de classes d’algèbres de groupe. J. Algebra95(1), 125–152 (1985) · Zbl 0603.12007
[2] [C-P] Conner, P., Perlis, R.: A survey of trace forms in algebraic number fields. Singapore: World Scientific 1984 · Zbl 0551.10017
[3] [C-R] Curtis, C., Reiner, I.: Methods of representation theory, 2 volumes. New York: John Wiley and Sons 1981/1987
[4] [E1] Erez, B.: The Galois structure of the trace form in extensions of odd prime degree. J. Algebra118, 438–446 (1988) · Zbl 0663.12015
[5] [E2] Erez, B.: A survey of recent work on the square root of the inverse different. In: Proceedings of the Journées Arithmétiques 1989 at Luminy (to appear)
[6] [F1] Fröhlich, A.: Galois module structure of algebraic integers. (Ergeb. Math. Grenzgeb., 3. Folge, Bd. 1) Berlin Heidelberg New York: Springer 1983 · Zbl 0501.12012
[7] [F2] Fröhlich, A.: Arithmetic and Galois module structure for tame extensions. J. Reine Angew. Math.286, 380–440 (1976) · Zbl 0385.12004
[8] [F3] Fröhlich, A.: Tame representations of local Weil groups and of chain groups of local principal orders. Sitzungsber, Heidelb. Akad. Wiss., Abh.3 (1986) · Zbl 0702.11083
[9] [H] Hasse, H.: Number theory. (Grundlehren Math. Wiss., Bd. 229) Berlin Heidelberg New York: Springer 1980 · Zbl 0423.12002
[10] [Ho] Hoechsmann, K.: An elementary proof of a lemma by Gaschütz. Math. Z.96, 214–215 (1967) · Zbl 0189.32403
[11] [Ka] Kawamoto, F.: On normal integral bases of local fields. J. Algebra98, 197–199 (1986) · Zbl 0595.12007
[12] [Ke] Kervaire, M.: Opérations d’Adams en théorie des représentations linéaires des groupes finis. Enseign. Math. XXII, 1–28 (1976)
[13] [M] Martinet, J.: Character theory and Artin L-functions. In: Fröhlich, A. (ed.) Algebraic Number Fields. Proceedings of a Symposium Durham 1975. London: Academic Press 1977
[14] [S1] Serre, J.-P.: Corps locaux, 3rd edn. Paris: Hermann 1968
[15] [S2] Serre, J.-P.: Représentations linéaires des groupes finis, 3rd edn. Paris: Hermann 1978
[16] [T] Taylor, M.: Classgroups of group rings. (Lond. Math. Soc. Lect. Note Ser. 91) Cambridge: Cambridge University Press 1984 · Zbl 0597.13002
[17] [U1] Ullom, S.: Normal bases in Galois extensions of number fields. Nagoya Math. J.34, 153–167 (1969) · Zbl 0175.04502
[18] [U2] Ullom, S.: Galois cohomology of ambiguous ideals. J. Number Theory1, 11–15 (1969) · Zbl 0176.33501
[19] [W] Weil, A.: Basic number theory. (Grundlehren Math. Wiss. Bd. 144) Berlin Heidelberg New York: Springer 1967
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.