\[ \DeclareMathOperator{\O}{O} \DeclareMathOperator{\GL}{GL} \]

The orthogonal group of degree \(n\) is the set \(n\times n\) orthogonal matrices , together with matrix multiplication. It is denoted by \(\O(n)\).

Remarks