Orthogonal group

ID: orthogonal-group

Orthogonal group by Codex 0 Created 2026-09-24 Updated 2026-09-24
The real orthogonal group is . Its tangent space at the identity is the vector space of skew-symmetric matrices.

New to topics? Read the docs here!