# Group cohomology and cohomology in non-abelian categories

One defines the $H^n(G,M)$ where $M$ is a $\mathbb{Z}[G]$ module as $Ext^n_{\mathbb{Z}[G]}(\mathbb{Z},M)$ where $\mathbb{Z}$ is viewed as a trivial $\mathbb{Z}[G]$-module.

Is this part of a general pattern for how to define cohomology for non-abelian categories?

In groups we see that we switch to the abelian category of $\mathbb{Z}[G]$-modules. If this idea is indeed extended for general non-abelian categories, what abelian category do we switch to?

• When you say nonabelian categories, do you mean categories that are not abelian (say, Barr exact) or semiabelian (which include things like Grp, LieAlg)? For the latter see ncatlab.org/nlab/show/semi-abelian+category and references there. The people working on semiabelian categories have developed quite a bit of homological algebra in that setting. Oct 30, 2010 at 22:31

Given a category $\mathcal{C}$ with finite limits and an object $X$, you can form the category of Beck modules $\operatorname{Ab}(\mathcal{C} / X)$, abelian group objects in the slice category over $X$. When $\mathcal{C}$ is the category of groups, a Beck module over $G$ is precisely a split extension of $G$ with abelian kernel, so Beck modules can be identified with $\mathbb{Z}[G]$-modules.
In nice cases, the category $\operatorname{Ab}(\mathcal{C} / X)$ is abelian, and the forgetful functor $\operatorname{Ab}(\mathcal{C} / X) \to \mathcal{C} / X$ has a left adjoint, called abelianization $\operatorname{Ab}_X$. The Hochschild cohomology of a Beck module $M$ is defined to be $HH^i(X; M) = \operatorname{Ext}^i(\operatorname{Ab}_X X, M)$. In the groups case, $\operatorname{Ab}_G G$ is the augmentation ideal, so Hochschild cohomology is just group cohomology shifted by 1.