Skip to main content
3 of 6
added 410 characters in body
Francois Ziegler
  • 31.5k
  • 6
  • 121
  • 176

Well, if $Q\in\mathrm{SO}(n)$ satisfies your (original) conditions then so does $ \frac1{\sqrt2} \begin{pmatrix} -{}^tQ&Q\\ \phantom{-}{}^tQ&Q \end{pmatrix} \in\mathrm{SO}(2n). $

Added: As S. Stadnicki since commented, your desired set $\mathrm S$ of possible orders $n$ is contained in and conjecturally equal to $4\mathbf N$ (Hadamard conjecture); the above construction (essentially Sylvester’s) just shows $\smash{2^{\mathbf N}\subset\mathrm S}$.

Francois Ziegler
  • 31.5k
  • 6
  • 121
  • 176