物理的要請と書いてるけど、そういうSはいつでも取れるはずなんじゃないっけ
直交群の被覆であるスピン群からそういう元を取ったと思えば