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