Bildiğim bir teorem var; değişmeli olmayan sonlu bir $G$ grubu için, Fourier transform şöyle tanımlansın
$T:\mathbb{C}G=L(G)\longrightarrow M_{d1}(\mathbb{C})\times.........\times M_{ds}(\mathbb{C})$,
$f\in L(G)$ için $T(f)=(f\hat(\varphi^{(1)}),.....,f\hat(\varphi^{(s)}))$ ,
$f\hat(\varphi^{(k)})=\sum_{g\in G}f(g).\bar{\varphi}_g^{k}$
ve {$\varphi^{(1)},....,\varphi^{(s)}$} indirgenemez temsillerin denklik sınıflarının birimsel(unitary) temsillerinden oluşan küme olsun
O halde Fourier transform $T$ bir $\mathbb{C}$ -cebir izomorfizmasıdır.