More about homological properties of precrossed modules (Q1583637): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q291178 |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Niko Inassaridze / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1991606430 / rank | |||
Normal rank |
Latest revision as of 11:47, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | More about homological properties of precrossed modules |
scientific article |
Statements
More about homological properties of precrossed modules (English)
0 references
9 January 2001
0 references
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)].
0 references
precrossed modules
0 references
Hopf formula
0 references
homology groups
0 references
Peiffer commutators
0 references
Peiffer series
0 references
derived functors
0 references