Suppose we have a topological group $G$, then the multiplication map $\mu$ and the diagonal map $\Delta$ provide the cohomology $H^\ast(G;R)$ (with Pontryagin coproduct and cup coproduct) and homology $H_\ast(G;R)$ (with Pontryagin product and diagonal coproduct) of $G$ with the structure of a Hopf algebra (assuming vanishing of the Tor-terms in the Kunneth theorem). If both satisfy some mild conditions, these are in fact dual. A nice historical explanation of this can be found in Cartier's "Primer on Hopf Algebras" (http://inc.web.ihes.fr/prepub/PREPRINTS/2006/M/M-06-40.pdf). My general question is the following: when we know they are in fact isomorphic as Hopf algebras?
The Samelson theorem says that if $G$ is a Lie group and $R$ is a field of characteristic zero, then $H^\ast(G;R)$ is commutative, associative and coassociative and an exterior algebra on primitive generators of odd degree. I think this implies that $H^\ast(G;R)$ is isomorphic to $H_\ast(G;R)$ as a Hopf algebra. Is this correct? To what extent does Samelson's result extend to non-zero characteristic?
My goal is to limit the amount of calculation when I do calculations of the homology and cohomology of Lie groups.