More about homological properties of precrossed modules (Q1583637)

A precrossed module is a pair of groups \((M,P)\) with an action of \(P\) on \(M\) together with a group homomorphism \(\partial\colon M\to P\) which is \(P\)-equivariant and the Peiffer commutators are defined by \(\langle m,m'\rangle=mm'm^{-1}(^{\partial(m)}m)^{\prime-1}\), for any \(m,m'\in M\). One can construct a Peiffer series, analogous to the lower central series but replacing the role of the commutator by Peiffer commutators. In [J. Algebra 123, No. 2, 327-335 (1989; Zbl 0698.18008)] the homology groups \(H_1(M)_P\) and \(H_2(M)_P\) are introduced by \textit{D. Conduché} and \textit{G. J. Ellis}. In the paper under review the authors generalize these homology groups defining \(H_n(M,q)_P\), \(n\geq 1\), for every nonnegative integer \(q\), as the \((n-1)\)-st nonabelian left derived functors of the functor \(M\to M/\langle M,M\rangle_q\), where \(\langle M,M\rangle_q\) denotes the subgroup of \(M\) generated by Peiffer commutators and \(q\)-powers of elements in the kernel of \(\partial\). A Hopf formula for the second homology is given: \(H_2(M,q)_P\cong R\cap\langle F,F\rangle_q/\langle \langle F,F\rangle \rangle_q\), where \(\langle \langle F,F\rangle \rangle_q=\langle F,F\rangle_q\langle F,F\rangle_q\) and \(1\to R\to F\to M\to 1\) is a free presentation of a precrossed module \((M,\partial)\). When \(\partial=0\), the formula reduces to a formula obtained by \textit{J. Barja} and \textit{C. Rodríguez-Fernández} [Cah. Topologie Géom. Différ. Catégoriques 31, No. 2, 91-120 (1990; Zbl 0717.55018)].