×

Realizable classes by non-abelian metacyclic extensions and Stickelberger elements. (Classes réalisables par des extensions métacycliques non abéliennes et éléments de Stickelberger.) (French) Zbl 0873.11061

A theorem of McCulloh (part of which was shown earlier by Childs) states that for a group \(\Gamma\) of prime order and a number field \(k\), the classes in \(Cl({\mathcal O}_k[\Gamma])\) arising as \([{\mathcal O}_N]\) with \(N/k\) a tame \(\Gamma\)-extension are exactly those which are in \(J\cdot Cl({\mathcal O}_k[\Gamma])\), where \(J\subset {\mathbb{Z}}[Aut(\Gamma)]\) is a suitably defined Stickelberger ideal. The paper under review studies the simplest case of a non-commutative Galois group: \(\Gamma\) is now supposed to be metacyclic non-abelian of order \(lq\), where \(l\) and \(q\) are prime numbers and \(q\) divides \(l-1\). The author proves a very nice result which determines the classes which are realizable by tame \(\Gamma\)-extensions \(N/k\), with the following change of scenario: one works in the class group of a maximal order \(\mathcal M\) in \(k[\Gamma]\), instead of the class group of \({\mathcal O}_k[\Gamma]\) itself. The result extends McCulloh’s result in a satisfactory way: again Stickelberger ideals are the clue to the solution. One can get started since the class group of the above mentioned maximal order is easily obtained by Morita theory once one knows the decomposition of the group algebra \(k[\Gamma]\) into simple components. In fact, \(Cl({\mathcal M})\) is the product of the three class groups \(Cl({\mathcal O}_k)\), \(Cl({\mathcal O}_{k(\zeta_q)})\), and \(Cl({\mathcal O}_K)\), where \(K\) is the unique field between \(k\) and \(k(\zeta_l)\) such that \([k(\zeta_l):K]=q\). The proof of the main result uses the results for the abelian prime order case in a neat and efficient way. This is a line of research which deserves to be continued.
Reviewer: C.Greither (Laval)

MSC:

11R20 Other abelian and metabelian extensions
11R33 Integral representations related to algebraic numbers; Galois module structure of rings of integers
11R29 Class numbers, class groups, discriminants
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Fröhlich, A., Galois Module Structure of Algebraic Integers (1983), Springer-Verlag: Springer-Verlag Berlin · Zbl 0501.12012
[2] Fröhlich, A., Galois module structure, Algebraic Number Fields, Proceedings of the Durham Symposium, 1975 (1977), Academic Press: Academic Press London, p. 133-191 · Zbl 0375.12010
[3] McCulloh, L. R., Galois module structure of abelian extensions, J. Reine Angew. Math., 375/376, 259-306 (1987) · Zbl 0619.12008
[4] Payan, J.-J., Critère de décomposition d’une extension de Kummer sur un sous corps du corps de base, Ann. Sci. École Norm. Sup., 1, 445-458 (1968) · Zbl 0182.37204
[5] Serre, J.-P., Representation linéaire des groupes finis (1971), Edition Hermann: Edition Hermann Paris
[6] Sodaı̈gui, B., Structure galoisienne relative des anneaux d’entiers, J. Number Theory, 28, 189-204 (1988) · Zbl 0641.12005
[7] Yamada, T., On the group algebras of metacyclic groups over algebraic number fields, J. Fac. Sci. Univ. Tokyo, 15, 179-198 (1969)
[8] Washington, L. C., Introduction to Cyclotonic Fields. Introduction to Cyclotonic Fields, Graduate Texts in Math., 83 (1982), Springer-Verlag: Springer-Verlag New York
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.