n 次元の回転は SO(n) の固有値を考えれば分かる。3次元なら固有値1と共役複素数の組だから1つの不動直線（回転軸）を持つ。4次元では代わりに2つの不動面とか。