>>0115
それは必ずしも存在するとは限らない。なぜならば、位相群については、
その位相群の単位元を基点とする時の基本群は、必ず可換群になるから。