Modules with trivial 1-cohomology (Q2736049)

Let \(G=\langle\sigma,\tau\rangle\) be the non-cyclic group of order \(4\) and \(X_1=\mathbb{Z}_2[G/\langle\sigma\rangle]\), \(X_2=\mathbb{Z}_2[G/\langle\tau\rangle]\), \(X_3=\mathbb{Z}_2[G/\langle\sigma\tau\rangle]\) and \(Y\) the free \(\mathbb{Z}_2\)-module of rank \(5\).NEWLINENEWLINENEWLINEThe main result of the paper establishes that any \(G\)-module that is cohomologically trivial in dimension \(1\) is cohomologically equivalent to a module representable as a direct (possibly, infinite) sum of modules such that each of them is isomorphic to one of the modules \(\mathbb{Z}_2\), \(X_1\), \(X_2\), \(X_3\), \(Y\) where two \(G\)-modules \(A\), \(B\) are cohomologically equivalent if there exists a \(G\)-module \(X\) and monomorphisms \(\alpha\colon A\to X\), \(\beta\colon B\to X\) such that the factor modules \(X/\text{Im }\alpha\), \(X/\text{Im }\beta\) are cohomologically trivial.NEWLINENEWLINENEWLINE\textit{A. V. Yakovlev} [Dokl. Akad. Nauk SSSR 150, 1009-1011 (1963; Zbl 0127.01704)] described the \(G\)-modules cohomologically trivial in dimension \(1\) for the case of a cyclic \(p\)-group \(G\).NEWLINENEWLINENEWLINEAn application of this result to the Galois embedding problem is presented. If the factor group \(\overline F\) of the Galois group of the extension \(K/k\) over the subgroup of elements that act trivially on the characters of the kernel is the non-cyclic group of order \(4\), the author proves that the embedding problem is solvable if and only if the concordance condition is fulfilled and one or several \(3\)-dimensional cocycles of \(\overline F\) with coefficients in \(K_0^*\) split.