Homology versus cohomology of Lie groups A central advantage of cohomology theory over homology -- at least in terms of richness of structure and strength as an invariant -- is the additional ring structure from the cup product. Recall that this arises from applying the cohomology functor to the following inclusion map of topological spaces $$X \hookrightarrow X \times X$$ where each $x \in X$ is mapped to $(x,x)$ in the product. The "key" insight here is that homology theory lacks an analogous structure precisely because there is no natural candidate for a continuous map $X \times X \to X$. Fair enough.
But Lie groups provide examples of spaces where there is a great candidate for such a map: the group multiplication. I expected that this would make homology of Lie groups interesting by imposing some nice multiplicative structure on homology generators inherited from the group multiplication. On the other hand, the cohomology ring would reveal nothing that you couldn't already learn from the cohomology of the underlying manifold independent of group structure.

Is this wrong? Why is the literature full of material on Lie group cohomology whereas Lie group homology is relatively sparse?

I suspect that maybe this product structure is not even well defined on the level of homology, but I'm not sure how one would prove that. 
 A: With field coefficients, homology and cohomology are dual to each other. The cohomology of a space is an algebra, the homology of a space is a coalgebra. When the space is a group (or loop space or $H$-space...) both its homology and cohomology are Hopf algebras.
"The literature" is full of computations of the cohomology of the classifying space $BG$. In some cases by the way, Hopf algebras help, for example if you compute with coefficients in $\mathbb{Q}$. Then graded Hopf algebras over the rational field are classified, which gives you a strong indication on what the cohomology of $G$ looks like, and a spectral sequence argument tells you that $H^*(BG, \mathbb{Q})$ is a polynomial ring, in the end. Details in McCleary's book A user's guide to spectral sequences.
A: Dear Pierre,
I apologize if I seem harsh again, but it is not true that the possible diagonal maps (in cohomology)
are irrelevant for the application you are describing.  One of the very nicest ways to compute $H^*(BG;k)$ is to use the Rothenberg-Steenrod spectral sequence which converges from 
$Ext_{H_*(G;k)}(k,k)$ to $H^*(BG;k)$.  It is precisely the algebra structure on $H_*(G;k)$ that is relevant, hence the coalgebra structure on $H^*(G;k)$, and there is no reason to restrict to $k=\mathbf{Q}$. One answer to the original question is to point to this spectral sequence, which has been in common use since the early 1960's. From the perspective of Lie groups in particular, what is calculationally easy but perhaps conceptually surprising is how often the algebra $H_*(G;k)$ is (graded) commutative even though the product on $G$ is almost never homotopy commutative.  Commutative and cocommutative Hopf algebras over $\mathbf{Q}$ are classified, and in this case the relevant $Ext$ groups are trivial to compute. 
A: I am disturbed by this question.  The literature of algebraic topology has abounded in use of the product in homology for more than the half century that I've been working in it. Even a cursory knowledge of the subject makes that clear.  Shouldn't some effort be made to know just a tiny bit about a subject before asking a question?  Similarly for answers. The rational case is by far the easiest case, and of course the classification of Hopf algebras rationally requires commutativity and is a classification of the underlying algebras, not of the Hopf algebras.  I apologize if I seem harsh, but in general I am concerned that the decreasing level in MathOverflow, on average, is leading many experts to cease participating (that is not guesswork).  That is a pity.
