Peter-Weyl_theorem loading ...