Abstract
We give, in sections 2 and 3, an english translation of: Classes généralisées invariantes, J. Math. Soc. Japan, 46, 3 (1994), with some improvements and with notations and definitions in accordance with our book: Class Field Theory: From Theory to Practice, SMM, Springer-Verlag, 2nd corrected printing 2005. We recall, in section 4, some structure theorems for finite \(\mathbb {Z}_{p}[G]\)-modules (\(G \simeq \mathbb {Z}/p\,\mathbb {Z}\)) obtained in: Sur les ℓ-classes d’idéaux dans les extensions cycliques relatives de degré premier ℓ, Annales de l’Institut Fourier, 23, 3 (1973). Then we recall the algorithm of local normic computations which allows to obtain the order and (potentially) the structure of a p-class group in a cyclic extension of degree p. In section 1973, we apply this to the study of the structure of relative p-class groups of Abelian extensions of prime to p degree, using the Thaine–Ribet–Mazur–Wiles–Kolyvagin ‘principal theorem’, and the notion of ‘admissible sets of prime numbers’ in a cyclic extension of degree p, from: Sur la structure des groupes de classes relatives, Annales de l’Institut Fourier, 43, 1 (1993). In conclusion, we suggest the study, in the same spirit, of some deep invariants attached to the p-ramification theory (as dual form of non-ramification theory) and which have become standard in a p-adic framework. Since some of these techniques have often been rediscovered, we give a substantial (but certainly incomplete) bibliography which may be used to have a broad view on the subject.
Similar content being viewed by others
References
Artin E and Tate J, Class field theory (Amsterdam: Benjamin, New York) (1968); second edition: Advanced Book Classics, Addison-Wesley Publ. Comp., Redwood City 1990; Reprint of the 1990 second edition (2009)
Azizi A, Taous M and Zekhnini A, Coclass of \(\text {Gal}({k^{2}_{2}}/k)\) for some fields \(k \,=\, \mathbb {Q}(\sqrt { p_{1}p_{2} q},\) \(\sqrt {-1})\), with 2-class groups of types (2,2,2), J. Algebra and its Applications 15 (2016) 2, http://scholar.google.com/citations?user=EZPtrFcAAAAJ&hl=fr
Azizi A, Taous M and Zekhnini A, On the strongly ambiguous classes of some biquadratic number fields, arXiv:1503.01992.pdf (2015)
Bauer H, Zur Berechnung der 2-Klassenzahl der quadratischen Zahlkörper mit genau zwei verschiedenen Diskriminantenprimteilern, J. Reine Angew. Math. 248 (1971) 42–46
Belabas K and et al., Pari/gp, Version 2.5.3, Laboratoire A2X, Université de Bordeaux I. http://sagemath.org/
Berthier T, Structure et générateurs du groupe des classes des corps quartiques cycliques sur \(\mathbb {Q}\) (tables numériques), Publ. Mathématiques de Besançon, Algèbre et Théorie des Nombres, Années 1992/93–1993/94, 50 pp. http://pmb.univ-fcomte.fr/1994/Berthier.pdf http://pmb.univ-fcomte.fr/1994/Berthier.pdf, http://www.sudoc.abes.fr/xslt/DB=2.1//SRCH?IKT=12&TRM=043905218
Bölling R, On Ranks of Class Groups of Fields in Dihedral Extensions over \(\mathbb {Q}\) with Special Reference to Cubic Fields, Math. Nachr. 135 (1) (1988) 275–310, https://www.researchgate.net/publication/229713427
Chevalley C, Sur la théorie du corps de classes dans les corps finis et les corps locaux (Thèse), J. Faculty of Sciences Tokyo 2 (1933) 365–476, http://archive.numdam.org/ARCHIVE/THESE/THESE_1934__155_/THESE_1934__155__365_0/THESE_1934__155__365_0.pdf
Chevalley C, La théorie du corps de classes, Ann. Math. II 41 (1940) 394–418
Coates J, p-adic L-functions and Iwasawa’s theory, in: Algebraic number fields, Proc. of Durham Symposium 1975 (1977) (New York-London) pp. 269–353
Federer L J and Gross B H, Regulators and Iwasawa modules (with an appendix by W. Sinnot), Invent. Math. 62 (3) (1981) 443–457
Furuta Y, The genus field and genus number in algebraic number fields, Nagoya Math. J. 29 (1967) 281–285, http://projecteuclid.org/download/pdf_1/euclid.nmj/1118802021
Fröhlich A, Central extensions, Galois groups and ideal class groups of number fields. Contemporary Mathematics, Amer. Math. Soc. 24 (1983)
Gerth III F, On 3-class groups of certain pure cubic fields, Bull. Austral. Math. Soc. 72 (3) (2005) , 471–476, http://www.austms.org.au/Publ/Bulletin/V72P3/pdf/723-5238-GeIII.pdf
Gerth III F, On p-class groups of cyclic extensions of prime degree p of number fields, Acta Arithmetica LX.1 (1991) 85–92, http://matwbn.icm.edu.pl/ksiazki/aa/aa60/aa6013.pdf
Gerth III F, On p-class groups of cyclic extensions of prime degree p of quadratic fields, Mathematika 36 (1) (1989) 89–102, doi: http://dx.doi.org/10.1112/S0025579300013590
Gerth III F, The 4-class ranks of quadratic fields, Invent. Math. 77 (3) (1984) 489–515
Greither C and Kučera R, Eigenspaces of the ideal class group, Annales Institut Fourier 64 (5) (2014) 2165–2203 , https://www.researchgate.net/publication/286369796
Greither C and Kučera R, On a conjecture concerning minus parts in the style of Gross, Acta Arithmetica 132 (1) (2008) 1–48, http://www.muni.cz/research/publications/764249
Greither C and Kučera R, Annihilators of minus class groups of imaginary Abelian fields, Ann. Institut Fourier 5 (5) (2007) 1623–1653 , https://www.researchgate.net/publication/268012963
Greither C and Kučera R, Annihilators for the Class Group of a Cyclic Field of Prime Power Degree, II, Canad. J. Math. 58 (2006) 580–599 ,http://cms.math.ca/10.4153/CJM-2006-024-2
González-Avilés C D, Capitulation, ambiguous classes and the cohomology of the units, J. Reine Angew. Math. 2007 (613) (2006) 75–97 ,https://www.researchgate.net/publication/2128194
Gras G, Classes généralisées invariantes, J. Math. Soc. Japan 46 (3) (1994) 467–476 , http://projecteuclid.org/euclid.jmsj/1227104692
Gras G, Class field theory: from theory to practice, SMM, Springer-Verlag 2003; second corrected printing 2005, doi: 10.1007/978-3-662-11323-3 Private version 2016 (rooteng.pdf): https://www.dropbox.com/s/thye2w2ialrafyh/rooteng%20-%20copie.pdf?dl=0
Gras G, Sur les ℓ-classes d’idéaux dans les extensions cycliques relatives de degré premier ℓ, I, Annales de l’Institut Fourier 23 (3) (1973) 1–48 , http://archive.numdam.org/ARCHIVE/AIF/AIF_1973__23_3/AIF_1973__23_3_1_0/AIF_1973__23_3_1_0.pdf
Gras G, Sur les ℓ-classes d’idéaux dans les extensions cycliques relatives de degré premier ℓ, II, Annales de l’Institut Fourier 23 (4) (1973) 1–44 , http://archive.numdam.org/ARCHIVE/AIF/AIF_1973__23_4/AIF_1973__23_4_1_0/AIF_1973__23_4_1_0.pdf
Gras G, Sur les ℓ-classes d’idéaux des extensions non galoisiennes de \(\mathbb {Q}\) de degré premier impair ℓ à clôture galoisienne diédrale de degré 2 ℓ, J. Math. Soc. Japan 26 (1974) 677–685, https://www.researchgate.net/publication/238882424
Gras G, No general Riemann-Hurwitz formula for relative p-class groups, J. Number Theory 171 (2017) 213–226 , https://www.researchgate.net/publication/288060081
Gras G, Complete table concerning the paper: No general Riemann–Hurwitz formula for relative p-class groups (2016), https://www.researchgate.net/publication/304059327
Gras G, Sur le module de Bertrandias–Payan dans une p-extension – Noyau de capitulation, Publ. Mathématiques de Besançon, Algèbre et Théorie des Nombres (2016), 25–44, http://pmb.cedram.org/item?id=PMB_2016____25_0
Gras G, Groupe de Galois de la p-extension abélienne p-ramifiée maximale d’un corps de nombres, J. Reine Angew. Math. 333 (1982) 86–132 , https://www.researchgate.net/publication/243110955
Gras G, Logarithme p-adique et groupes de Galois, J. reine angew. Math. 343 (1983) 64–80 , https://www.researchgate.net/publication/238881752
Gras G, Remarks on K 2 of number fields, J. Number Theory 23 (1986) 322–335 , https://www.researchgate.net/publication/243002782
Gras G, Les 𝜃-régulateurs locaux d’un nombre algébrique : Conjectures p-adiques, Canad. J. Math. 68 (3) (2016) 571–624 doi: , http://dx.doi.org/10.4153/CJM-2015-026-3
Gras G, Sur la structure des groupes de classes relatives. Avec un appendice d’exemples numériques par T. Berthier, Annales de l’Institut Fourier 43 (1) (1993) 1–20 , http://archive.numdam.org/ARCHIVE/AIF/AIF_1993__43_1/AIF_1993__43_1_1_0/AIF_1993__43_1_1_0.pdf
Gras G, Nombre de φ-classes invariantes. Application aux classes des corps abéliens, Bulletin de la Société Mathématique de France 106 (1978) 337–364 , http://archive.numdam.org/ARCHIVE/BSMF/BSMF_1978__106_/BSMF_1978__106__337_0/BSMF_1978__106__337_0.pdf
Gras G, Principalisation d’idéaux par extensions absolument abéliennes, J. Number Theory 62 (1997) 403–421 , http://www.sciencedirect.com/science/article/pii/S0022314X97920680
Gras G, Étude d’invariants relatifs aux groupes des classes des corps abéliens, in: Astérisque 41/42 (1977) (Sociéte Mathématique de France) pp. 35–53, https://www.researchgate.net/publication/267146524
Gras G, Approche p-adique de la conjecture de Greenberg (cas totalement réel p-décomposé), preprint (2016/2017), https://hal.archives-ouvertes.fr/hal-01403710
Greenberg R, Galois representations with open image, Annales de Mathématiques du Québec, special volume in honor of Glenn Stevens 40 (1) (2016) 83–119 , https://www.math.washington.edu/~greenber/GalRep.pdf
Greenberg R, On the Iwasawa invariants of totally real number fields, Amer. J. Math. 98 (1976) 263–284 , http://www.jstor.org/stable/2373625?seq=1#page_scan_tab_contents
Gruenberg K W and Weiss A, Capitulation and transfer kernels, J. Théorie des Nombres de Bordeaux 12 (1) (2000) 219–226 , http://archive.numdam.org/ARCHIVE/JTNB/JTNB_2000__12_1/JTNB_2000__12_1_219_0/JTNB_2000__12_1_219_0.pdf
Gruenberg K W and Weiss A, Capitulation and transfer triples, Proc. London Math. Soc. 3 (87) (2003) 273–290 , http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=174659
Gruenberg K W and Weiss A, Transfer kernels for finite groups, J. Algebra 300 (1) (2006) 35–43 , http://www.sciencedirect.com/science/article/pii/S0021869305006836
Herbrand J, Le développement moderne de la théorie des corps algébriques - Corps de classes et lois de réciprocité, Mémorial des Sciences Mathématiques, Fasc. LXXV, Gauthier–Villars, Paris 1936, http://gallica.bnf.fr/ark:/12148/bpt6k39024r/f9.image
Harnchoowong A and Li W, Sylow subgroups of ideal class group with moduli, J. Number Theory 36 (3) (1990) 354–372 ,https://www.researchgate.net/publication/266920573
Inaba E, Über die Struktur der ℓ-Klassengruppe zyklischer Zahlkörper von Primzahlgrad ℓ, J. Fac. Sci. Tokyo I 4 (1940) 61–115
Iwasawa K, Riemann–Hurwitz formula and p-adic Galois representations for number fields, Tohoku Math. J. 33 (2) (1981) 263–288 , https://www.jstage.jst.go.jp/article/tmj1949/33/2/33_2_263/_pdf
Jaulent J -F, L’arithmétique des ℓ-extensions (Thèse d’Etat, Université de Franche-Comté, Besançon), Publ. Math. Fac. Sci. Besançon (Théorie des Nombres), Années 1984/86. http://pmb.univ-fcomte.fr/1986/Jaulent_these.pdf
Jaulent J -F, Théorie ℓ-adique globale du corps de classes, J. Théorie des Nombres de Bordeaux 10 (2) (1998) 355–397 , https://www.math.u-bordeaux.fr/~jjaulent/Articles/THCDC.pdf
Jaulent J -F, Classes logarithmiques des corps de nombres, J. Théor. Nombres Bordeaux 6 (1994) 301–325 , https://www.math.u-bordeaux.fr/~jjaulent/Articles/ClLog.pdf
Kida Y, ℓ-extensions of CM-fields and cyclotomic invariants, J. Number Theory 12 (1980) 519–528 , http://www.sciencedirect.com/science/article/pii/0022314X80900426
Klys J, Reflection principles for class groups (preprint 2016), arXiv:http://arxiv.org/pdf/1605.04371.pdf
Koch H, Galois Theory of p-Extensions (2002) (Springer: Springer Monographs in Mathematics)
Kolster M, The 2-part of the narrow class group of a quadratic number field, Ann. Sci. Math. Québec 29 (1) (2005) 73–96
Kulkarni M, Majumdar D and Sury B, ℓ-Class groups of cyclic extensions of prime degree ℓ, J. Ramanujan Math. Soc. 30 (4) (2015) 413–454, http://www.isibang.ac.in/~sury/5class.pdf
Kurihara M, On the ideal class groups of the maximal real subfields of number fields with all roots of unity, J. Eur. Math. Soc. 1 (1999) 35–49 , http://link.springer.com/article/10.1007/PL00011159#page-1
Lang S, Algebraic Number Theory, Addison-Wesley Publ. Comp. 1970, corrected second printing 1986; second edition: Graduate Texts in Math. 110, Springer-Verlag 1994, corrected third printing 2000
Lemmermeyer F, Galois action on class groups, J. Algebra 264 (2) (2003) 553–564 , http://www.sciencedirect.com/science/article/pii/S0021869303001224
Lemmermeyer F, Class groups of dihedral extensions, Math. Nachr. 278 (6) (2005) 679–691 ,http://onlinelibrary.wiley.com/doi/10.1002/mana.200310263/abstract, http://www.fen.bilkent.edu.tr/franz/publ/mndih.pdf
Lemmermeyer F, The ambiguous class number formula revisited, J. Ramanujan Math. Soc. 28 (4) (2013) 415–421 , arXiv:http://arxiv.org/abs/1309.1071v1.pdf
Lemmermeyer F, The Development of the Principal Genus Theorem, in: The Shaping of Arithmetic after C. F. Gauss’s Disquisitiones Arithmeticae, chap. VIII.3 (2007) (Springer) pp. 529–561, http://www.math.uiuc.edu/Algebraic-Number-Theory/0354/dpgt.pdf
Maire C, Une remarque sur la capitulation du groupe des classes au sens restreint, Publ. Math. Fac. Sci. Besançon (Théorie des Nombres), Années 1996/97-1997/98, http://pmb.univ-fcomte.fr/1998/Maire.pdf
Mayer D C, Principalization algorithm via class group structure, J. Théorie des Nombres de Bordeaux 26 (2) (2014) 415–464 , arXiv:http://arxiv.org/abs/1403.3839v1.pdf
Mayer D C, The second p-class group of a number field, Int. J. Number Theory 8 (471) (2012) 471–506, arXiv:1403.3899, http://www.worldscientific.com/doi/abs/10.1142/S179304211250025X
Miyake, K (ed.), Class field theory – Its centenary and prospect 1998, Advanced Studies in Pure Mathematics 30, Math. Soc. Japan 2001, http://www.mathbooks.org/aspm/aspm30/aspm30-frontmatter.pdf
Miyake K, Algebraic investigations of Hilbert’s theorem 94, the principal ideal theorem and the capitulation problem, Exp. Math. 7 (1989) 289–346
Morton P, Density results for the 2-classgroups of imaginary quadratic fields, J. Reine Angew. Math. 332 (1982) 156–187 , https://eudml.org/doc/152433
Morton P, Governing fields for the 2-classgroup of \(\mathbb {Q}(\sqrt {- q_{1}\, q_{2}\, p}) \)and a related reciprocity law, Acta Arithmetica 55 (1990) 267–290 , http://matwbn.icm.edu.pl/ksiazki/aa/aa55/aa5537.pdf
Mouhib A and Movahhedi A, Sur le 2-groupe de classes des corps multiquadratiques réels, J. de Théorie des Nombres de Bordeaux 17 (2005) 619–641 , https://www.emis.de/journals/JTNB/2005-2/article12.pdf
Movahhedi A and Nguyen Quang Do T, Sur l’arithmétique des corps de nombres p-rationnels, Sém. Théorie des Nombres, Paris (1987/89), Progress in Math. 81, Birkhäuser (1990), 155–200, https://www.researchgate.net/publication/236865321
Mazur B and Wiles A, Class fields of abelian extensions of \(\mathbb {Q}\), Inventiones Mathematicae 76 (2) (1984) 179–330 , https://eudml.org/doc/143124
Razar M J, Central and genus class fields and the Hasse norm theorem, Compositio Math. 35 (1977) 281–298
Rédei L, Ein neues zahlentheoretisches Symbol mit Anwendungen auf die Theorie der quadratischen Zahlkörper, J. Reine Angew. Math. 180 (1938) 1–43
Schoof R, The structure of minus class groups of abelian number fields, in: C. Goldstein (ed.), Séminaire de Théorie de Nombres, Paris 1988–1990, Progress in Math. 91 (1990) (Birkhäuser) pp. 185–204, http://www.mat.uniroma2.it/schoof/dpp.pdf
Schoof R, Computing Arakelov class groups, “Algorithmic number theory”, MSRI Publications 44 (2008) (Cambridge: Cambridge University Press) pp. 447–495, http://www.mat.uniroma2.it/schoof/14schoof.pdf
Schoof R, Class groups of real cyclotomic fields of prime conductor, Math. Comp. 72 (2003) 913–937 , http://www.mat.uniroma2.it/schoof/realcyc.pdf
Serre J -P, Corps locaux, Actualités Scientifiques et Industrielles 1296, Hermann 1962, 1968, 1980, quatrième édition revue et corrigée 2004; English translation: Local fields, Graduate Texts in Math. 67, Springer-Verlag 1979, corrected second printing 1995
Serre J -P, Sur le résidu de la fonction zêta p-adique d’un corps de nombres, C.R. Acad. Sci. Paris Série I 287 (1978) 183–188
Sinnott W, On p-adic L-functions and the Riemann-Hurwitz genus formula, Comp. Math. 53 (1984) 3–17 , http://archive.numdam.org/ARCHIVE/CM/CM_1984__53_1/CM_1984__53_1_3_0/CM_1984__53_1_3_0.pdf
Soriano F, Classes logarithmiques ambiges des corps quadratiques, Acta Arith. LXXVIII.3 (1997) 201–219 , http://matwbn.icm.edu.pl/ksiazki/aa/aa78/aa7831.pdf
Stevenhagen P, Rédei-matrices and applications, Number theory (Paris, 1992–1993), 245–259, London Math. Soc. Lecture Note Ser. 215, (1995) (Cambridge: Cambridge Univ. Press), http://dx.doi.org/10.1017/CBO9780511661990.015
Stevenhagen P, Ray class groups and governing fields, Publ. Math. Fac. Sci. Besançon (Théorie des Nombres), Fasc 1, Années 1988/1989, http://pmb.univ-fcomte.fr/1989/Stevenhagen.pdf
Suzuki H, A generalization of Hilbert’s theorem 94, Nagoya Math. J. 121 (1991) 161–169
Schoof R and Washington L C, Visibility of ideal classes, J. Number Theory 130 (12) 2715–2731 , http://www.sciencedirect.com/science/article/pii/S0022314X1000185X
Terada F, A principal ideal theorem in the genus fields, Tohoku Math. J. 23 (2) (1971) 697–718
Washington L C, Introduction to cyclotomic fields, Graduate Texts in Math. 83, Springer enlarged second edition 1997
Wittmann C h, p-class groups of certain extensions of degree p, Math. Computation 74 (250) (2004) 937–947 ,http://www.ams.org/journals/mcom/2005-74-250/S0025-5718-04-01725-9/
Yue Q, The generalized Rédei-matrix, Math. Z. 261 (1) (2008) 23–37
Yue Q, 8-ranks of class groups of quadratic number fields and their densities, Acta Mathematica Sinica 27 (7) (2011) 1419–1434 , https://www.researchgate.net/publication/226464839
Acknowledgements
The author would like to thank Prof. Balasubramanian Sury for his kind interest and his valuable help for the submission of this paper. He is also very grateful to the referee for careful reading and suggestions that improved this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
ArticleNote
Communicating Editor: B Sury
Rights and permissions
About this article
Cite this article
GRAS, G. Invariant generalized ideal classes – structure theorems for p-class groups in p-extensions. Proc Math Sci 127, 1–34 (2017). https://doi.org/10.1007/s12044-016-0324-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12044-016-0324-1
Keywords
- Number fields
- class field theory
- p-class groups
- p-extensions
- generalized classes
- ambiguous classes
- Chevalley’s formula.