n次元球面 S^n := {x∈ℝ^(n+1): ||x|| = 1}が群構造を持つのって、nいくつのとき?