Pour premier impair, l’étude du -groupe des classes d’idéaux des extensions abéliennes de degré premier à se ramène à celle de groupes notés , où parcourt un certain ensemble de caractères -adiques irréductibles.
Il est démontré, dans cet article, une généralisation des congruences de Leopoldt et Fresnel entre les fonctions -adiques et les nombres de Bernoulli généralisés. Cette généralisation conduit à une amélioration de la connaissance des : en effet, la juxtaposition de ce résultat avec les résultats classiques (formule analytique du nombre de classes, théorème de Stickelberger et “Spiegelungssatz” de Leopoldt) permet de déterminer, dans un certain nombre de cas particuliers, la structure de et de vérifier, sous certaines hypothèses, l’existence d’un lien non trivial entre cette structure et certains invariants (calculables dans la pratique) définis uniquement à partir des formules analytiques du nombre de classes.
For an odd prime number , the study of the -class group of abelian extensions, the degree of which is prime to , is equivalent to the study of groups , where ranges over a set of irreducible -adic characters.
It is proved, in this paper, a generalisation of the Leopoldt and Fresnel’s congruences between -adic -functions and generalised Bernoulli numbers. This generalisation gives an improvement of the knowledge of the : the juxtaposition of this result with the classic ones (analytic class-number formula, Stickelberger’s theorem and “Spiegelungssatz” by Leopoldt) allows the determination, in some particular cases, of the structure of and the proof, under some hypothesis, of the existence of a non trivial connexion between this structure and some invariants (calculable in the practise) which are defined uniquely with the help of the analytic class-number formula.
@article{AIF_1977__27_1_1_0, author = {Gras, Georges}, title = {Classes d'id\'eaux des corps ab\'eliens et nombres de Bernoulli g\'en\'eralis\'es}, journal = {Annales de l'Institut Fourier}, volume = {27}, year = {1977}, pages = {1-66}, doi = {10.5802/aif.641}, mrnumber = {56 \#8534}, zbl = {0336.12004}, language = {fr}, url = {http://dml.mathdoc.fr/item/AIF_1977__27_1_1_0} }
Gras, Georges. Classes d'idéaux des corps abéliens et nombres de Bernoulli généralisés. Annales de l'Institut Fourier, Tome 27 (1977) pp. 1-66. doi : 10.5802/aif.641. http://gdmltest.u-ga.fr/item/AIF_1977__27_1_1_0/
[1] Théorie des Nombres, Gauthier-Villars, Paris (1967). | MR 34 #5734 | Zbl 0145.04901
et ,[2] Travaux récents d'Iwasawa et de Leopoldt, Séminaire Bourbaki 325 (1967). | Numdam | Zbl 0191.33501
,[3] On ℓ-adic Zeta functions, Ann. of Math., 98 (1973), 498-550. | MR 48 #8445 | Zbl 0279.12005
and ,[4] Nombres de Bernoulli et fonctions L p-adiques, Ann. Inst. Fourier, Grenoble 17, 2 (1967), 281-333. | Numdam | MR 37 #169 | Zbl 0157.10302
,[5] Applications arithmétiques de la formule p-adique des résidus, Séminaire Delange-Pisot-Poitou, 18 (1966-1967), 1-8. | Numdam | Zbl 0162.07003
,[6] Sur le rang du p-groupe des classes relatives des corps Q(p), Séminaire de théorie des Nombres, Grenoble (1972).
,[7] Relations de Stickelberger, Séminaire de théorie des Nombres, Grenoble (1974).
,[8] Signature des unités cyclotomiques et parité du nombre de classes des extensions cycliques de Q de degré premier impair, Ann. Inst. Fourier, Grenoble 25, 1 (1975), 1-22. | Numdam | MR 52 #13728 | Zbl 0297.12009
et ,[9] Critère de parité du nombre de classes des extensions abéliennes réelles de Q de degré impair, Bull. Soc. Math. de France, 103 (1975), 177-190. | Numdam | MR 52 #8081 | Zbl 0312.12013
,[10] Méthodes et algorithmes pour le calcul numérique du nombre de classes et des unités des extensions cubiques cycliques de Q, Jour. für die reine und ang. Math., 277 (1975), 89-116. | MR 52 #10675 | Zbl 0315.12007
,[11] Calcul du nombre de classes et des unités des extensions abéliennes réelles de Q, Publ. Math. de l'Univ. de Besançon (Théorie des Nombres) 1974-1975. | Zbl 0359.12007
et ,[12] On p-adic L-Functions and cyclotomic Fields, Nagoya Math. J., 56 (1974), 61-77. | MR 50 #12984 | Zbl 0315.12008
,[13] Über die Klassenzahl abelscher Zahlkörper, Berlin (1952). | Zbl 0046.26003
,[14] Vorlesungen über Zahlentheorie, Berlin (1950). | Zbl 0038.17703
,[15] Zur Arbeit von I.R. Šafarevič über das allgemeine Reziprozitätsgesetz, Math. Nach., (1951), 301-327. | MR 13,113g | Zbl 0057.03401
,[16] Eine p-adische theorie der Zetawerte ; I Einführung der p-adischer Dirichletschen, L-Funktionen, Jour. für die reine und ang. Math., 214/215 (1964), 328-339. | MR 29 #1199 | Zbl 0186.09103
und ,[17] On a class number relation of imaginary abelian fields, J. Math. Soc. Japan, 27, 1 (1975). | MR 50 #12968 | Zbl 0294.12004
,[18] Algebraic Number Theory, New-York (1970). | MR 44 #181 | Zbl 0211.38404
,[19] Über Einheitengruppe und Klassenzahl reeller abelscher Zahlköper, Abh. Deutsche Akad. Wiss. Berlin, Math., 2 (1954). | Zbl 0059.03501
,[20] Eine Verallgemeinerung der Bernoullishen Zahlen, Abh. Math. Sem. Univ. Hamburg, 22 (1958), 131-140. | MR 19,1161e | Zbl 0080.03002
,[21] Über Fermatquotienten von Kreisenheiten und Klassenzahlformeln modulo p, Rend. Cir. mat. Palermo, Serie 2, 9 (1960), 39-50. | MR 24 #A722 | Zbl 0098.03501
,[22] Über Klassenzahlprimteiler reeller abelscher Zahlkörper als Primteiler verallgemeinerter Bernoullischen Zahlen, Abh. Math. Sem. Univ. Hamburg, 23 (1959), 36-47. | MR 21 #1967 | Zbl 0086.03103
,[23] Zur Struktur der ℓ-Klassengruppe galoisscher Zahlkörper, Jour. für die reine und ang. Math., 199 (1958), 165-174. | MR 20 #3116 | Zbl 0082.25402
,[24] Zur Arithmetik in abelschen Zahlkörpern, Jour. für die reine und ang. Math., 209 (1962), 54-71. | MR 25 #3034 | Zbl 0204.07101
,[25] Relation entre les 2-groupes des classes d'idéaux au sens ordinaire et restrient de certains corps de nombres, Bull. Soc. Math. France, 104 (1976), 301-307. | Numdam | MR 55 #8000 | Zbl 0352.12007
,[26] Traduction française de "Über Einheitengruppe und Klassenzahl reeller abelscher Zahlkörper" de Leopoldt, Publ. Math. de l'Univ. de Besançon (Théorie des Nombres) 1974-1975.
,[27] Quelques caractères utiles à l'arithmétique, Publ. Math. de l'Univ. de Besançon (Théorie des Nombres) 1974-1975.
,[28] Tabelle der (relativ)-Klassenzahlen der Kreiskörper, Abh. Deutschen Akad. Berlin, Math. Klasse (1964), 1-64. | Zbl 0199.09803
,[29] Représentations linéaires des groupes finis, Hermann (1971). | MR 50 #4718 | Zbl 0223.20003
,