Soit un -espace vectoriel de dimension finie et une forme bilinéaire symétrique non dégénérée sur .
1
Si montrer qu’il existe un unique endomorphisme tel que : On note .
2
Montrer que l’application est un anti-isomorphisme involutif de l’algèbre (c’est-à-dire un isomorphisme linéaire tel que et ).