>>11
S^3を単位四元数のなすLie群と同一視し、S^3を純虚四元数のなす3次元実ベクトル空間に共役作用させる
この作用によってS^3からSO(3)への全射準同型が定まることと、核が{±1}であることを示す