Orthogonal matrix

An orthogonal matrix is a matrix $\hat{M}$ that satisfies:

$$ \hat{M}\hat{M}^\top = \hat{M}^\top\hat{M} = \hat{\mathbb{I}} $$

It has the following properties: