Group homology is a technical mathematical tool that plays an important role in group theory and algebraic topology .
Definitions
Abstract definition
It is a group . The functor from the category of modules to the category of Abelian groups , of a module the group of co-invariants![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![{\ displaystyle A_ {G}: = A \ otimes _ {\ mathbb {Z} [G]} \ mathbb {Z}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0aeb16c3739be9fc8576ac2229fe154e9994c0df)
assigns is very precise . Its n th left derivative is the n th homology group of with coefficients in the module .
![{\ displaystyle H_ {n} (G, A)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa306b2999e35b9f134838819fb1c6724d9427ec)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
Group homology can also be defined using the Tor functor :
![{\ displaystyle \ mathrm {H} _ {n} (G, A) = \ mathrm {Tor} _ {n} ^ {\ mathbb {Z} [G]} (\ mathbb {Z}, A);}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec153a504e8f9ad13d2c73b384559f6d9c424fff)
It is the group ring of and with the trivial provided operation.
![{\ mathbb Z} [G]](https://wikimedia.org/api/rest_v1/media/math/render/svg/f40260c366fc309a5872899d2ea34cf094855857)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![\ mathbb {Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/449494a083e0a1fda2b61c62b2f09b6bee4633dc)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
From the description using the functor it can be seen that the group homology can be calculated using any projective resolution of the trivial module. That is, one chooses a long exact sequence of modules
![{\ displaystyle gate}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67538e985e7f89d7cd93780a7dd368974ded3c9f)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![{\ displaystyle \ mathbb {Z} [G]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f40260c366fc309a5872899d2ea34cf094855857)
![{\ displaystyle 0 \ leftarrow A \ leftarrow I_ {0} \ leftarrow I_ {1} \ leftarrow I_ {2} \ leftarrow \ cdots}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53b1f5c5767707ce9462bb5038d21f963e1b9f03)
in which all projective modules are and is then defined as the homology of the chain complex obtained
by tensing with the trivial module
![H _ {*} (G, A)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aa7bc46cdf9e630adf3646c080ce5ae353466f1)
![{\ displaystyle \ mathbb {Z} [G]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f40260c366fc309a5872899d2ea34cf094855857)
![\ mathbb {Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/449494a083e0a1fda2b61c62b2f09b6bee4633dc)
-
.
From the fundamental lemma of homological algebra it follows that it depends only on the module and not on the selected projective resolution.
![H _ {*} (G, A)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aa7bc46cdf9e630adf3646c080ce5ae353466f1)
![{\ displaystyle \ mathbb {Z} [G]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f40260c366fc309a5872899d2ea34cf094855857)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
Explicit definition
As the projective resolution of the module , one can use the differential
![{\ displaystyle \ mathbb {Z} [G]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f40260c366fc309a5872899d2ea34cf094855857)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![{\ displaystyle (\ mathbb {Z} [G ^ {n + 1}], d_ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a10e3042398174418c615ce3887f016c3e757411)
-
in which
and then define it as the homology of the chain complex obtained by tensing with the trivial module . The elements of this complex are called homogeneous chains .
![H _ {*} (G, A)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aa7bc46cdf9e630adf3646c080ce5ae353466f1)
![{\ displaystyle \ mathbb {Z} [G]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f40260c366fc309a5872899d2ea34cf094855857)
![\ mathbb {Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/449494a083e0a1fda2b61c62b2f09b6bee4633dc)
The so-called bar resolution provides an equivalent definition . Here one looks with the differential
![{\ displaystyle \ mathbb {Z} [G ^ {n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8f5efbee7f4f8af9ed33c3a1a8044ec57d0637d)
![{\ displaystyle \ partial _ {n} (g_ {1}, \ ldots, g_ {n}) = g_ {1} \ cdot (g_ {2}, \ ldots, g_ {n}) + \ sum _ {i = 1} ^ {n-1} (- 1) ^ {i} (g_ {1}, \ ldots, g_ {i} g_ {i + 1}, \ ldots, g_ {n}) - (g_ {1 }, \ ldots, g_ {n-1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c633106515acd30cbadf86d5040864fc2eb4d239)
and then defined as the homology of the chain complex obtained by tensing with the trivial module . The elements of this complex are called inhomogeneous chains .
![H _ {*} (G, A)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aa7bc46cdf9e630adf3646c080ce5ae353466f1)
![{\ displaystyle \ mathbb {Z} [G]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f40260c366fc309a5872899d2ea34cf094855857)
![\ mathbb {Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/449494a083e0a1fda2b61c62b2f09b6bee4633dc)
Topological definition
Equivalent can also be defined as the singular homology with coefficients in the Eilenberg-MacLane space :
![K (G, 1)](https://wikimedia.org/api/rest_v1/media/math/render/svg/f30ac500e56f9a311b1e02891755822a53a99af5)
-
.
This definition is the only one that can be used for practical calculations.
Low grades of homology
The following applies to the 0 th homology , especially for the trivial module .
![{\ displaystyle H_ {0} (G, A) = A_ {G}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a774d54b5202e1ab89871fe7823bf62d0b992498)
![{\ displaystyle H_ {0} (G, \ mathbb {Z}) = \ mathbb {Z}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8485a33d06e002a5274ed3cf1571ab1a17cba59)
![{\ displaystyle \ mathbb {Z} [G]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f40260c366fc309a5872899d2ea34cf094855857)
![\ mathbb {Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/449494a083e0a1fda2b61c62b2f09b6bee4633dc)
For the 1st homology is
![{\ displaystyle H_ {1} (G, \ mathbb {Z}) = G / [G, G]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c774d674357d7178ebf5d4125e9d13a3b59d6265)
the abelization of .
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
The 2nd homology with trivial coefficients can be calculated with the Hopf formula : if there is a finitely presented group with a finitely generated free group , then is
![F.](https://wikimedia.org/api/rest_v1/media/math/render/svg/545fd099af8541605f7ee55f08225526be88ce57)
-
.
Examples
![{\ displaystyle H_ {i} (\ mathbb {Z}, \ mathbb {Z}) = \ left \ {{\ begin {array} {cc} \ mathbb {Z} & i = 0.1 \\ 0 & {\ mbox {else}} \ end {array}} \ right \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bb9be9ddc5bb15b825c37561ccac38e867cf414)
![{\ displaystyle H_ {i} (\ mathbb {Z} / n \ mathbb {Z}, \ mathbb {Z}) = \ left \ {{\ begin {array} {cc} \ mathbb {Z} & i = 0 \ \\ mathbb {Z} / n \ mathbb {Z} & i {\ mbox {odd}} \\ 0 & i \ not = 0 {\ mbox {even}} \ end {array}} \ right \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0c679f3663afc2ea2dee06fc242a6a5eb136b44)
![{\ displaystyle H_ {i} (SL (2, \ mathbb {Z}), \ mathbb {Z}) = \ left \ {{\ begin {array} {cc} \ mathbb {Z} & i = 0 \\\ mathbb {Z} / 12 \ mathbb {Z} & i {\ mbox {odd}} \\ 0 & i \ not = 0 {\ mbox {even}} \ end {array}} \ right \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a6c9cba8c905a0b689222f0db6bfb1092c2d82c)
history
The history of group homology begins with a work published in 1936 by Witold Hurewicz Contributions to the Topology of Deformations. IV. Aspherical spaces , in which it is proven that the homotopy type of an aspherical space depends only on its fundamental group and therefore group homology can be defined as the homology of an aspherical space with a fundamental group. In his 1942 published work fundamental group and Betti second group showed Heinz Hopf that the cokernel of Hurewicz figure in degrees and that of the producers and relations of a presentation can be calculated. After Hopf's publication, the area developed rapidly in the 1940s through the work of Eckmann, Eilenberg-MacLane, Hopf and Freudenthal; Eilenberg and MacLane found the definition in their 1945 work Relations between homology and homotopy groups of spaces through the dissolution of the bar and soon afterwards the general definition in terms of projective resolutions was also given.
![H _ * (\ pi)](https://wikimedia.org/api/rest_v1/media/math/render/svg/13bf3c36ad42c2246cbb4ff62b611c7780d15eb0)
![\pi](https://wikimedia.org/api/rest_v1/media/math/render/svg/9be4ba0bb8df3af72e90a0535fabcc17431e540a)
![H_2 (\ pi)](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d15ed441d72bb9b39748b4777b652d98ebc2424)
![2](https://wikimedia.org/api/rest_v1/media/math/render/svg/901fc910c19990d0dbaaefe4726ceb1a4e217a0f)
![H_2 (\ pi)](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d15ed441d72bb9b39748b4777b652d98ebc2424)
See also
literature
-
Kenneth S. Brown : Cohomology of groups (= Graduate Texts in Mathematics 87). Corrected 2nd printing. Springer, New York et al. 1994, ISBN 0-387-90688-6
-
DJS Robinson : A Course in the Theory of Groups , Springer-Verlag 1996, ISBN 0-387-94461-3 , chap. 11.2: Homology Groups and Cohomology Groups (without prior knowledge of homological algebra)