scientific article; zbMATH DE number 3227061

From MaRDI portal
Publication:5515380





Let \(0\to K \to G \to S\to 1\) be an extension of groups with \(K\) abelian. It is determined by the left action of \(S\) on \(K\) and by an element \(\rho\) of the abelian group \(H^2 (S, K)\). In the Hochschild-Lyndon-Serre spectral sequence (converging to \(H^*(G, M)\), \(M\) an \(S\)-module) \(E^{p,q}_2 = H^p (S, H^q(K, M))\), and \(d\rho = d_2 + \Delta(\rho)\), where \(d_2\) is the differential in the semi-direct product extension (i.e. \(\Delta(0) = 0)\). Since \(K\) is abelian, there is a homomorphism \(K \otimes_Z H^q(K,M) \xrightarrow{\omega} H^{q-1}(K, M)\) which is an \(S\)-morphism and to an \(M\)-valued cochain \(f\) of \(K\) (in the standard complex) it associates \[ (k\cdot f) (k_1, \ldots, k_{q-1}) = \sum (-1)^i f(k_1, \ldots, k_{i-1}, k, k_i, \ldots, k_{q-1}). \] The author then states that the correction term \(\Delta\) is the cup product of \(\rho\) with \(H^p (S, H^q(K, M))\) via \(\omega\).











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5515380)