generated at
特殊直交群
\mathrm{SO}(n)=O(n)\cap\mathrm{SL}(n;\mathbb{R})
O(n)直交群
\mathrm{SL}(n;\mathbb{R})特殊線形群