>>446
＞>>157
＞ちなみに上記のWに同型な群はSO(1)、SO(2)からは取り出せないそうです。
＞n≧3のSO(n)からは取り出せるそうです。