二次の直交行列は群をなす
行列式が１になる行列を直交行列という。直交という名前は右下の図から。
Information: 二次の直交行列は群をなす