No label defined (Q4368977)

Let \(A\) and \(B\) be additively written (not necessarily abelian) groups. The set of all mappings \(\varphi\colon A^n\to B\) with the property that \(\varphi(a_1,\dots,a_n)=0\) if \(0\in\{a_1,\dots,a_n\}\) is denoted by \(C^n(A,B)\). If \(\varphi\in C^n(A,B)\), then \(\partial\varphi\in C^{n+1}(A,B)\) is defined by \[ \begin{multlined}\partial\varphi(a_0,a_1,\dots,a_n)=\varphi(a_1,\dots,a_n)-\varphi(a_0+a_1,\dots,a_n)+\varphi(a_0,a_1+a_2,\dots,a_n)+\cdots\\ \cdots+(-1)^n\varphi(a_0,\dots,a_{n-2},a_{n-1}+a_n)+(-1)^n\varphi(a_0,\dots,a_{n-2},a_{n-1}).\end{multlined} \] Let \(S\) be a normal subgroup of \(B\) such that \(B/S\) is abelian and \(P_S(A,B)=\{\varphi\in C^1(A,B):\partial\varphi\in C^2(A,S)\}\). Then (i) \(\langle P_S(A,B),+\rangle\) is a group; (ii) if \(B=A\) and \(\alpha(S)\subseteq S\) for all \(\alpha\in P_S(A,A)\), then \(\langle P_S(A,A),+,\circ\rangle\) is a right near-ring contained in \(P(A,A)\); (iii) there exists a near-ring epimorphism \(\psi_S\colon P_S(A,A)\to\text{End}(A/S)\) given by \(\psi_S(\varphi)=\widetilde\varphi\), where \(\varphi(a+S)=\varphi(a)+S\); (iv) \(P_S(A,A)\) is a normal subgroup of \(\langle C^1(A,A),+\rangle\); (v) \(\text{Ker }\psi_S=C^1(A,S)\) is an ideal in \(P_S(A,A)\) (Proposition 2.1). For the entire collection see [Zbl 0874.00036].