Galois extensions with solvable group (Q1814522)

By a celebrated theorem of Shafarevich each solvable group can be realized as a Galois group over \(\mathbb{Q}\). In this paper a proof is given in which in contrast to all earlier proofs arithmetical considerations play practically no role. To be more precise, a purely algebraic proof is given for the following result. Let \(k_ 1/k\) be a Galois extension of number fields, \(G\) a semidirect product \(A\rtimes\hbox{Gal}(k_ 1/k)\) where \(A\) is a \(p\)-group. Then the corresponding embedding problem has a Galois algebra solution. It is well-known that then there exists also a field-solution (this implication requires of course arithmetical considerations). Moreover, it is well-known that this implies Shafarevich's theorem.