 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.