Skip to main content
edited title
Link
Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215

What is $\pi_{1}π_1(BG)$ for an arbitrary topological group $G$?

Source Link
Jeremy Brazas
  • 7.2k
  • 1
  • 26
  • 47

What is $\pi_{1}(BG)$ for an arbitrary topological group $G$?

The classifying space $BG=|Nerve(G)|$ of an arbitrary topological group $G$ does not necessarily have the homotopy type of a CW-complex but the fundamental group should still be accessible. What is $\pi_{1}(BG)$? A reference on this would be great. My initial guess: $\pi_{1}(BG)$ is the quotient group $\pi_{0}(G)$ for arbitrary $G$

Motivation: There is a natural way to make $\pi_1$ a functor to topological groups. I am interested in relating the topologies of $G$ and $\pi_{1}(BG)$ but the topology on $\pi_{1}(X)$ is boring (discrete) when $X$ is a CW-complex.