Proposizione 7.2
Sia

base ortonormale di

;
allora
il prodotto scalare di due vettori espressi rispetto a

è uguale al prodotto scalare standard dei vettori delle loro coordinate, quindi l'isomorfismo di gruppo:
ove il prodotto in

è l'usuale prodotto righe per colonne, induce un isomorfismo tra i sottogruppi

e

.