On unramified Galois extensions over maximum abelian extensions of algebraic number fields (Q762209)

Let \({\mathbb{Q}}_{ab}\) (resp. \({\mathbb{Q}}^ t_{ab})\) be the maximal abelian (resp. the maximal tamely ramified abelian) extension of the rational number field \({\mathbb{Q}}\), and M (resp. \(M^ t)\) be the maximal unramified Galois extension of \({\mathbb{Q}}_{ab}\) (resp. \({\mathbb{Q}}^ t_{ab})\). Let \(M_ 0\) be the composite of \(M^ t\) and \({\mathbb{Q}}_{ab}\), then \({\mathbb{Q}}_{ab}\subset M_ 0\subset M.\) In the first half of this paper, the author investigates the problem of constructing Galois extensions of \(M_ 0\) contained in M. Namely, by considering the minimal splitting field of the trinomial \(x^ n+ax^ 2+b\), he proves that there exist infinitely many linearly independent Galois extensions of \(M_ 0\) contained in M with certain given finite group as the Galois group, and concludes that the Galois group of \(M/M_ 0\) is not topologically finitely generated. In the latter half, by using results of Serre on p-adic representations attached to elliptic curves, he shows that certain points of finite order on elliptic curves defined over \({\mathbb{Q}}\) generate actually unramified Galois extensions of the maximal abelian extension \(k_{ab}\) of an algebraic number field k of finite degree. As a related result, \textit{K. Uchida} recently determined the structure of the Galois group of the maximal unramified solvable extension of \(k_{ab}\) [cf. Tôhoku Math. J., II. Ser. 34, 311-317 (1982; Zbl 0502.12020)].