A general cohomology theory for topological groups is described, and shown to coincide with the theories of C. C. Moore [12] and other authors. We also recover some invariants from algebraic topology. This article contains proofs of results announced in [151. We consider algebraic cohomology groups of topological groups, which are shown to include the invariants considered by Van Est [6], Hochschild and Mostow [7], C. C. Moore [12], and Tate (see [5]). We identify some of these groups as invariants familiar from algebraic topology. Let G be a topological group. A topological G-module is an abelian topological group A together with a map G x A -4 A satisfying the usual relations g(a + a) = ga + ga', (gg ')a = g(g 'a), la = a. The category of topological G-modules and equivariant homomorphisms is a quasiabelian category in the sense of Yoneda [16], and hence we get Ext functors just as in an abelian category. A proper short exact sequence will be a sequence O ) A -4 B -A C 0 of topological G-modules which is exact as a sequence of abstract groups and such that A has the subspace topology induced by its embedding in B, and such that u be an open map. For any G-module A we define the algebraic cohomology groups HZ(G, A) to be the ith Ext group Ext2 (Z, A), where Z denotes the group of integers with the discrete topology and trivial G-action. There is another set of short exact sequences we might have chosen which also give the category of topological G-modules the structure of a quasi-abelian S-category in the sense of Yoneda. We might have demanded that in addition to being exact in the previous sense, there be a map s: C -* B such that the composition u o s be the identity on C. If G is locally compact we recover the continuous theory, which is discussed in [5], [6], and [7]. If G is not locally compact it must be shown that cochains are effaceable, i.e. that for any cocycle c: GC -n A there is a short exact sequence 0 -O A B -4 C -0 such that r 0 c is the coboundary of a Received by the editors September 24, 1971. AMS (MOS) subject classifications (1970). Primary 22A05. 83 Copyrdit 0) 1973, American Mathematical Society This content downloaded from 157.55.39.253 on Sat, 11 Jun 2016 06:04:56 UTC All use subject to http://about.jstor.org/terms