Invariant generalized ideal classes -- structure theorems for p-class groups in p-extensions

DOI10.1007/S12044-016-0324-1zbMATH Open1410.11122arXiv2108.04502OpenAlexW2577688829MaRDI QIDQ2358433FDOQ2358433

Authors: Georges Gras 

Publication date: 14 June 2017

Published in: Proceedings of the Indian Academy of Sciences. Mathematical Sciences (Search for Journal in Brave)

Abstract: We give, in Sections 2 and 3, an english translation of: {it Classes g'en'eralis'ees invariantes}, J. Math. Soc. Japan, 46, 3 (1994), with some improvements and with notations and definitions in accordance with our book: {it Class Field Theory: from theory to practice}, SMM, Springer-Verlag, $2^{mnd}$ corrected printing 2005. We recall, in Section 4, some structure theorems for finite $mathbb{Z}_p[G]$-modules ($GsimeqmathbbZ/p,mathbbZ$) obtained in: {it Sur les $ell$-classes d'id'eaux dans les extensions cycliques relatives de degr'e premier $ell$}, 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 5, 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: {it 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.

Full work available at URL: https://arxiv.org/abs/2108.04502

Recommendations

• On the Galois module structure of ideal class groups
• Generalized invariant classes
• The ideal class group of the \(\mathbb Z_p\)-extension over the rationals
• On \(p\)-class groups of relative cyclic \(p\)-extensions
• On p-class groups of cyclic extensions of prime degree p of number fields

zbMATH Keywords

generalized classesclass field theorynumber fieldsambiguous classes\(p\)-class groups\(p\)-extensionsChevalley's formula

Mathematics Subject Classification ID

Class field theory (11R37) Class numbers, class groups, discriminants (11R29)

Cites Work

• Remarks on \(K_ 2\) of number fields
• Global \(\ell\)-adique clean field theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Class fields of abelian extensions of \(\mathbb Q\)
• The Genus Field and Genus Number in Algebraic Number Fields
• Computing Arakelov class groups
• \(\ell\)-extensions of CM-fields and cyclotomic invariants
• Riemann-Hurwitz formula and p-adic Galois representations for number fields
• Title not available (Why is that?)
• Sur les \(\ell\)-classes d'idéaux dans les extensions cycliques rélatives de degré premier \(\ell\). I
• Generalized invariant classes
• Class groups of dihedral extensions
• No general Riemann-Hurwitz formula for relative \(p\)-class groups
• Title not available (Why is that?)
• On the Iwasawa Invariants of Totally Real Number Fields
• A generalization of Hubert’s theorem 94
• Sur les \(l\)-classes d'ideaux des extensions non galoisiennes de Q de degré premier impair \(l\) à cloture galoisienne diedrale de degré 2\(l\)
• The second \(p\)-class group of a number field
• On Ranks of Class Groups of Fields in Dihedral Extensions over Q with Special Reference to Cubic Fields
• Algebraic investigations of Hilbert's theorem 94, the principal ideal theorem and the capitulation problem
• Eigenspaces of the ideal class group
• Annihilators for the Class Group of a Cyclic Field of Prime Power Degree, II
• Principalization algorithm via class group structure
• Central Extensions, Galois Groups, and Ideal Class Groups of Number Fields
• The generalized Rédei-matrix
• 8-ranks of class groups of quadratic number fields and their densities
• Title not available (Why is that?)
• The 4-class ranks of quadratic fields
• On the ideal class groups of the maximal real subfields of number fields with all roots of unity
• Title not available (Why is that?)
• A principal ideal theorem in the genus field
• Coclass of \(\mathrm{Gal}(\Bbbk_2^{(2)}/\Bbbk)\) for some fields \(\Bbbk=\mathbb{Q}(\sqrt{p_1p_2q},\sqrt{-1})\) with 2-class groups of types (2,2,2)
• On the strongly ambiguous classes of some biquadratic number fields.
• The Ambiguous Class Number Formula Revisited
• Reflection principles for class groups
• Title not available (Why is that?)
• Regulators and Iwasawa modules
• Logarithmic classes of number fields
• Galois action on class groups
• On 3-Class groups of certain pure cubic fields
• Annihilators of minus class groups of imaginary Abelian fields
• Class numbers of real cyclotomic fields of prime conductor
• On the structure of relative class groups. With an appendix of numerical examples
• Making ideals principal by absolute abelian extensions
• Title not available (Why is that?)
• Visibility of ideal classes
• Sur les \(\ell\)-classes d'idéaux dans les extensions cycliques rélatives de degré premier \(\ell\). II
• Zur Berechnung der 2-Klassenzahl der quadratischen Zahlkörper mit genau zwei verschiedenen Diskrimantenprimteilern.
• Sylow subgroups of ideal class groups with moduli
• Capitulation and transfer kernels
• Groupe de Galois de la p-extension abélienne p-ramifiée maximale d'un corps de nombres.
• Density results for the 2-classgroups of imaginary quadratic fields.
• Title not available (Why is that?)
• On the 2-class group of real multiquadratic fields
• Title not available (Why is that?)
• Logarthme p-adique et groupes de Galois.
• Nombre de $\varphi$-classes invariantes. Application aux classes des corps abéliens
• Classes logarithmiques ambiges des corps quadratiques
• Ein neues zahlentheoretisches Symbol mit Anwendungen auf die Theorie der quadratischen Zahlkörper. I.
• On the Bertrandias-Payan module in a p-extension -- capitulation kernel
• The local \(\theta\)-regulators of an algebraic number: \(p\)-adic conjectures
• 𝑝-class groups of certain extensions of degree 𝑝
• Title not available (Why is that?)
• \(l\)-class groups of cyclic extensions of prime degree \(l\)
• Capitulation, ambiguous classes and the cohomology of the units
• Transfer kernels for finite groups.
• On p ‐Class Groups of Cyclic Extensions of Prime Degree p of Quadratic Fields
• Governing fields for the 2-classgroup of $Q(sqrt{-q_{1}q_{2}p})$ and a related reciprocity law
• On p-class groups of cyclic extensions of prime degree p of number fields
• Capitulation and Transfer Triples
• On a conjecture concerning minus parts in the style of Gross
• Title not available (Why is that?)
• Class field theory -- its centenary and prospect. Proceedings of the 7th MSJ International Research Institute of the Mathematical Society of Japan, Tokyo, Japan, June 3--12, 1998

Cited In (15)

• Structure of 2-class groups in the \(\mathbb{Z}_2\)-extensions of certain real quadratic fields
• \(p\)-adic approach of Greenberg's conjecture for totally real fields
• On \(p\)-class groups of relative cyclic \(p\)-extensions
• On the \(\lambda\)-stability of \(p\)-class groups along cyclic \(p\)-towers of a number field
• Title not available (Why is that?)
• \(T\)-ranks of Iwasawa modules
• Abelian capitulation of ray class groups
• Abelian prinicipalization of groups of logarithmic classes
• The Chevalley-Gras formula over global fields
• Algorithmic complexity of Greenberg's conjecture
• \(\ell\)-class groups of fields in Kummer towers
• Ideal norms in the cyclotomic tower and Greenberg's conjecture
• The Chevalley-Herbrand formula and the real abelian Main Conjecture (new criterion using capitulation of the class group)
• Genus theory and \(\varepsilon\)-conjectures on \(p\)-class groups
• On Hilbert ideals for a class of 𝑝-groups in characteristic 𝑝

Uses Software

• PARI/GP

This page was built for publication: Invariant generalized ideal classes -- structure theorems for \(p\)-class groups in \(p\)-extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2358433)