×

The non-abelian normal CM-fields of degree 36 with class number one. (English) Zbl 0998.11059

The authors pursue the classification of all normal CM-fields of class number one, a family proved to be finite by A. M. Odlyzko [Invent. Math. 29, 275–286 (1975; Zbl 0299.12010)]. The fields under examination are non-abelian of degree \(4p^2\), \(p\) an odd prime, and all the candidates in this list are found. The proof uses a combination of algebraic arguments, numerical computations and the results of S. Louboutin, R. Okazaki and M. Olivier [Trans. Am. Math. Soc. 349, 3657–3678 (1997; Zbl 0893.11045)] and of K.-Y. Chang and S.-H. Kwon [Proc. Am. Math. Soc. 128, 2517–2528 (2000; Zbl 0983.11064)]. As usual in these questions, the key point consists in reducing the field to be explored numerically by sufficiently strong theoretical arguments.

MSC:

11R29 Class numbers, class groups, discriminants
11R21 Other number fields
11Y40 Algebraic number theory computations
11R37 Class field theory

Software:

KANT/KASH
Full Text: DOI