Yahoo 知恵袋で, 次の質問を見かけました: 位相空間 X の基本群 π_1 (X) は常に可換になりますか? 答え: いいえ. 実際, 次の定理が決定的です: 定理 G_i (i∈N) を群の列で, i > 1 に対しては G_i は可換なるものとする. この時, 連結 CW complex X で, 任意…