désigne le corps des nombres complexes.
est un entier désigne
l'ensemble des matrices unicolonnes complexes à termes et
soit une de ces matrices non nulle.
désigne la matrice unité de format
On note la transposée de :
et la
conjuguée de :
On pose
; est un réel positif().
Définition On dit que deux matrices A et B anticommutent si elles vérifient la relation AB=-BA.