most recent 30 from http://mathoverflow.net 2013-05-21T17:19:46Z http://mathoverflow.net/feeds/user/12744 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/114948/homology-of-classifying-space-of-spin-group-bspinn hbs 2012-11-30T01:17:35Z 2012-11-30T03:02:47Z

<p>While dealing with $BO(n)$, $BSO(n)$ and $BSpin(n)$ with the universal coefficient theorem and Künneth formula, I came to have the following question:</p> <p>The universal coefficient says $H^n(X;M)\cong \hom(H_{n}(X;\mathbb{Z}),M)\oplus {\rm Ext}^{1} (H_{n-1}(X;\mathbb{Z},M))$ for a $\mathbb{Z}$-module $M$.</p> <p>When $X=BSpin(n)$, we know that $H^4(BSpin(n);\mathbb{Z})\cong \mathbb{Z}$ and it seems likely that once we know what $H_p(BSpin(n);\mathbb{Z})$ would be for $p=3,4$ we might be able to retrieve this isomorphism with the aid of universal coefficient theorem.</p> <p>So what would be $H_p(BSpin(n);\mathbb{Z})$ at least for $p=0,1,2,3,4$? </p> <p>(I have to say that the question is not about how to prove the isomorphism $H^4(BSpin(4);\mathbb{Z})\cong \mathbb{Z}$.)</p> <p>Thanks!</p>

http://mathoverflow.net/questions/114948/homology-of-classifying-space-of-spin-group-bspinn/114953#114953 hbs 2012-11-30T03:33:32Z 2012-11-30T03:33:32Z

I didn't thought about Hurewicz theorem and I guess that answers my question. Thanks a lot.