Making ideals principal by absolute abelian extensions

DOI10.1006/JNTH.1997.2068MaRDI QIDQ676232zbMATH OpenOpenAlexFDO

Authors Georges Gras

Publication date 1 September 1997

Published in Journal of Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

\(p\)-class groupabelian extensioncapitulation of ideal classesclass field

Mathematics Subject Classification ID

Other abelian and metabelian extensions (11R20) Class numbers, class groups, discriminants (11R29)

Abstract: We give the complete proof of a conjecture of Georges Gras which claims that, for any extension $K/k$ of number fields in which at least one infinite place is totally split, every ideal $I$ of $K$ principalizes in the compositum $K{k}^{ab}$ of $K$ with the maximal abelian extension $k^{ab}$ of $k$

Review text

Let \(p\) be a prime not dividing the degree of an abelian extension \(F/k\) of number fields; under an additional condition on the splitting of infinite primes in \(F/k\), the author shows that there exist infinitely many abelian \(p\)-extensions \(K/F\), linearly disjoint over \(F\) and abelian over \(k\), such that certain parts of the \(p\)-class group of \(F\) (excluding e.g. the classes generated by ideals from \(k)\) capitulate in \(K\). He explains why the restrictions he made are necessary, and distills a conjecture on the class group of the maximal abelian extension of \(k\) from the experience gained by his construction.

Recommendations

• PRINCIPALIZATION OF IDEALS IN ABELIAN EXTENSIONS OF NUMBER FIELDS
• ON THE PRINCIPAL IDEAL THEOREM
• Abelian prinicipalization of groups of logarithmic classes
• Abelian capitulation of ray class groups

Cites work

• Generalized invariant classes
• On the structure of relative class groups. With an appendix of numerical examples

Cited in

(9)

• Abelian capitulation of ray class groups
• Abelian prinicipalization of groups of logarithmic classes
• Invariant generalized ideal classes -- structure theorems for p-class groups in p-extensions
• The Chevalley-Herbrand formula and the real abelian Main Conjecture (new criterion using capitulation of the class group)
• Making sense of capitulation: reciprocal primes
• Nonunique factorization and principalization in number fields
• On the -stability of p-class groups along cyclic p-towers of a number field
• PRINCIPALIZATION OF IDEALS IN ABELIAN EXTENSIONS OF NUMBER FIELDS
• Visibility of ideal classes

This page was built for publication: Making ideals principal by absolute abelian extensions

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