Return to Revisions

If $G$ is a topological group, let $\Omega(G)$ be the group of loops in $G$ based at $e$, and $PG$ the space of paths in $G$ starting from $e$. Then $\Omega(G)$ acts on $PG$ freely and $PG$ is contractible, so $G$ is a classifying space for $\Omega(G)$.