Central extensions as Galois groups (Q1185955)

Let \(1\to C\to H\to G\to 1\) be a central extension of a finite group \(G\) such that the index \([H:H']\) is relatively prime to the order \(d\) of \(C\), where \(H'\) denotes the commutator subgroup of \(H\). So, \(H\) is a stem extension of \(G\). Let \(K/k(x)\) be a regular Galois extension with Galois group \(G\), the main theorem of this paper gives sufficient conditions, in terms of the ramification structure of the Galois extension \(K/k(x)\), in order that the associated Galois embedding problem in \(H\) has a solution. As a consequence, it is obtained that if the ramification indices of \(K/k(x)\) are prime to \(d\) and \(K\) has a \(k\)-rational place, the regular \(G\)-extension \(K/k(x)\) can be embedded in a regular Galois extension \(L/k(x)\) with Galois group \(H\). For the proof the author considers the Galois group over \(k(x)\) of the maximal algebraic extension of \(\bar k(x)\) unramified outside \(x_ 1,\dots,x_ r\), where \(x_ 1,\dots,x_{r-1}\) are the places of \(\bar k(x)\) which ramified in \(\overline {K}=K\otimes\bar k\) and \(x_ r\) is a \(k\)-rational place different from \(x_ 1,\dots,x_{r-1}\). From the solution to an associated Galois embedding problem over \(\bar k(x)\), a solution to the corresponding embedding problem over \(k(x)\) can be constructed. It is checked that this criterion applies to the extension \(K/\mathbb{Q}(x)\) with Galois group \(A_ n\) given by \textit{J.-F. Mestre} [J. Algebra 131, No. 2, 483-495 (1990; Zbl 0714.11074)], so it is reobtained that the Galois embedding problem in \(\tilde A_ n\) has a solution over \(\mathbb{Q}(x)\), for all \(n\).