A note on the cohomology of finitary modules (Q4383002)

This paper contains the statements of three loosely related theorems and their proofs, with little or no preamble. The theorems are as follows. Let \(G\) be a group, \(K\) a field, \(V\) a finitary \(KG\)-module and \(\mathcal L\) a local system of subgroups of \(G\). Suppose that for all \(H\) in \(\mathcal L\), the module \(V\) is completely \(KH\)-reducible. Then \([V,G]\) is completely \(KG\)-reducible. -- Let \(G\) be a group, \(D\) a division ring, \(V\) a finitary \(DG\)-module, \(\mathcal L\) a local system of subgroups of \(G\) and \(E\) an extension of \(V\) by \(G\). Suppose that for every \(H\) in \(\mathcal L\) the extension of \(V\) by \(H\) in \(E\) splits and \(V/C_V(H)\) and \(H^1(H,V)\) are finite-dimensional. Then \(E\) splits over \(V\). -- Let \(G\) be a group, \(D\) a division ring, \(\mathcal L\) a local system of subgroups of \(G\), \(W\) a \(DG\)-module and \(V\) a \(DG\)-submodule of \(W\) such that \(W=V+C_W(H)\) for all \(H\) in \(\mathcal L\). Then there exists a canonical \(DG\)-monomorphism of \(W/C_W(G)\) into \([V^*,G]^*\), where \(Y^*\) denotes the dual of the module \(Y\).