Embedding obstructions for the dihedral, semidihedral, and quaternion 2-groups (Q5958868)

Let \(k\) be a field of characteristic different from 2 and \(K/k\) a Galois extension with Galois group \(\text{Gal}(K/k) =D_8\), the dihedral group of order 8. Let \(\zeta\in K\) be a primitive \(2^n\)-th root of unity \((n\geq 1)\) and \(C_{2^n}\) the cyclic group of order \(2^n\). The author applies two results of his, not proved explicitly in the paper under review (but in a submitted manuscript), to find the obstruction to the embedding problem given by \(K/k\) and the group extension where \[ {\mathbf 1}\to C_{2^n}\to G\to D_8 \to {\mathbf 1} \] where \(G\) is isomorphic to either the dihedral, the semidihedral, or the quaternion groups of order \(2^{n+3}\). He investigates four such embedding problems in all possible cases according to the location of \(\zeta\) in \(K\). The calculated obstructions are represented as tensor products of quaternion algebras.