Available in electronic format
Available in print format
Mathematics of Computation
Journal of the American Mathematical Society
ISSN 1088-6842(e) ISSN 0025-5718(p)
     

Minus class groups of the fields of the $l$-th roots of unity

Author(s): René Schoof.
Journal: Math. Comp. 67 (1998), 1225-1245.
MSC (1991): Primary 11R18, 11R29, 11R34
Retrieve article in: PDF
This article is available free of charge

Abstract | References | Similar articles | Additional information

Abstract: We show that for any prime number $l>2$ the minus class group of the field of the $l$-th roots of unity $\overline{\mathbf{Q}_p} (\zeta _l)$ admits a finite free resolution of length 1 as a module over the ring $\widehat{\mathbf{Z}} [G]/(1+\iota)$. Here $\iota$ denotes complex conjugation in $G={{Gal}}( \overline{\mathbf{Q}_p} (\zeta _l)/\overline{\mathbf{Q}_p} )\cong(\mathbf{Z} /l\mathbf{Z} )^*$. Moreover, for the primes $l\le 509$ we show that the minus class group is cyclic as a module over this ring. For these primes we also determine the structure of the minus class group.


References:

[1]
Bourbaki, N.: Éléments de Mathématique, Algèbre, Hermann, Paris 1970.
[2]
Cassels, J.W.S and Fröhlich, A.: Algebraic Number Theory, Academic Press, London 1967. MR 35:6500
[3]
Cornacchia, P.: Anderson's module and ideal class groups of abelian fields, J. Number Theory, to appear.
[4]
Greither, C.: Class groups of abelian fields, and the main conjecture, Ann. de l'Institut Fourier, 42 (1992), 449-499. MR 93j:11071
[5]
Hasse, H.: Über die Klassenzahl abelscher Zahlkörper, Akademie-Verlag, Berlin 1952. MR 14:141a
[6]
Iwasawa, K.: A note on ideal class groups, Nagoya Math. J. 27, (1966), 239-247. MR 33:5603
[7]
Kolyvagin, V.A.: Euler Systems, in: The Grothendieck Festschrift II, Prog. Math. 87, Birkhäuser, Boston 1990, 435-483. MR 92g:11109
[8]
Kummer, E.E.: Collected papers, Vol.I, Springer-Verlag, Berlin 1975. MR 57:5650a
[9]
Kummer, E.E.: Bestimmung der Anzahl nicht äquivalenter Classen für die aus $\lambda $ten Wurzeln der Einheit gebildeten complexen Zahlen und die idealen Factoren derselben, J. für die reine und angewandte Math. 40, (1850), 93-116. (Coll.Papers 299-322)
[10]
Kummer, E.E.: Mémoire sur la théorie des nombres complexes composés de racines de l'unité et de nombres entiers, J. de math. pures et appl. 16, (1851), 377-498. (Coll.Papers 363-484)
[11]
Kummer, E.E.: Über die Irregularität von Determinanten, Monatsberichte der Kön. Preuß. Ak. der Wiss. zu Berlin, (1853), 194-200. (Coll.Papers 539-545)
[12]
Kummer, E.E.: Über die aus 31sten Wurzeln der Einheit gebildeten complexen Zahlen, Monatsberichte der Kön. Preuß . Ak. der Wiss. zu Berlin, (1870), 755-766. (Coll.Papers 907-918)
[13]
Lang, S.: Cyclotomic fields, Graduate Texts in Math. 59, Springer-Verlag, New York 1978. MR 58:5578
[14]
Lehmer, D.H.: Prime factors of cyclotomic class numbers, Math. Comp. 31, (1977), 599-607. MR 55:5576
[15]
Lehmer, D.H. and Masley, J.: Table of the cyclotomic class numbers $h^{*}(p)$ and their factors for $200<p<521$, Math.Comp. 32, (1978), 577-582, with microfiche supplement. MR 58:16594a
[16]
Mazur, B. and Wiles, A.: Class fields of abelian extensions of ${\hbox {\bf Q}}$, Invent. Math. 76, (1984), 179-330. MR 85m:11069
[17]
Perrin-Riou, B.: Travaux de Kolyvagin et Rubin, Séminaire Bourbaki 1989-1990, Exp. 717, Astérisque, 189-190, 69-106. MR 92f:11085
[18]
Rubin, K.: Kolyvagin's system of Gauss sums, In: Arithmetic Algebraic Geometry, Texel 1989, Prog. Math. 89, Birkhäuser, Boston 1991. MR 92a:11121
[19]
Schoof, R.: Cohomology of class groups of cyclotomic fields; an application to Morse-Smale diffeomorphisms, J. of Pure and Applied Algebra 53, (1988), 125-137. MR 89j:11111
[20]
Schoof, R.: The structure of the minus class groups of abelian number fields, In: Goldstein. C.: Sém. de Théorie de Nombres, Paris 1988-1989, Birkhäuser, Boston 1990, 185-204. MR 92e:11126
[21]
Schoof, R.: Class numbers of ${\hbox {\bf Q}}({\hbox {\rm cos}}(2\pi /p))$, in preparation.
[22]
Solomon, D.: On the class groups of imaginary abelian fields, Ann. Institut Fourier 40, (1990), 467-492. MR 92a:11133
[23]
Van der Linden, F.: Class number computations of real abelian number fields, Math. Comp. 39, (1982), 693-707. MR 84e:12005
[24]
Washington, L.C.: Introduction to cyclotomic fields, Graduate Texts in Math. 83, Springer-Verlag, New York 1982. MR 85g:11001


Similar Articles:

Retrieve articles in Mathematics of Computation with MSC (1991): 11R18, 11R29, 11R34

Retrieve articles in all Journals with MSC (1991): 11R18, 11R29, 11R34


Additional Information:

René Schoof
Affiliation: Dipartimento di Matematica, $2^{{a}}$ Università di Roma ``Tor Vergata", I-00133 Rome, Italy
Email: schoof@wins.uva.nl

DOI: 10.1090/S0025-5718-98-00939-9
PII: S 0025-5718(98)00939-9
Keywords: Cyclotomic fields, class groups, cohomology of groups
Received by editor(s): March 28, 1994
Received by editor(s) in revised form: December 2, 1996
Copyright of article: Copyright 1998, American Mathematical Society


  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2009, American Mathematical Society
Privacy Statement
Search the AMSPowered by Google