Bourbaki

Exemple 4

Étiquette 0DH0, permanente. À citer comme [Bourbaki, Tag 0DH0].

Algebra, chapter III, § 9. Normes et traces

Soit A=Mn(K)A = M_n(K), et considérons la base canonique (Eij)1≤i≤n, 1≤j≤n(E_{ij})_{1 \leq i \leq n,\ 1 \leq j \leq n} de AA sur KK (II, p. 142). Il est immédiat que Tr⁡A/K(Eij)=0\operatorname{Tr}_{A/K}(E_{ij}) = 0 si j≠ij \neq i et Tr⁡A/K(Eii)=n\operatorname{Tr}_{A/K}(E_{ii}) = n pour tout ii; on en déduit sans peine que la matrice (Tr⁡(EijEhk))(\operatorname{Tr}(E_{ij}E_{hk})) d’ordre n2n^2 est de la forme n.Pn.P, où PP est une matrice de permutation, d’où DA/K((Eij))=±nn2D_{A/K}((E_{ij})) = \pm n^{n^2}.

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.