On the existence of unramified p-extensions (Q2641350)

Let p be an odd prime, K an algebraic number field of finite degree, and L/K a p-extension, i.e., a finite Galois extension whose Galois group is a p-group. This paper studies the existence of a p-extension M/L/K such that M/L is unramified. The following is the main result where k denotes either the rational number field or an imaginary quadratic field with class number prime to p: Let L/K/k be a Galois tower satisfying the following conditions: (1) The degree of K/k is prime to p. (2) L/K is an unramified p-extension. (3) For any prime q of k ramified in K/k, the inertia degree of q in K/k is equal to 1 or \(L_ q/k_ q\) is cyclic. Put \(G=Gal(L/k)\), and let \((\epsilon): 1\to {\mathbb{Z}}/p{\mathbb{Z}}\to E\to G\to 1\) be a non-split central extension. Then there exists a Galois extension M/k such that (i) M/k gives a proper solution of the central imbedding problem (L/k,\(\epsilon\)), (ii) M/k is unramified. Applications to quadratic extensions and cubic extensions are given. Central imbedding problems of exponent p are examined.