Stickelberger subideals related to Kummer type congruences
We give an improvement of a result of J. Martinet on Stickelbergers congruences for the absolute norms of relative discriminants of number fields, by using classical arguments of class field theory.
Suite aux travaux de R. Schoof et de H.W. Lenstra–R. Schoof, nous donnons une méthode permettant de trouver, pour tout premier ne divisant pas , un système de générateurs du -groupe des classes relatives du corps abélien imaginaire , ceci avec la seule connaissance de nombres de Bernoulli . Des exemples numériques sont donnés pour et , dans le cadre des extensions cycliques de degré 2 et 4. Le premier exemple de -groupe des classes possédant une -composante non monogène (pour un caractère...
Soient des nombres premiers distincts , et . On peut approcher le -rang du groupe de classes des corps en étudiant celui du corps pour un entier . Dans cet article, on traite le cas où ou . Comme application, on déduit que le rang du -groupe de classes de est au moins égal à deux (on savait déjà grâce à un résultat de Fröhlich que le groupe de classes de est toujours d’ordre pair). On en déduit également la liste de tous les corps multiquadratiques ayant un -groupe de classes...
Soit le -groupe des classes d’idéaux d’une extension cyclique de degré premier et soit ( générateur de ). Un procédé généralisant la formule de Chevalley (formule des classes “ambiges”) permet de déterminer et l’ordre de à partir de . On obtient donc une méthode qui permet, d’une part, une détermination effective de la structure de et, d’autre part, une étude générale des problèmes de -classes d’idéaux.
Soit le -groupe des classes d’idéaux d’une extension cyclique de degré premier et soit ( générateur de ). Un procédé généralisant la formule de Chevalley (formule des classes “ambiges”) permet de déterminer et l’ordre de à partir de . On obtient donc une méthode qui permet, d’une part, une détermination effective de la structure de et, d’autre part, une étude générale des problèmes de -classes d’idéaux.
Soient le corps quadratique réel (respectivement le corps biquadratique ), un entier positif sans facteur carré, une extension cubique cyclique non ramifiée de , diédrale sur totalement réelle, (respectivement diédrale sur .)On constate qu’on a deux structures possibles pour le groupe des unités de , notées et .
Soient des nombres premiers tels que, et , où . Soient , , , le 2-corps de classes de Hilbert de et le corps de genres de . La 2-partie du groupe de classes de est de type , par suite contient sept extensions quadratiques non ramifiées et sept extensions biquadratiques non ramifiées . Dans ce papier on s’intéresse à déterminer ces quatorze extensions, le groupe et à étudier la capitulation des 2-classes d’idéaux de dans ces extensions.
1. Introduction. Soit L un corps de nombres de degré n sur le corps ℚ des nombres rationnels de discriminant . Si l’entier D n’est pas un carré, on note d le discriminant du corps quadratique ℚ(√D), sinon on pose d=1. Soit p un nombre premier non-ramifié dans L de sorte que le symbole des restes quadratiques (D/p) soit non-nul. Un théorème déjà ancien dû à A. Pellet ([3, page 245]), L. Stickelberger et G. Voronoï montre que la parité du nombre g d’idéaux premiers de L au-dessus de p est déterminée...
Tate sequences play a major role in modern algebraic number theory. The extension class of a Tate sequence is a very subtle invariant which comes from class field theory and is hard to grasp. In this short paper we demonstrate that one can extract information from a Tate sequence without knowing the extension class in two particular situations. For certain totally real fields K we will find lower bounds for the rank of the ℓ-part of the class group Cl(K), and for certain CM fields we will find lower...
We determine all the non-abelian normal CM-fields of degree 24 with class number one, provided that the Galois group of their maximal real subfields is isomorphic to , the alternating group of degree and order . There are two such fields with Galois group (see Theorem 14) and at most one with Galois group SL (see Theorem 18); if the generalized Riemann hypothesis is true, then this last field has class number .