Exercice 19, § 2

Soit G un groupe fini et H un sous-groupe de G. Pour toute représentation unitaire $\pi$ de H dans un espace hilbertien complexe E de dimension finie, démontrer que la représentation unitaire induite Ind$^G_H(\pi )$ est isomorphe à la représentation induite définie dans A, VIII, p. 392, § 21, n$^o3$.