なのでこの場合スピン群spin("n")はso("n")の二重被覆である。