Examen - IRMA, Strasbourg

On note IrrC(G) l'ensemble des caractères complexes irréductibles de. G. Le but de l'exercice est de démontrer la formule suivante, due à Frobenius :.