Orthogonal group (source code)

= Orthogonal group
{title2=$O(n)$}
{wiki}

The real orthogonal group is $O(n)=\{R:R^TR=I\}$. Its tangent space at the identity is the vector space of skew-symmetric matrices.