Maths WorkshopMaths problems with full solutions
Exercise 1344Topology › Topology of Mn(ℝ) › Applications and the case n = 2L3Added 6 Nov 2026

Odd-dimensional rotations have an axis

#orthogonal group#determinant#eigenvalue 1#Euler's theorem

Statement

Show that every U∈SO(n)U\in SO(n) with nn odd has the eigenvalue 11. In particular (Euler's theorem), every rotation of R3\mathbb{R}^3 has an axis.

Hint

Show det⁡(U−I)=(−1)ndet⁡(U−I)\det(U-I)=(-1)^n\det(U-I) using UTU=IU^TU=I and det⁡U=1\det U=1.

Show solutionHide solution

Solution

Idea. The matrix U−IU-I is related to its transpose by a factor −U-U up to conjugation; taking determinants gives an equation that forces det⁡(U−I)=0\det(U-I)=0 when nn is odd.

Step 1: a factorisation. Since UUT=IUU^T=I,
U−I=U−UUT=U(I−UT).U-I=U-UU^T=U(I-U^T).

Step 2: determinants. Using det⁡U=1\det U=1 and det⁡MT=det⁡M\det M^T=\det M,
det⁡(U−I)=det⁡U⋅det⁡(I−UT)=det⁡((I−U)T)=det⁡(I−U).\det(U-I)=\det U\cdot\det(I-U^T)=\det\bigl((I-U)^T\bigr)=\det(I-U).
But I−U=−(U−I)I-U=-(U-I), so det⁡(I−U)=(−1)ndet⁡(U−I)\det(I-U)=(-1)^n\det(U-I). Therefore
det⁡(U−I)=(−1)ndet⁡(U−I).\det(U-I)=(-1)^n\det(U-I).

Step 3: nn odd. For nn odd this reads det⁡(U−I)=−det⁡(U−I)\det(U-I)=-\det(U-I), so det⁡(U−I)=0\det(U-I)=0. Hence 11 is an eigenvalue: there is a unit vector ee with Ue=eUe=e.

Euler's theorem. For n=3n=3 this unit vector spans the axis, and UU restricts to an orientation preserving isometry of the plane e⊥e^\perp (preserved because UU is orthogonal and fixes ee), i.e. to a plane rotation. So UU is a rotation about ee.

Remark. For nn even the statement fails: (0−110)∈SO(2)\begin{pmatrix}0&-1\\1&0\end{pmatrix}\in SO(2) has no eigenvalue 11. The same computation shows that for nn even and det⁡U=−1\det U=-1 one has det⁡(U−I)=0\det(U-I)=0: every reflection-type orthogonal matrix has eigenvalue 11 (and also −1-1).

Lesson. Parity of the dimension decides the existence of fixed vectors for rotations.