We define the $n^{th}$ orthogonal group as $$O(n):=\{ A\in \mathbb{R}^{n\times n}:A^{\top}A=I \}$$ i.e. the set of $n\times n$ orthogonal matrices.