Soit . On considère un sous-groupe du groupe linéaire .
On suppose que est commutatif et que c'est une partie compacte de l'espace vectoriel normé .
Démontrer que le groupe est isomorphe à un sous-groupe du groupe produit , où .
Commencer par montrer que tout élément possède un spectre inclus dans en exploitant le fait que les puissances de et de restent dans un compact.
Justifier la diagonalisabilité des éléments de en étudiant la croissance des puissances d'une matrice non diagonalisable.
Utiliser un théorème de réduction simultanée pour les familles commutatives d'endomorphismes diagonalisables.
Construire un morphisme de groupes injectif de vers .
Lien entre compacité et bornitude des puissances des matrices.
Caractérisation de la diagonalisabilité par le comportement des puissances.
Codiagonalisation de familles commutatives.
Résolution.
Attention à ne pas oublier de justifier pourquoi les valeurs propres sont de module exactement 1. L'argument de la borne sur