Infatti, presa ortonormale, esiste un isomorfismo di gruppi fra e il gruppo delle matrici ortogonali.