Bourbaki

Exercice 3, § 6

Groupes et algèbres de Lie, III

Soit G1G_1 le groupe de Lie réel nilpotent simplement connexe défini dans l’exerc. 5 du § 4. Soient ZZ le centre de G1G_1, NN un sous-groupe discret non trivial de ZZ, et G=G1/NG = G_1 / N. Si ρ\rho est une représentation linéaire analytique de dimension finie de GG, ρ(Z/N)\rho(Z/N) est un ensemble semi-simple d’automorphismes, car Z/NZ/N est compact ; mais Z=(G,G)Z = (G, G), donc ρ(Z/N)\rho(Z/N) est unipotent (chap. I, § 6, prop. 6). Par suite, ρ\rho est triviale dans Z/NZ/N.

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.