Formal Constructions
In this article, G is a finite group. The collection of all G-modules is a category (the morphisms are group homomorphisms f with the property f(gx) = g(f(x)) for all g in G and x in M). This category of G-modules is an abelian category with enough injectives (since it is isomorphic to the category of all modules over the group ring ℤ).
Sending each module M to the group of invariants MG yields a functor from this category to the category of abelian groups. This functor is left exact but not necessarily right exact. We may therefore form its right derived functors; their values are abelian groups and they are denoted by Hn(G,M), "the n-th cohomology group of G with coefficients in M". H0(G,M) is identified with MG.
Read more about this topic: Group Cohomology
Famous quotes containing the word formal:
“It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
—Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)