Skip to main content
1 of 3
John Rognes
  • 9.3k
  • 45
  • 52

If $G$ is compact Hausdorff, then by the Peter-Weyl theorem there is a homomorphism $G \to K$, to a compact Lie group $K$, such that $S^1 \subset G$ has nontrivial image in $K$. Then $\tilde H^*(BK; \mathbb{Q}) \to \tilde H^*(B{S^1}; \mathbb{Q})$ has nontrivial image, and factors through $\tilde H^*(BG; \mathbb{Q})$.

John Rognes
  • 9.3k
  • 45
  • 52