On the structure of relative class groups. With an appendix of numerical examples
type: Item
instance of: scholarly article
title: On the structure of relative class groups. With an appendix of numerical examples
zbMATH Open document ID: 0786.11065
author: Georges Gras
publication date: 1993-06-13T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/74987
review text: Let \(p\) be an odd prime and let \(\chi: \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to \overline{\mathbb{Q}}_ p^*\) be an odd \(p\)-adic Dirichlet character, which is not equal to the Teichmüller character. Let \(Cl(\chi)\) denote the \(\chi\)-part of the \(p\)-class group of the number field \(F=\mathbb{Q}^{\ker(\chi)}\) cut out by \(\chi\). It is a module over the \(p\)-adic ring \(R_ \chi= \mathbb{Z}_ p[ \text{im}(\chi)]\) and by a result of \textit{B. Mazur} and \textit{A. Wiles} [Invent. Math. 76, 179-330 (1986; Zbl 0545.12005)], then its cardinality is equal to the cardinality of \(R_ \chi/(B_{1,\chi^{-1}})\). Here \(B_{1,\chi^{- 1}}\) denotes a generalized Bernoulli number. The authors study the structure of \(Cl(\chi)\) as a module over the ring \(R_ \chi\). To this end they pick \(t\) primes \(l_ 1,\dots,l_ t\) that are \(\equiv 1\pmod p\) and split in \(F\). They show that if the Bernoulli number \(B_{1,\chi^{-1}\psi}\) has valuation \(t\) in the ring \(\mathbb{Z}_ p [\text{im}(\chi\psi)]\) for some character \(\psi\) of order \(p\) and conductor \(l_ 1\cdot l_ 2\cdot \dots\cdot l_ t\), then \(Cl(\chi)\) is generated over \(R_ \chi\) by the classes of the prime ideals over the \(l_ i\). Moreover, if the \(R_ \chi\)-rank of \(Cl(\chi)\) is equal to \(t\), then the collection of \(t\)-tuples of primes \(l_ 1,l_ 2,\dots,l_ t\) with this property has non-zero Chebotarev density. This result is related to \textit{V. A. Kolyvagin's} methods [Euler systems, The Grothendieck Festschrift, Vol. II, Prog. Math. 87, 435-483 (1990; Zbl 0742.14017)]. Usually the module \(Cl(\chi)\) is cyclic as an \(R_ \chi\)-module. But there are examples of eigenspaces \(Cl(\chi)\) that are not cyclic as \(R_ \chi\)-modules. In all these examples the character \(\chi\) has order 2. The authors exhibit a different example: for one of the two 5-adic characters \(\chi\), the eigenspace \(Cl(\chi)\) of the quadratic field \(F= \mathbb{Q} (\sqrt {-541(37+6 \sqrt {37})}\) is not cyclic o…
reviewed by: René Schoof
Mathematics Subject Classification ID: 11R29
Mathematics Subject Classification ID: 11R18
zbMATH DE Number: 179546
zbMATH Keywords: structure of relative class groups
zbMATH Keywords: numerical examples
MaRDI profile type: Publication
OpenAlex ID: W2463060505
cites work: Q3889159
cites work: Sur les \(\ell\)-classes d'idéaux dans les extensions cycliques rélatives de degré premier \(\ell\). I
cites work: Nombre de $\varphi$-classes invariantes. Application aux classes des corps abéliens
cites work: Q3972742
cites work: Class fields of abelian extensions of \(\mathbb Q\)
cites work: Q5750966
cites work: On the class groups of imaginary abelian fields
cites work: Q4723851
cites work: Q4723852
DOI: 10.5802/AIF.1319
published in: Annales de l’institut Fourier
description: scientific article; zbMATH DE number 179546