二次の直交行列は群をなす

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