cohomology

A method of contravariantly associating a family of invariant quotient groups to each algebraic or geometric object of a category, including categories of geometric and algebraic objects.

In section 1 we start off by recalling some fundamental results in cohomology of groups, in particular the Evens–Venkov result on finite generation of the cohomology ring (Theorem 2) and Quillen's landmark result which describes H*BG up to F-isomorphism (Theorem 5).

A system of quotient groups associated to a topological space.