A note on unramified quaternion extensions over quadratic number fields. (Q1848138)

An alternative proof of \textit{F. Lemmermeyer}'s result [J. Théor. Nombres Bordx. 9, 51--68 (1997; Zbl 0890.11031)] on the existence of unramified quaternion extensions over quadratic number fields is provided. This proof uses a method based on the theory of embedding problems with restricted ramification. The specific result that is proved is the following: Let \(K\) be a quadratic field with discriminant \(d\). Assume that \(d\) has a factorization \(d = d_1d_2d_3\) into three quadratic discriminants which are relatively prime, and which satisfy \((d_1d_2/p_3) = (d_2d_3/p_1) = (d_3d_1/p_2) = +1\) for all primes \(p_i \mid d_i\). Then there exists a Galois extension \(M/K\) which is unramified at all finite primes, and with Galois group isomorphic to the quaternion group of order \(8\).