Maximal unramified extensions of imaginary quadratic number fields of small conductors
Journal de Théorie des Nombres de Bordeaux, Tome 9 (1997) no. 2, pp. 405-448.

Nous déterminons la structure du groupe de Galois Gal(K ur /K) de l’extension maximale non ramifiée K ur de chaque corps quadratique imaginaire de conducteur 420(719 sous GRH). Pour tous ces corps K, l’extension K ur coïncide avec K, ou avec le corps de classes de Hilbert de K, ou avec le second corps de classes de Hilbert de K ou avec le troisième corps de classes de Hilbert de K. Les bornes d’Odlyzko sur les discriminants et les informations sur la structure des groupes de classes obtenues par l’action du groupe de Galois sur les groupes de classes sont ici essentielles. Nous utilisons aussi des relations sur le nombre de classes et un ordinateur pour le calcul du nombre de classes de corps de bas degré pour obtenir le nombre de classes de corps de degré plus élevé. Nous utilisons aussi des résultats sur les tours de corps de classes, ainsi que notre connaissance des 2-groupes d’ordre 2 6 et des groupes linéaires sur des corps finis.

We determine the structures of the Galois groups Gal(K ur /K) of the maximal unramified extensions K ur of imaginary quadratic number fields K of conductors 420(719 under the Generalized Riemann Hypothesis). For all such K, K ur is K, the Hilbert class field of K, the second Hilbert class field of K, or the third Hilbert class field of K. The use of Odlyzko’s discriminant bounds and information on the structure of class groups obtained by using the action of Galois groups on class groups is essential. We also use class number relations and a computer for calculation of class numbers of fields of low degrees in order to get class numbers of fields of higher degrees. Results on class field towers and the knowledge of the 2-groups of orders 2 6 and linear groups over finite fields are also used.

DOI : https://doi.org/10.5802/jtnb.211
Classification : Primary 11R32,  11R11
Mots clés: maximal unramified extension, imaginary quadratic number field, discriminant bounds, class field tower
@article{JTNB_1997__9_2_405_0,
     author = {Yamamura, Ken},
     title = {Maximal unramified extensions of imaginary quadratic number fields of small conductors},
     journal = {Journal de Th\'eorie des Nombres de Bordeaux},
     pages = {405--448},
     publisher = {Universit\'e Bordeaux I},
     volume = {9},
     number = {2},
     year = {1997},
     doi = {10.5802/jtnb.211},
     zbl = {0905.11048},
     mrnumber = {1617407},
     language = {en},
     url = {jtnb.centre-mersenne.org/item/JTNB_1997__9_2_405_0/}
}
Ken Yamamura. Maximal unramified extensions of imaginary quadratic number fields of small conductors. Journal de Théorie des Nombres de Bordeaux, Tome 9 (1997) no. 2, pp. 405-448. doi : 10.5802/jtnb.211. https://jtnb.centre-mersenne.org/item/JTNB_1997__9_2_405_0/

1 S. Arno, The imaginary quadratic fields of class number 4, Acta Arith. 60 (1992), no. 4, 321-334; MR 93b:11144. | | MR 1159349 | Zbl 0760.11033

2 S. Arno, M.L. Robinson, and F.S. Wheeler, The imaginary quadratic fields of small odd class numbers, preprint, 1993. | MR 1610549 | Zbl 0904.11031

3 J. Basmaji and I. Kiming, A table of A5-fields, On Artin's conjecture for odd 2-dimensional representations (G. Frey, ed.), Lecture Notes in Math., vol. 1585, Springer-Verlag, New York and Berlin, 1994, pp. 37-46, 122-141; MR 96e:11141. | MR 1322317 | Zbl 0837.11066

4 E. Benjamin, Remarks concerning the 2-Hilbert class field of imaginary quadratic number fields, Bull Austral. Math. Soc. 48 (1993), no. 3, 379-383; MR 94m:11133; Corrigenda, ibid. 50 (1994), no. 2, 351-352. | MR 1248041 | Zbl 0816.11054

5 E. Benjamin, F. Lemmermeyer, and C. Snyder, Imaginary quadratic fields k with cyclic Cl2(k1), J. Number Theory 67 (1997), no. 2, 229-245. | MR 1486501 | Zbl 0919.11074

6 R. Brauer, Beziehung zwischen Klassenzahl von Teilkörpern eines galoisschen Körpers, Math. Nachr. 4 (1951), no. 139, 158-174; MR 12, 593b; reprinted in Collected papers, vol. III, MIT Press, Cambridge, Mass.-London, 1980, pp. 497-513. | MR 39760 | Zbl 0042.03801

7 D.A. Buell, Small class number and extreme values of L-functions of quadratic fields, Math. Comp. 31 (1977), no. 139, 786-796; MR 55 #12684. | MR 439802 | Zbl 0379.12001

8 R. Carter and P. Fong, The Sylow 2-subgroups of the finite classical groups, J. Algebra 1 (1964), no. 2, 139-151; MR 29 #3548. | MR 166271 | Zbl 0123.02901

9 C. Castela, Nombre de classes d'idéaux d'une extension diédrale d'un corps de nombres, C. R. Acad. Sci. Paris Sér. A-B 287 (1978), no. 7, 483-486; MR 80c:12012. | MR 512085 | Zbl 0395.12011

10 H. Cohen and H.W. Lenstra, Jr., Heuristics on class groups of number fields, Number Theory, Noordwijkerhout, 1983 (H. Jager, ed.), Lecture Notes in Math., vol. 1068, Springer-Verlag, Berlin and New York, 1984, pp. 33-62; MR 85j:11144. | MR 756082 | Zbl 0558.12002

11 H. Cohn, A classical invitation to algebraic numbers and class fields, Universitext, Springer-Verlag, Berlin and New York, 1978; MR 80c:12001. | MR 506156 | Zbl 0395.12001

12 F. Diaz Y Diaz, Tables minorant la racine n-ième du discriminant d'un corps de degré n, Publications Mathématiques d'Orsay 80, 6., Université de Paris-Sud, Département de Mathématique, Orsay, 1980; MR 82i:12007. | MR 607864 | Zbl 0482.12003

13 H.J. Godwin, On quartic fields of signature one with small discriminant. II, Math. Comp. 42 (1984), no. 166, 707-711; MR 85i:11092a; Corrigendum, ibid. 43 (1984), no. 168, 621; MR 85i:11092b. | MR 736462 | Zbl 0535.12003

14 ____, On totally complex quartic fields with small discriminant, Proc. Cambridge Philos. Soc. 53 (1957), 1-4; MR 18, 565c. | MR 82527 | Zbl 0077.04601

15 ____, On relations between cubic and quartic fields, Quart. J. Math. Oxford (2) 13 (1962), 206-212; Corrigendum, ibid. (3) 26 (1975), no. 104, 511-512; MR 52 #8078. | MR 387235

16 F. Hajir, Unramified elliptic units, thesis, MIT, 1993.

17 M. Hall, Jr. and J.K. Senior, The groups of order 2n(n ≤ 6), The Macmillan Co., New York, 1964; MR 29 #5889. | Zbl 0192.11701

18 F. Halter-Koch, Einheiten und Divisorenklassen in Galois'schen algebraischen Zahlkörpern mit Diedergruppe der Ordnung 2l für eine ungerade Primzahll, Acta Arith. 33 (1977), no. 4, 355-364; MR 56 #11955. | MR 453695 | Zbl 0416.12003

19 F. Halter-Koch et N. Moser, Sur le nombre de classes de certaines extensions métacycliques sur Q ou sur un corps quadratiques imaginaires, J. Math. Soc. Japan 30 (1978), no. 2, 237-248; MR 58 #5587. | MR 485781 | Zbl 0368.12003

20 H. Hayashi, On elliptic units and class number of a certain dihedral extension of degree 2l, Acta Arith. 45 (1985), no. 1, 35-45; MR 86m:11081. | MR 765245 | Zbl 0499.12002

21 C.S. Herz, Construction of class fields, Seminar on Complex Multiplication, Chap. VII, Lecture Notes in Math., vol. 21, Springer-Verlag, Berlin and New York, 1966. | MR 201394

22 B. Huppert, Endliche Gruppen I, Die Grundlehren der math. Wiss., Bd. 134, Springer-Verlag, Berlin and New York, 1967; MR 37 #302. | MR 224703 | Zbl 0217.07201

23 A. Jehanne, Sur les extensions de Q à groupe de Galois S4 et S4, Acta Arith. 70 (1995), no. 3, 259-276; MR 95m:11127. | MR 1316479 | Zbl 0829.11059

24 G. Kientega and P. Barrucand, On quartic fields with symmetric group, Number theory (R. A. Mollin, ed.), de Gruyter, Berlin, 1990, pp. 287-297; MR 92e:11113. | MR 1106668 | Zbl 0716.11050

25 H. Kisilevsky, Number fields with class number congruent to 4 mod 8 and Hilbert's Theorem 94, J. Number Theory 8 (1976), no. 3, 271-279; MR 54 #5188. | MR 417128 | Zbl 0334.12019

26 T. Kondo, Algebraic number fields with the discriminant equal to that of a quadratic number field, J. Math. Soc. Japan 47 (1995), no. 1, 31-36; MR 95h:11121. | MR 1304187 | Zbl 0865.11074

27 S. Kuroda, Über die Klassenzahlen algebraischer Zahlkörper, Nagoya Math. J. 1 (1950), 1-10; MR 12, 593a. | MR 39759 | Zbl 0037.16101

28 F. Lemmermeyer, Kuroda's class number formula, Acta Arith. 66 (1994), no. 3, 245-260; MR 95f:11090. | MR 1276992 | Zbl 0807.11052

29 ____, On 2-class field towers of imaginary quadratic number fields, J. Théor. Nombres Bordeaux 6 (1994), no. 2, 261-272; MR 96k:11136. | Numdam | MR 1360645

30 ____, On unramified quaternion extension of imaginary quadratic number fields, J. Théor. Nombres Bordeaux 9 (1997), no. 1, 51-68. | Numdam | MR 1469661

31 ____, On 2-Class field towers of some imaginary quadratic number fields, Abh. Math. Sem. Univ. Hamburg 67 (1997), 205-214. | MR 1481537 | Zbl 0919.11075

32 ____, Private communication, 1996.

33 J. Martinet, Corps de nombres de classes 1, Séminaire de Théorie des Nombres 1977-1978, Exp. No. 12, CNRS, Talence, 1978; MR 80k:12009. | MR 550272 | Zbl 0399.12002

34 ____, Petits discriminants des corps de nombres, Number theory days, 1980 (Exeter, 1980), London Math. Soc. Lecture Note Ser. 56, Cambridge Univ. Press, Cambridge, New York, 1982, pp. 151-193; MR 84g:12009. | MR 697261

35 J.M. Masley, Class numbers of real cyclic number fields with small conductor, Compositio Math. 37 (1978), no. 3, 297-319; MR 80e:12005. | Numdam | MR 511747 | Zbl 0428.12003

36 N. Moser, Unités et nombre de classes d'une extension galoisienne diédrale de Q, Abh. Math. Sem. Univ. Hamburg 48 (1979), 54-75; MR 81h:12009. | MR 537446 | Zbl 0387.12005

37 A. Nomura, On the existence of unramified p-extensions, Osaka J. Math. 28 (1991), no. 1, 55-62; MR 92e:11115. | MR 1096927 | Zbl 0722.11055

38 A.M. Odlyzko, Discriminant bounds, (unpublished tables), Nov. 29th 1976.

39 ____, Bounds for discriminants and related estimates for class numbers, regulators and zeros of zeta functions: a survey of recent results, Sém. Théor. Nombres Bordeaux (2) 2 (1990), no. 1, 119-141; MR 91i:11154. | Numdam | MR 1061762 | Zbl 0722.11054

40 J. Oesterlé, Nombres de classes de corps quadratiques imaginaires, Sém. Bourbaki 1983-1984, Exp. 631, 14pp; MR 86k:11064. | Numdam | MR 768967 | Zbl 0551.12003

41 M. Olivier, Corps sextique primitifs, Ann. Inst. Fourier (Grenoble) 40 (1990), no. 4, 757-767; MR 92a:11123. | Numdam | MR 1096589 | Zbl 0734.11054

42 T.W. Sag and J.W. Wamsley, Minimal presentations for groups of order 2n, n ≦ 6, J. Austral. Math. Soc. 15 (1973), 461-469; MR 49 #406. | Zbl 0267.20028

43 R. Schoof, Private communication, 1996.

44 A. Schwarz, M. Pohst and F. Diaz Y Diaz, A table of quintic number fields, Math. Comp. 63 (1994), no. 207, 361-374; MR 94i:11108. | MR 1219705 | Zbl 0822.11087

45 J.-P. Serre, Modular forms of weight one and Galois representations, Algebraic number fields: L-functions and Galois properties (Proc. Sympos., Univ. Durham, Durham, 1975) (A. Fröhlich, ed.), Academic Press, London, 1977, pp. 193-268; MR 56 #8497; repreinted in Collected papres, vol. III, Springer-Verlag, New York and Berlin, 1986, pp. 292-367. | MR 450201 | Zbl 0366.10022

46 ____, Topics in Galois theory, Research Notes in Math., vol. 1, Jones and Bartlett Publishers, Boston, MA, 1992; MR 94d:12006. | MR 1162313 | Zbl 0746.12001

47 M.W. Short, The primitive soluble permutation groups of degree less than 256, Lecture Notes in Math., vol. 1519, Springer-Verlag, Berlin and New York, 1992; MR 93g:20006. | MR 1176516 | Zbl 0752.20001

48 A.G. Stephens and H.C. Williams, Computation of real quadratic fields with class number one, Math. Comp. 51 (1988), no. 184, 809-824; MR 90b:11106. | MR 958644 | Zbl 0699.12006

49 O. Taussky, A remark on the class field tower, J. London Math. Soc. 12 (1937), 82-85. | JFM 63.0144.03 | Zbl 0016.20002

50 F. Van Der Linden, Class number computations of real abelian number fields, Math. Comp. 39 (1982), no. 160, 693-707; MR 84e:12005. | MR 669662 | Zbl 0505.12010

51 H. Wada, On the class number and the unit group of certain algebraic number fields, J. Fac. Sci. Univ. Tokyo Sect. IA 13 (1966), 201-209; MR 35 #5414. | MR 214565 | Zbl 0158.30103

52 C. Wagner, Class number 5, 6 and 7, Math. Comp. 65 (1996), no. 214, 785-800; MR 96g:11135. | MR 1333327 | Zbl 0857.11057

53 L.C. Washington, Introduction to Cyclotomic Fields, Graduate Text in Math., vol. 83, Springer-Verlag, Berlin and New York, 1982; MR 85g:11101. | MR 718674 | Zbl 0484.12001

54 Y. Yamamoto, Divisibility by 16 of class numbers of quadratic fields whose 2-class groups are cyclic, Osaka J. Math. 21 (1984), no. 1, 1-22; MR 85g:11092. | MR 736966 | Zbl 0535.12002

55 K. Yamamura, On unramified Galois extensions of real quadratic number fields, Osaka J. Math. 23 (1986), no. 2, 471-486; MR 88a:11112. | MR 856901 | Zbl 0609.12006

56 ____, Some analogue of Hilbert's irreducibility theorem and the distribution of algebraic number fields, J. Fac. Sci. Univ. Tokyo Sect. IA 38 (1991), no. 1, 99-135; MR 92e:11132. | MR 1104367 | Zbl 0747.14001

57 ____, The determination of the imaginary abelian number fields with class number one, Math. Comp. 62 (1994), no. 206, 899-921; MR 94g:11096. | MR 1218347 | Zbl 0798.11046

58 ____, The maximal unramified extensions of the imaginary quadratic number fields with class number two, J. Number Theory 60 (1996), no. 2, 42-50; MR 97g:11119. | MR 1405724 | Zbl 0865.11077

59 ____, Determination of the non-CM imaginary normal octic number fields with class number one, submitted for publication.

60 ____, Real quadratic number fields with class number one having an unramified An-extension, in preparation.

61 K. Yamazaki, Computations of Galois groups, Proc. Symp. Group theory and its application (T. Kondo, ed.), 1981, pp. 9-57. (Japanese)