Cohomologie et homologie non abéliennes des groupes. (Nonabelian cohomology and homology of groups)
type: Item
instance of: scholarly article
title: Cohomologie et homologie non abéliennes des groupes. (Nonabelian cohomology and homology of groups)
zbMATH Open document ID: 0653.20051
DOI: 10.1016/0022-4049(88)90110-7
author: Daniel Guin
published in: Journal of Pure and Applied Algebra
publication date: 1988-01-01T00:00:00Z
review text: Let G be a group and A a crossed G-module i.e. A is a group on which G operates and there is given a homomorphism \(\delta\) : \(G\to A\) satisfying \(\delta\) ( \(ga)=g\delta (a)g^{-1}\) and \(^{\delta (a)}(a')=aa'a^{- 1}\) for all a,a'\(\in A\), \(g\in G\). The usual notion of derivation from A to B where A, B are non-Abelian groups on which the group G operates is suitably modified to define derivations from crossed G-module (A,\(\rho)\) to crossed G-module (B,\(\mu)\) so that a product is defined in \(Der_ G(A,B)\)- the set of derivations from (A,\(\delta)\) to (B,\(\mu)\) to make it a group. Two derivations (\(\alpha\),g), \((\beta,h)\in Der_ G(A,B)\) are said to be equivalent if there exists \(a\in A\) such that for every \(x\in G\), \(\beta (x)=a^{-1}\alpha (x)\) xa. This becomes an equivalence relation `\(\sim '\) and the group \(Der_ G(G,A)/\sim\) is called the first cohomology group of G with coefficients in the crossed G-module (A,\(\delta)\). This group becomes isomorphic to the usual first cohomology group H 1(G,A) when A is Abelian. Corresponding to a short exact sequence \(1\to (A,1)\to (B,\mu)\to (C,\lambda)\to 1\) of crossed G-modules, a seven term exact sequence of groups \[ 1\quad \to \quad H\quad 0(G,A)\quad \to \quad H\quad 0(G,B)\quad \to \quad H\quad 0(G,C)\quad \to \quad H\quad 1(G,A)\quad \to \quad H\quad 1(G,B)\quad \to \quad H\quad 1(G,C)\quad \to^{\Delta}\quad H\quad 2(G,A) \] (where H \(0(G,X)=X\) G the group of fixed elements of X) is obtained. The notion of tensor product of non- Abelian groups defined by \textit{R. Brown} and \textit{J.-L. Loday} [C. R. Acad. Sci., Paris, Sér. I 298, 353-356 (1984; Zbl 0573.55011) and Topology 26, 311-335 (1987; Zbl 0622.55009)] is generalized to give a tensor product of pre-crossed G-modules. Using the tensor product \(G\otimes A\), when G is a group and A a crossed G-module, homology groups \(H_ 0(G,A)\) and \(H_ 1(G,A)\) are defined. A six term exact sequence in these homology groups is obtained co…
Mathematics Subject Classification ID: 20J05
Mathematics Subject Classification ID: 18G50
Mathematics Subject Classification ID: 18F25
zbMATH DE Number: 4065295
zbMATH Keywords: derivations
zbMATH Keywords: first cohomology group
zbMATH Keywords: crossed G-modules
zbMATH Keywords: seven term exact sequence of groups
zbMATH Keywords: tensor product
zbMATH Keywords: pre-crossed G-modules
zbMATH Keywords: homology groups
reviewed by: Lekh Raj Vermani
MaRDI profile type: Publication
full work available at URL: 0022-4049(88)90110-7
OpenAlex ID: W2071600157
cites work: Produit tensoriel du groupe d'Heisenberg
cites work: \(K_2\) of quaternion algebras
cites work: Q3692477
cites work: Van Kampen theorems for diagrams of spaces
cites work: Free and projective crossed modules and the second homology group of a group
cites work: Non-Abelian Homological Algebra I. Derived Functors and Satellites
cites work: Non-Abelian Homological Algebra II. Varieties
cites work: Non-Abelian Homological Algebra III. The Functors EXT and TOR
cites work: Q5507554
cites work: \(K_ 2\) of non-commutative local rings
cites work: Cohomologie et groupe de Steinberg rélatifs
cites work: The Ganea Map for Nilpotent Groups
cites work: Q5343374
cites work: Sur les sous-groupes arithmétiques des groupes semi-simples déployés
cites work: Introduction to Algebraic K-Theory. (AM-72)
cites work: Zentrale Erweiterungen der speziellen linearen Gruppe eines Schiefkörpers.
cites work: Q5509718
cites work: Galois Cohomology
description: scientific article; zbMATH DE number 4065295