A First Course in Harmonic Analysis

In Chapter 11 we give the Peter-Weyl theorem, which generalizes the completeness of the Fourier series in the context of compact non-commutative groups and gives a decomposition of the regular representation as a direct sum of irreducibles.