On the embedding problem with cyclic kernel for number fields (Q744489)

Let \(K/k\) be a finite Galois extension with Galois group \(F=\mathrm{Gal} (K/k)\), and let \(\varphi\) be an epimorphism of a finite group \(G\) onto \(F\). Let \(A:=\ker \varphi\). Then \((K/k,\varphi)\) denotes the following \textit{embedding problem}: construct a Galois extension \(L/k\) with Galois group \(G\) such that \(K\subseteq L\) and the restriction of any \(g\in G\) to \(K\) is \(\varphi(g)\in F\). The group \(A\) is called the kernel of the embedding problem \((K/k,\varphi)\). An embedding problem \((K/k,\varphi)\) is called a \textit{Brauer embedding problem} if \(A\) is a cyclic group of order \(n\), the field \(K\) contains the \(n\)-th roots of \(1\), and the group \(F=\mathrm{Gal}(K/k)\) acts trivially on the character group \(\hat{A}\). \textit{B. N. Delone} and \textit{D. K. Faddeev} [Mat. Sb., Nov. Ser. 15(57), 243--284 (1944; Zbl 0061.05802)] found a necessary condition for the existence of a solution of an embedding problem. It is called the \textit{consistency condition}. The consistency condition is sufficient for the solvability of an embedding problem with cyclic kernel of odd order. But it is not sufficient even if \(K\) is a number field and \(A=\ker \varphi\) is a \(2\)-cyclic group. The main goal of this paper is to prove that in some cases, the consistency condition suffices for the solution of the embedding problem. Namely, the author proves the following theorem: Theorem. Let \(k\) be a number field, let \(K/k\) be a Galois extension such that \(2\) splits fully in \(K\), and let \(\varphi: G \to \mathrm{Gal}(K/k)\) be an epimorphism of groups with cyclic kernel. If the consistency condition holds, then the embedding problem \((K/k,\varphi)\) has a solution. As a corollary the author proves that under the same conditions on \(k, K\) and \(2\) as above and such that \(\ker \varphi\) is abelian, then the consistency condition holds for \((K/k,\varphi)\) if and only if all its accompanying problems with cyclic kernels have solution.