Bonjour,
en théorie des représentations linéaires des groupes finis, on a l'équivalence suivante que je ne parviens pas à démontrer :
où
représente le caractère associé à la représentation
.
C'est l'implication réciproque qui me pose problème.
Merci.
-----