Galois realizability of a central \(C_4\)-extension of \(D_8\) (Q2655027): Difference between revisions

Let \(K\) be a field and let \(G\) be a finite group. The inverse problem of Galois theory asks whether or not there exists a Galois field extension \(L/K\) with Galois group isomorphic to \(G\). Now let \(G\) be a group of order \(2^n\). For small \(n\) we know equivalent conditions for a group to be a Galois group over \(K\) in terms of existence of quadratically independent elements of \(K\) such that certain quaternion algebras are trivial in the Brauer group \(\text{Br}(K)\). For example the cyclic group of order 4 is realizable as a Galois group over \(K\), if and only if in \(K\) there exists a nonsquare \(a\) such that \((a,-1)=1\in\text{Br}(K)\). We know necessary and sufficient conditions on a field \(K\) for many \(2\)-groups of small order. Now the paper under review focus on the last group of order 32 for which there was no such conditions. This group, called \(G_{(32,15)}\) is given as follows: \[ \langle x,y,z\mid x^8=y^8=z^4=x^2y^6=x^4z^2=1, \;yx=xyz,\;zx=xz^3,\;zy=yz^3\rangle . \] The proof is based on a result of Ledet on the solvability of embedding problems with a cyclic kernel of order 4.