Convolution of group characters
Let
Proof
By Convolution of matrix representations
π πΌ β π π½ = ( π πΌ β π = 1 Ξ πΌ π π ) β ( π π½ β π = 1 Ξ π½ π π ) = π πΌ β π = 1 π π½ β π = 1 Ξ πΌ π π β Ξ π½ π π = π πΌ β π = 1 π π½ β π = 1 | πΊ | π πΌ πΏ πΌ π½ πΏ π π Ξ πΌ π π = | πΊ | π πΌ πΏ πΌ π½ π πΌ β π = 1 Ξ πΌ π π = | πΊ | π πΌ πΏ πΌ π½ π πΌ as required.
Footnotes
-
1996, Representations of finite and compact groups, Β§III.2, p. 41 β©