Duality and local group cohomology (Q4387064)

Let \(G\) be a group, \(k\) a division ring and \(\mathfrak L\) a local system of subgroups of \(G\). The author's main result, for which the proof is very short, is the following. Let \(A\) and \(B\) be either \(k\)-\(kG\) bimodules, or \(kG\)-modules with \(k\) finite-dimensional over its centre. Let \(B^\vee\) denote the dual \(B\). Then \(\text{Ext}_G^*(A,B^\vee)\) is the inverse limit over \(\mathfrak L\) of the \(\text{Ext}_L^*(A,B^\vee)\) for \(L\in{\mathfrak L}\) with the restriction maps as the maps. This theorem has a number of corollaries and as a result the author is able to give short and unified proofs of several theorems of U. Meierfrankenfeld and also the reviewer.