generated at
2/21/2025, 9:30:59 PM
特殊直交群
\mathrm{SO}(n)=O(n)\cap\mathrm{SL}(n;\mathbb{R})
O(n)
は
直交群
\mathrm{SL}(n;\mathbb{R})
は
特殊線形群