sentence1: Le théorème de Peter Weyl est une extension alternative aux groupes compacts, qui prouve les résultats obtenus à propos des représentations de groupes finis analogues à celles relatives aux groupes compacts.
sentence2: Une extension alternative aux groupes compacts est le théorème de Peter-Weyl, qui montre des résultats concernant les représentations de groupes compacts analogues à celles relatives aux groupes finis.