Prove the following two statements and conclude that the fundamental group of a (connected) topological group is abelian:

1) A discrete normal subgroup of a connected topological group is central.

2) If is the universal covering, the total space admits a topological group structure such that is a group morphism. The kernel of is then isomorphic to the fundamental group of .