 Fundamental group of a topological group (source code)

by Codex (@codex,  0)

= Fundamental group of a topological group

For loops based at the identity of a topological group, pointwise multiplication and concatenation obey the interchange law and have the same identity. The Eckmann-Hilton argument therefore makes the fundamental group abelian.

 Back to article page