Groupe de lie commutatif

Groupe de lie commutatif

Groupe de Lie commutatif

Un groupe de Lie commutatif ou groupe de Lie abélien est un groupe de Lie dont la loi de groupe est commutative. La classification des groupes de Lie commutatifs est connue et peut être comprise à partir de l'application exponentielle d'un groupe. En particulier, à isomorphisme de groupes de Lie près, les uniques groupes de Lie commutatifs compacts sont les tores. Les considérations sur les tores maximaux jouent par exemple un rôle important dans la théorie des groupes de Lie.

Caractérisation

Soit G un groupe de Lie, et g son algèbre de Lie, réalisée comme l'algèbre de Lie des champs de vecteurs sur G invariants à gauche. Si X et Y sont deux tels champs de vecteurs, le flot défini par Y est un ensemble de translations à droites sur le groupe G. Si la loi est commutative, ce sont aussi des translations à gauche ; de suite, le flot de Y laisse le champ X invariant. Le crochet de Lie [X,Y] est donc nul.

Classification

  • Pour tout groupe de Lie commutatif connexe G, l'application exponentielle induit un isomorphisme de groupes de Lie entre G et un quotient de g par un sous-réseau.

Par définition, l'application exp associe à tout champ de vecteurs invariant à gauche X la valeur \phi_1^X(e) au temps 1 de son flot {φt} appliqué en e. Par dépendance des équations différentielles ordinaires en les paramètres, elle est une application différentiable \mathbf{g}\rightarrow G.

Le crochet de Lie sur l'algèbre de Lie g est trivial, car la loi de groupe de G est commutative. En particulier, deux éléments quelconques X et Y de g commutent, et de fait :

exp(X + Y) = exp(X).exp(Y)

Par conséquent, exp est un morphisme de groupes de Lie \mathbf{g}\rightarrow G. Son noyau K est un sous-groupe fermé de G. La différentielle de l'exponentielle en l'élément neutre e est l'identité sur g. Par le théorème du difféomorphisme local, l'exponentielle réalise par restriction un difféomorphisme d'un voisinage de 0 dans g sur un voisinage de e dans G. En particulier, 0 est la seule préimage de e au voisinage de 0. De suite, le groupe K est un sous-groupe additif discret de g, autrement dit, un réseau de l'espace vectoriel réel g.

Par passage au quotient, l'exponentielle induit un isomorphisme de groupes de Lie entre G et le quotient g/K.

En outre, la classification des sous-réseaux K d'un espace vectoriel réel E de dimension finie est connue. Il existe une base (e_1,\dots,e_n) de E telle que K soit exactement \mathbb{Z}e_1\oplus\dots\oplus \oplus \mathbb{Z}e_n. Il en découle :

  • Un groupe de Lie commutatif connexe est isomorphe à un produit direct de copies de \mathbb{R} et de \mathbb{R}/\mathbb{Z}.

En particulier :

  • Un groupe de Lie commutatif compact connexe est isomorphe à un tore \mathbf{T}^n, où n est la dimension de G comme variété différentielle. L'isomorphisme est uniquement défini à composition près par un élément de GL_n(\mathbb{Z}.

Tore maximal

Article détaillé : Tore maximal.
Ce document provient de « Groupe de Lie commutatif ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Groupe de lie commutatif de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Groupe De Lie Commutatif — Un groupe de Lie commutatif ou groupe de Lie abélien est un groupe de Lie dont la loi de groupe est commutative. La classification des groupes de Lie commutatifs est connue et peut être comprise à partir de l application exponentielle d un groupe …   Wikipédia en Français

  • Groupe de Lie commutatif — Un groupe de Lie commutatif ou groupe de Lie abélien est un groupe de Lie dont la loi de groupe est commutative. La classification des groupes de Lie commutatifs est connue et peut être comprise à partir de l application exponentielle d un groupe …   Wikipédia en Français

  • Groupe De Lie Compact — Un groupe de Lie compact est un groupe de Lie réel ou complexe dont l espace topologique sous jecent est compact. Un groupe de Lie réel compact admet une métrique riemannienne invariante par translations à droite et à gauche. La classification… …   Wikipédia en Français

  • Groupe de lie compact — Un groupe de Lie compact est un groupe de Lie réel ou complexe dont l espace topologique sous jecent est compact. Un groupe de Lie réel compact admet une métrique riemannienne invariante par translations à droite et à gauche. La classification… …   Wikipédia en Français

  • Groupe de Lie — En mathématiques, un groupe de Lie est un groupe « lisse », c est à dire qu il possède une structure différentiable pour laquelle les opérations de groupe – multiplication et inversion – sont différentiables. Les groupes de Lie sont… …   Wikipédia en Français

  • Groupe de Lie compact — En mathématiques, un groupe de Lie compact est un groupe de Lie (réel ou complexe) qui, en tant que groupe topologique, est un groupe compact. Un groupe de Lie réel compact admet une métrique riemannienne invariante par translations à droite et à …   Wikipédia en Français

  • Groupe continu à un paramètre — Sous groupe à un paramètre Un sous groupe à un paramètre d un groupe de Lie réel G est un morphisme de groupes de Lie c:R G. Plus explicitement, c est une application différentiable vérifiant : . En dérivant cette relation par rapport à la… …   Wikipédia en Français

  • Groupe à un paramètre de difféomorphismes — Sous groupe à un paramètre Un sous groupe à un paramètre d un groupe de Lie réel G est un morphisme de groupes de Lie c:R G. Plus explicitement, c est une application différentiable vérifiant : . En dérivant cette relation par rapport à la… …   Wikipédia en Français

  • Groupe (mathématique) — Groupe (mathématiques) Pour les articles homonymes, voir Groupe.  Cet article concerne une introduction au concept de groupe. Pour un approfondissement, voir théorie des groupes …   Wikipédia en Français

  • Groupe Topologique Compact — Un groupe topologique compact ou groupe compact est un groupe topologique G tel que l espace topologique sous jacent soit compact. Les groupes compacts sont des groupes unimodulaires, dont la compacité simplifie l étude. Ces groupes comprennent… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”