Embedding problems with local conditions and the admissibility of finite groups (Q375509)

Let \(K\) be a global field, \(\mathrm{Gal}(K)\) its absolute Galois group, i.e. \(\mathrm{Gal}(K)=\mathrm{Gal}(K_s/K)\), where \(K_s\) denotes a separable closure of \(K\). To a finite Galois embedding problem \(\mathcal{E}\) for \(\mathrm{Gal}(K)\) and a prime \(v\) of \(K\), we can associate a local embedding problem \(\mathcal E_v\) for \(\mathrm{Gal}(K_v)\), where \(K_v\) is the completion of \(K\) at \(v\). In the case when \(K\) is a field of characteristic \(p>0\) with infinitely many discrete valuations, the author proves that every finite embedding problem for \(\mathrm{Gal}(K)\) with finitely many prescribed local conditions, whose kernel is a \(p\)-group, has proper solutions. The author applies this result to obtain a reduction theorem on admissibility of finite groups over global function fields. If \(K\) is a field, a finite group \(G\) is called \(K\)-admissible if there exists a finite Galois extension \(L/K\) with Galois group isomorphic to \(G\) such that \(L\) is a maximal commutative subfield of some finite-dimensional central division algebra over \(K\). The author proves that for \(K\) a global field of characteristic \(p>0\), a sufficient condition for a finite group to be \(K\)-admissible is that its quotient group by a normal \(p\)-subgroup is \(K\)-admissible.