La trace d'une matrice appartenant à est un élément de .