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

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.

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.

DOI: 10.5802/jtnb.211
Classification: Primary 11R32,  11R11
Keywords: maximal unramified extension, imaginary quadratic number field, discriminant bounds, class field tower
@article{JTNB_1997__9_2_405_0,
     author = {Ken Yamamura},
     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 = {https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.211/}
}
TY  - JOUR
TI  - Maximal unramified extensions of imaginary quadratic number fields of small conductors
JO  - Journal de Théorie des Nombres de Bordeaux
PY  - 1997
DA  - 1997///
SP  - 405
EP  - 448
VL  - 9
IS  - 2
PB  - Université Bordeaux I
UR  - https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.211/
UR  - https://zbmath.org/?q=an%3A0905.11048
UR  - https://www.ams.org/mathscinet-getitem?mr=1617407
UR  - https://doi.org/10.5802/jtnb.211
DO  - 10.5802/jtnb.211
LA  - en
ID  - JTNB_1997__9_2_405_0
ER  - 
%0 Journal Article
%T Maximal unramified extensions of imaginary quadratic number fields of small conductors
%J Journal de Théorie des Nombres de Bordeaux
%D 1997
%P 405-448
%V 9
%N 2
%I Université Bordeaux I
%U https://doi.org/10.5802/jtnb.211
%R 10.5802/jtnb.211
%G en
%F 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, Volume 9 (1997) no. 2, pp. 405-448. doi : 10.5802/jtnb.211. https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.211/

1 S. Arno, The imaginary quadratic fields of class number 4, Acta Arith. 60 (1992), no. 4, 321-334; MR 93b:11144. | EuDML: 206441 | 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)

Cited by Sources: