Voir la source de Groupe de Lie

{{à sourcer|date=septembre 2009}}

En [[mathématiques]], un '''groupe de Lie''' est un [[groupe (mathématiques)|groupe]] qui est aussi une [[variété différentielle]]. D'une part, un groupe est une [[structure algébrique]] munie d'une opération binaire, typiquement une [[multiplication]] et son inverse la [[division]], ou alors une [[addition]] et son inverse la [[soustraction]]. D'autre part, une variété est un espace qui localement ressemble à un [[espace euclidien]]. Ici, on s'intéresse à un ensemble qui est à la fois un groupe et une variété : nous pouvons multiplier les éléments entre eux, calculer l'inverse d'un élément. Si ces opérations de groupe — multiplication et inversion — sont [[Continuité (mathématiques)|continues]], on obtient un groupe continu. Si en plus, ces opérations de groupes sont [[Différentielle|différentiables]], il s'agit d'un groupe de Lie. Les groupes de Lie sont nommés ainsi en l'honneur du [[mathématicien]] [[Norvège|norvégien]] [[Sophus Lie]], qui les introduisit afin d'étudier certaines propriétés des [[équation différentielle|équations différentielles]].

La théorie des groupes de Lie décrit la [[symétrie continue]] en mathématiques. En [[physique théorique]] (par exemple dans la théorie des [[quark]]s), son importance s'est affirmée au cours du {{s-|XX}}.

== Exemples simples ==
[[Fichier:Addition af vektorer.png|vignette|Addition de deux vecteurs dans le plan]]

=== Plan ===
Le [[Plan (mathématiques)|plan]], c'est-à-dire l'espace euclidien de dimension 2 peut être considéré comme un groupe de Lie. C'est une variété (localement, l'espace ressemble à l'espace euclidien de dimension 2) et un groupe. Comme le montre la figure à droite, l'opération de groupe est l'addition de deux points (que l'on considère alors comme des vecteurs). L'inverse d'un vecteur (x, y) est le vecteur (-x, -y). Ces deux opérations sont différentiables.
[[Fichier:Unit circle.svg|gauche|vignette|Le cercle unité où chaque point est repéré par un angle avec l'axe des abscisses.]]

=== Cercle ===
Un [[cercle]], par exemple le [[cercle unité]], est un groupe de Lie dans le sens suivant. C'est une variété : localement, le cercle ressemble à une droite, c'est-à-dire un espace euclidien de dimension 1. D'autre part, il s'agit d'un groupe. En effet, chaque point est paramétré par un [[angle]] ''t'' avec l'[[axe des abscisses]]. L'opération d'addition de deux points correspond à additionner les angles. L'inverse d'un point d'angle ''t'' avec l'axe des abscisses, est le point d'angle -''t'' avec l'axe des abscisses.

== Histoire ==

Sophus Lie lui-même considérait que la théorie des « groupes continus » (au sens actuel de [[groupe topologique|groupes topologiques]]) était née lors de l'hiver 1873-1874, mais le biographe Hawkins suggère que la théorie est née des recherches effectuées par Lie durant les quatre années précédentes (de 1869 à 1873)<ref>{{Harvsp|Hawkins|2000|loc=chap. 1 (« The Geometrical Origins of Lie's Theory »), {{p.|1}}}}.</ref>.

Une partie des idées initiales de Lie furent développées en collaboration avec [[Felix Klein]], qu'il rencontrait quotidiennement durant les jours d'octobre des années 1869 à 1872, à Berlin d'abord, puis Paris, Göttingen et Erlangen.

Les résultats de Lie furent publiés dans des journaux norvégiens lors de la décennie 1870, et son œuvre gagna rapidement le reste de l'Europe. En 1884, un jeune mathématicien allemand, [[Friedrich Engel]], travailla avec Lie à la création d'un exposé systématique de la théorie des groupes continus, lequel fut publié en trois volumes sous le titre ''{{Langue|de|Theorie der Transformationsgruppen}}'', en 1888, 1890 et 1893.

Un développement important de la théorie fut ensuite réalisé par [[Wilhelm Killing]]. La généralisation par [[Élie Cartan]] mena à la classification des [[Algèbre de Lie#Algèbres de Lie semi-simples et réductives|algèbres de Lie semi-simples]] et aux travaux de [[Hermann Weyl]] sur les représentations des [[Groupe de Lie compact|groupes de Lie compacts]].

La théorie des groupes de Lie fut exposée méthodiquement dans le [[langage mathématique]] moderne par [[Claude Chevalley]].

== Définitions ==

Une structure algébrique ''G'' est un groupe de Lie réel (respectivement complexe) lorsque :
* ''G'' est une [[variété différentielle]] réelle (respectivement complexe) ;
* ''G'', munie de deux [[fonction (mathématiques)|fonctions]] ''G''×''G ''→ ''G'' (''multiplication'') et ''G ''→ ''G'' (''inversion''), est un [[Groupe (mathématiques)|groupe]] (c'est-à-dire possède une loi associative, non nécessairement commutative, avec un [[élément neutre]], chaque élément ayant un symétrique) ;
* les applications de multiplication et d'inversion sont [[Fonction analytique|analytiques]] réelles (respectivement complexes).

Il est également possible de définir un groupe de Lie comme une variété différentielle munie d'opérations de groupe seulement [[différentielle|différentiables]], ou même seulement [[Continuité (mathématiques)|continues]]. Cette définition est équivalente à la précédente et est une interprétation du [[cinquième problème de Hilbert]].

La dimension d'un groupe de Lie est définie comme sa dimension en tant que variété.

Il existe également une notion analogue de [[groupe de Lie p-adique]] lorsque la variété différentielle sous-jacente est remplacée par un ensemble analytique [[Nombre p-adique|''p''-adique]]. Ce sera le cas, par exemple, du groupe des points ''p''-adiques d'un [[groupe algébrique]].

== Propriétés ==
=== Types de groupes de Lie ===

Les groupes de Lie sont classables selon leurs propriétés algébriques ([[Groupe abélien|abélien]], [[Groupe de Lie simple|simple]], [[Algèbre de Lie#Algèbres de Lie semi-simples et réductives|semi-simple]], [[Algèbre de Lie#Algèbres de Lie résolubles|résoluble]], [[Groupe nilpotent|nilpotent]]), ou bien topologiques ([[connexité (mathématiques)|connexe]], [[simplement connexe]], [[Espace compact|compact]]).

Ils sont également usuellement classés en quatre types, représentés dans le tableau d'exemples plus bas :
* groupes de Lie réels, basés sur le [[corps commutatif]] ℝ ;
* groupes de Lie complexes, basés sur le corps commutatif ℂ ;
* groupes de Lie quaternioniques, basés sur le [[corps non commutatif]] des [[quaternion]]s ℍ ;
* groupes de Lie exceptionnels.

== Algèbre de Lie associée à un groupe de Lie ==

Il est possible d'associer naturellement à tout groupe de Lie ''G'' une [[algèbre de Lie]]. Il existe deux manières équivalentes d'introduire cette algèbre de Lie. L'une consiste à introduire un espace de [[champ de vecteurs|champs de vecteurs]] sur ''G'', la seconde consiste à munir l'[[espace tangent]] en l'élément neutre d'un [[crochet de Lie]], dérivant de l'expression locale de la loi interne de ''G''.

=== Comme algèbre de champs de vecteurs ===

''G'' désigne un groupe de Lie réel ou complexe de dimension ''n''. Pour ''g'' un élément de G, l'application <math>L_g : \left\{\begin{matrix} G \rightarrow G \\ h \mapsto gh \end{matrix}\right.</math> est un [[difféomorphisme]] de la variété réelle ou complexe sous-jacente à ''G''. Un champ de vecteurs ''X'' sur ''G'' est dit '''invariant à gauche''' lorsque pour tout couple d'élément ''g'' et ''h'' de ''G'', on a : <math>(dL_g)_h(X_h) = X_{gh}</math> (où on note <math>X_a</math> la valeur du champ de vecteurs X au point a).

Pour toute variété différentielle réelle ou complexe ''M'', l'espace vectoriel réel ou complexe des champs de vecteurs sur ''M'', noté ''I(M)'', est muni d'une structure naturelle d'algèbre de Lie réelle ou complexe, dont le crochet est le crochet de champs de vecteurs. La [[foncteur|naturalité]] signifie exactement que tout morphisme ''f'':''M'' → ''N'' entre variétés induit un morphisme d'algèbres de Lie ''f''* : ''I''(''N'') → ''I''(''M''). En particulier, pour ''M'' = ''N'' = ''G'', on dispose d'automorphismes (''L''<sub>''g''</sub>)* de l'algèbre de Lie ''I''(''G''). L'ensemble des points fixes communs à tous ces automorphismes (''L''<sub>''g''</sub>)* est une sous-algèbre de Lie de ''I''(''G''), notée <math>\mathfrak g</math>. Ses éléments sont les champs de vecteurs invariants à gauche sur ''G''.

=== Comme espace tangent ===

Soit ''T<sub>e</sub>G'' l'[[espace tangent]] en ''e'' à ''G'', ''e'' désignant l'élément neutre de ''G''. L'application <math>\left\{\begin{matrix}\mathfrak g\to T_eG\\X\mapsto X_e\end{matrix}\right.</math> (où ''X<sub>e</sub>'' est la valeur de ''X'' en l'élément neutre) est un isomorphisme linéaire. La structure d'algèbre de Lie de <math>\mathfrak g</math> se transporte donc, via cet isomorphisme, en une structure d'algèbre de Lie sur l'espace vectoriel ''T<sub>e</sub>G''.

Cette structure peut se définir directement. Supposons donnée ''f'' une carte locale de ''G'' en l'élément neutre ''e'' avec ''f''(''e'')=0, alors, le produit du groupe de Lie lu dans la carte locale ''f'' est au second ordre : 
:<math> \forall a,b\in\R^n \text{ proches de }0,\; f(f^{-1}(a)\cdot f^{-1}(b))=a+b+B(a,b)+o(a^2+b^2) </math>

où ''B'' est une application bilinéaire et antisymétrique. La structure d'algèbre de Lie sur ''T''<sub>''e''</sub>''G'' est donnée par {{retrait|1= <math>[X,Y]=B(X,Y).</math>}}

=== Application exponentielle ===

{{article détaillé|application exponentielle}}

Dans la première présentation, tout vecteur ''X'' de <math>\mathfrak g</math> est ''par définition'' un champ de vecteurs invariant à gauche sur ''G''. L'invariance à gauche implique que son flot est globalement défini. L'exponentielle de ''X'' est définie comme l'image au temps 1 de l'élément neutre ''e'' de ''G''. Plus précisément, il existe une unique fonction ''c'' : ℝ → ''G'' dont la dérivée est donnée par {{retrait|1= <math>c'(t) = X[c(t)]</math> }} et telle que ''c''(''0'') = ''e''.

Elle possède la propriété remarquable suivante : {{retrait|1= <math>c(s + t) = c(s).c(t) \qquad (*)</math> }} pour tous ''s'' et ''t''.

Si l'on note, pour ''v'' = ''X<sub>e</sub>'', <math>e^v = c(1)</math>, une reparamétrisation incluant la variable ''t'' montre que {{retrait|1= <math>c(t) = e^{tv}</math>.}}

On peut alors vérifier {{retrait|1= <math> c'(t)= e^{tv}v.</math>}}

Cette fonction est également appelée '''fonction exponentielle''' et relie l'algèbre de Lie <math>\mathfrak g</math> au groupe de Lie ''G''. Elle définit un [[difféomorphisme]] entre un [[Voisinage (mathématiques)|voisinage]] de 0 dans <math>\mathfrak g</math> et un voisinage de ''e'' dans ''G''. Toutefois, en général, l'application exponentielle ''n'est pas'' [[Surjection|surjective]], ni injective.

Un [[sous-groupe à un paramètre]] de ''G'' est une application différentiable ''c'' : ℝ → ''G'' vérifiant l'identité (*) ci-dessus. À tout sous-groupe à un paramètre ''c'' est associé un unique élément ''X'' de <math>\mathfrak g</math> vérifiant : ''<math>c(t) = e^{tv}</math>''.

=== Classification algébrique des groupes de Lie ===

Plusieurs groupes de Lie peuvent partager la même algèbre de Lie associée. Cependant, à toute algèbre de Lie <math>\mathfrak g</math> correspond un groupe de Lie [[simplement connexe]] ''G'', unique à isomorphisme près. De plus cet isomorphisme est uniquement déterminé par l'isomorphisme d'algèbres de Lie associé. Tout groupe de Lie connexe dont l'algèbre de Lie est isomorphe à <math>\mathfrak g</math> se réalise comme quotient de ''G'' par un [[sous-groupe normal]] [[Groupe discret|discret]].

Un groupe de Lie ''connexe'' est dit simple, semi-simple, résoluble, nilpotent ou abélien si son algèbre de Lie associée possède la propriété de même nom. En particulier, la classification des [[Algèbre de Lie#Algèbres de Lie semi-simples et réductives|algèbres de Lie semi-simples]] donne une classification des groupes de Lie simplement connexes et semi-simples.

== Homomorphismes et isomorphismes ==
=== Morphisme de groupe de Lie ===
Si ''G'' et ''H'' sont deux groupes de Lie (tous deux réels ou complexes), alors un morphisme de groupes de Lie ''f'' : ''G ''→ ''H'' est un [[morphisme de groupes]] qui est également une [[fonction analytique]] (il suffit en fait que ''f'' soit continue).

La composition de deux morphismes de groupes de Lie est un morphisme de groupes de Lie et la classe de tous les groupes de Lie est une [[Théorie des catégories|catégorie]]. Deux groupes de Lie sont dits ''isomorphes'' s'il existe entre eux un morphisme [[bijection|bijectif]] dont la réciproque est également un morphisme.

[[Théorème de Cartan-von Neumann]] : tout [[sous-groupe]] [[fermé (topologie)|fermé]] d'un groupe de Lie possède une unique structure différentielle pour laquelle le morphisme d'[[Injection canonique|inclusion]] est un [[plongement]]<ref>{{article|auteur=Élie Cartan|titre=La théorie des groupes finis et continus et l'''Analysis Situs''|année=1930|revue=Mémorial Sc. Math.|volume=XLII|p.=1-61, § 26}}.</ref>.

=== Morphisme d'algèbre de Lie ===
Soient ''G'' et ''H'' deux groupes de Lie, et ''f'' : ''G ''→ ''H'' un morphisme de groupes de Lie. Alors il existe un unique [[Algèbre de Lie#Morphismes et idéaux|morphisme d'algèbre de Lie]] : <math>\varphi : \mathfrak g \to \mathfrak h</math> de l'algèbre de Lie associée à ''G'' dans celle associée à ''H'', telle que, pour tout champ de vecteurs X invariant à gauche dans G, on ait, pour tout ''t'' :
:<math>f(\exp(tX)) = \exp(t\varphi(X))</math>
De plus, si ''f'' est un isomorphisme, <math>\varphi</math> aussi<ref>{{Ouvrage|langue=fr|auteur1=Jacques Lafontaine|titre=Introduction aux variétés différentielles|lieu=Les Ulis|éditeur=EDP Sciences|année=2010|pages totales=369|passage=152|isbn=978-2-7598-0572-3}}</ref>. Vue comme application de ''T<sub>e</sub>G'' dans ''T<sub>e</sub>H'', <math>\varphi</math> n'est autre que la différentielle de ''f'' calculée en l'élément neutre de ''G''.

== Exemples ==
=== Groupes de Lie réels (groupes de Lie classiques) ===
Dans le tableau ci-dessous, la notion ''A''* désigne la [[matrice adjointe]] d'une matrice ''A''.

{| class="wikitable alternance"
|-
! scope=col | Groupe de Lie
! scope=col | Description
! scope=col | Propriétés
! scope=col | Algèbre de Lie
! scope=col | Description
! scope=col | Dimension
|-
! scope=row | ℝ{{exp|''n''}}
| [[Espace euclidien]] muni de l'addition
| Abélien ; simplement connexe, non compact
| ℝ{{exp|''n''}}
| Le [[crochet de Lie]] est nul
| ''n''
|-
! scope=row | ℝ{{exp|''*''}}
| [[Nombres réels]] non nuls munis de la multiplication
| Abélien ; non connexe, non compact
| ℝ
| Le crochet de Lie est nul
| 1
|-
! scope=row | ℝ{{exp|*}}{{ind|+}}
| Nombres réels strictement positifs munis de la multiplication
| Abélien ; simplement connexe, non compact
| ℝ
| Le crochet de Lie est nul
| 1
|-
! scope=row | <math>S^1= \R / \Z</math>
| [[Nombres complexes]] de module 1 munis de la multiplication
| Abélien ; connexe, non simplement connexe, compact
| ℝ
| Le crochet de Lie est nul
| 1
|-
! scope=row | <math>GL(n,\R)</math>
| [[Groupe général linéaire]] : [[Matrice (mathématiques)|matrices]] réelles ''n''×''n'' inversibles
| Non connexe, non compact
| <math>\mathcal M_n(\R)</math>
| Matrices ''n''×''n'', le crochet de Lie étant le [[Commutateur (opérateur)|commutateur]]
| ''n''²
|-
! scope=row | <math>GL^{+}(n,\R)</math>
| Matrices réelles ''n''×''n'' à déterminant positif
| Simplement connexe, non compact
| <math>\mathcal M_n(\R)</math>
| Matrices ''n''×''n'', le crochet de Lie étant le commutateur
| ''n''²
|-
! scope=row | <math>SL(n,\R)</math>
| [[Groupe général linéaire#Groupe spécial linéaire|Groupe spécial linéaire]] : matrices réelles de déterminant 1
| Simplement connexe, non compact si ''n'' > 1
| <math>\mathfrak{sl}(n,\R)</math>
| Matrices carrées de [[trace (algèbre)|trace]] nulle, le crochet de Lie étant le commutateur
| ''n''² – 1
|-
! scope=row | <math>O(n,\R)</math>
| [[Groupe orthogonal]] : [[Matrice orthogonale|matrices orthogonales]] réelles
| Non connexe, compact
| <math>\mathfrak{so}(n,\R)</math>
| [[Matrice antisymétrique|Matrices antisymétriques]] carrées réelles, le crochet de Lie étant le commutateur ; <math>\mathfrak{so}(3,\R)</math> est isomorphe à <math>\mathfrak{su}(2)</math> et ℝ{{exp|3}} muni du produit vectoriel
| ''n''(''n'' - 1)/2
|-
! scope=row | <math>SO(n,\R)</math>
| [[Groupe orthogonal|Groupe spécial orthogonal]] : matrices orthogonales réelles de déterminant 1 
| Simple pour ''n'' = 3 et ''n'' ≥ 5 ; semi-simple pour ''n'' = 4 ; connexe, compact, non simplement connexe pour ''n'' ≥ 2
| <math>\mathfrak{so}(n,\R)</math>
| Matrices antisymétriques carrées réelles, le crochet de Lie étant le commutateur
| ''n''(''n'' - 1)/2
|-
! scope=row | <math>Spin(n)</math>
| [[Groupe Spin]]
| Simple pour ''n'' = 3 et ''n'' ≥ 5 ; semi-simple pour ''n'' = 4 ; simplement connexe, compact
| <math>\mathfrak{so}(n,\R)</math>
| Matrices antisymétriques carrées réelles, le crochet de Lie étant le commutateur
| ''n''(''n'' - 1)/2
|-
! scope=row | <math>Sp(2n,\R)</math>
| [[Groupe symplectique]] : [[Matrice symplectique|matrices symplectiques]] réelles
| Simple ; non compact
| <math>\mathfrak{sp}(2n,\R)</math>
| Matrices réelles satisfaisant ''JA'' + ''A''<sup>T</sup>''J'' = 0 où ''J'' est la matrice antisymétrique standard
| ''n''(2''n'' + 1)
|-
! scope=row | <math>U(n)</math>
| [[Groupe unitaire]] : matrices unitaires ''n''×''n'' complexes
|  Non simplement connexe, compact ; isomorphe à S<sup>1</sup> pour {{nobr|1=''n'' = 1}}
| <math>\mathfrak{u}(n)</math>
| Matrices carrées complexes ''A'' vérifiant ''A'' = –''A''<sup>*</sup>, le crochet de Lie étant le commutateur
| ''n''²
|-
! scope=row | <math>SU\left(n\right)</math>
| [[Groupe spécial unitaire]] : matrices unitaires complexes ''n''×''n'' de déterminant 1
| Simple pour ''n'' ≥ 2 ; simplement connexe, compact
| <math>\mathfrak{su}(n)</math>
| Matrices carrées complexes de traces nulles ''A'' vérifiant ''A'' = –''A''<sup>*</sup>, le crochet de Lie étant le commutateur
| ''n''² – 1
|-
! scope=row | <math>\mathbb S^3</math>
| Quaternions de module 1 munis de la multiplication, également noté <math>Sp\left(1\right)</math>
| Simple ; simplement connexe, compact ; topologiquement une sphère, isomorphe à <math>SU\left(2\right)</math> et <math>Spin\left(3\right)</math>
| <math>Im(\mathbb H)</math>
| Quaternions de partie réelle nulle, le crochet de Lie étant le [[produit vectoriel]] ; Isomorphe aux vecteurs réels de dimension 3, également isomorphe à <math>su\left(2\right)</math>, est un revêtement double de <math>so\left(3\right)</math>
| 3
|-
! scope=row | <math>Sp\left(n\right)</math>
| [[Groupe symplectique|Groupe compact symplectique]] : [[Matrice unitaire|matrices unitaires]] ''n''×''n'' quaternioniques
| Simple ; compact, simplement connexe
| <math>\mathfrak{sp}(n)</math>
| Matrices quaternioniques carrées ''A'' vérifiant ''A'' = –''A''<sup>*</sup>, le crochet de Lie étant le commutateur
| ''n''(2''n'' + 1)
|}

=== Groupes de Lie complexes ===

Les dimensions sont données sur ℂ. (Tout groupe ou algèbre de Lie complexe peut être vu comme un groupe ou une algèbre de Lie réel de dimension double.)
{| class="wikitable alternance"
|-
! scope=col | Groupe de Lie
! scope=col | Description
! scope=col | Propriétés
! scope=col | Algèbre de Lie
! scope=col | Description
! scope=col | Dimension
|-
! scope=row | ℂ{{exp|''n''}}
| Espace euclidien muni de l'addition
| Abélien ; simplement connexe, non compact
| ℂ{{exp|''n''}}
| Le crochet de Lie est nul
| ''n''
|-
! scope=row | ℂ{{exp|''*''}}
| [[Nombre complexe|Nombres complexes]] non nuls munis de la multiplication
| Abélien ; non simplement connexe, non compact
| ℂ
| Le crochet de Lie est nul
| 1
|-
! scope=row | <math>GL(n,\Complex)</math>
| [[Groupe général linéaire]] : [[Matrice (mathématiques)|matrices]] complexes ''n''×''n'' inversibles
| Connexe, non simplement connexe, non compact ; isomorphe à ℂ{{exp|''*''}} pour ''n'' = 1
| <math>\mathcal M_n(\Complex)</math>
| Matrices ''n''×''n'', le crochet de Lie étant le commutateur
| ''n''²
|-
! scope=row | <math>SL(n,\Complex)</math>
| [[Groupe général linéaire#Groupe spécial linéaire|Groupe spécial linéaire]] : matrices complexes de déterminant 1
| Simple ; simplement connexe, non compact pour ''n'' ≥ 2
| <math>\mathfrak{sl}(n,\Complex)</math>
| Matrices carrées de [[trace (algèbre)|trace]] nulle, le crochet de Lie étant le commutateur
| (''n''² – 1)
|-
! scope=row | <math>O(n,\Complex)</math>
| [[Groupe orthogonal]] : [[Matrice orthogonale|matrices orthogonales]] complexes
| Non connexe, non compact pour ''n'' ≥ 2
| <math>\mathfrak{so}(n,\Complex)</math>
| [[Matrice antisymétrique|Matrices antisymétriques]] carrées complexes, le crochet de Lie étant le commutateur
| ''n''(''n'' – 1)/2
|-
! scope=row | <math>SO(n,\Complex)</math>
| [[Groupe orthogonal|Groupe spécial orthogonal]] : matrices orthogonales complexes de déterminant 1
| Simple pour ''n'' = 3 et ''n'' ≥ 5 ; semi-simple pour ''n'' = 4 ; non simplement connexe, non compact pour ''n'' ≥ 2
| <math>\mathfrak{so}(n,\Complex)</math>
| Matrices antisymétriques carrées complexes, le crochet de Lie étant le commutateur
| ''n''(''n'' – 1)/2
|-
! scope=row | <math>Sp(2n,\Complex)</math>
| [[Groupe symplectique]] : [[Matrice symplectique|matrices symplectiques]] complexes
| Simple ; non compact
| <math>\mathfrak{sp}(2n,\Complex)</math>
| Matrices complexes satisfaisant ''JA'' + ''A''<sup>T</sup>''J'' = 0 où ''J'' est la matrice antisymétrique standard
|''n''(2''n'' + 1)
|}

=== Groupes de Lie quaternioniens ===
Les dimensions sont données sur ℍ.
{| class="wikitable alternance"
|-
! scope=col | Groupe de Lie
! scope=col | Description
! scope=col | Propriétés
! scope=col | Algèbre de Lie
! scope=col | Description
! scope=col | Dimension
|-
! scope=row | ℍ{{exp|''*''}}
| [[Quaternion]]s non nuls munis de la multiplication
| Simplement connexe, non compact
| ℍ
| Quaternions, le crochet de Lie étant le [[Commutateur (opérateur)|commutateur]]
| 1
|}

=== Groupes de Lie exceptionnels ===
On répertorie cinq groupes de Lie dits exceptionnels, notés respectivement [[E6 (mathématiques)|E6]], [[E7 (mathématiques)|E7]], [[E8 (mathématiques)|E8]], [[F4 (mathématiques)|F4]] et [[G2 (mathématiques)|G2]].

== Notes et références ==
{{Traduction/Référence|en|Lie group|8109728|type=note}}
{{Références}}

== Voir aussi ==
=== Articles connexes ===
{{Colonnes|nombre=2|
*{{Lien|trad=Lie group action|Action de groupe de Lie}}
*{{Lien|trad=Hamiltonian group action|Action hamiltonienne}}
* [[Application moment]]
*''{{Lang|en|{{Lien|Atlas of Lie groups and representations}}}}''
* [[Espace homogène]]
* [[Formule de Baker-Campbell-Hausdorff]]
* [[Groupe algébrique]] (l'analogue algébrique des groupes de Lie ; ce sont des variétés algébriques munies d'une structure de groupe)
* [[Groupe classique]]
*{{Lien|trad=Formal group|Groupe formel}}
* [[Représentation d'un groupe de Lie]]
* [[Représentation coadjointe]]
*[[Sous-groupe compact maximal]]
*[[Théorème d'Ado]]
}}

=== Lien externe ===
{{Lien web|lang=en|url=http://www.liegroups.org|titre=Atlas of Lie Groups and Representations|site=[[NSF]], {{Lien|American Institute of Mathematics}}}}

=== Bibliographie ===
*{{Ouvrage|auteur1=[[N. Bourbaki]]|titre=[[Éléments de mathématique]]|sous-titre=Groupes et algèbres de Lie|éditeur=[[Springer Verlag|Springer]]|année=2006}}
*{{Ouvrage|auteur1=[[Roger Godement]]|titre=Introduction à la théorie des groupes de Lie|éditeur=Springer|année=2004|pages totales=305|isbn=978-3-540-20034-5|lire en ligne={{Google Livres|-BAnnb7vr9YC}}}}
* {{Ouvrage|langue=en|auteur1=Thomas Hawkins|titre=Emergence of the Theory of Lie Groups|sous-titre=An Essay in the History of Mathematics, 1869-1926|éditeur=Springer|année=2000|pages totales=566|isbn=978-0-387-98963-1|lire en ligne={{Google Livres|QbB7_YOrruoC}}}}
* {{Ouvrage|langue=en|auteur1={{Lien|lang=de|Sigurdur Helgason}}|titre=Differential Geometry, Lie Groups, and Symmetric Spaces|éditeur=Academic Press|année=1978|lire en ligne={{Google Livres|DWGvsa6bcuMC}}}}, rééd. [[American Mathematical Society|AMS]] 2001 ({{Google Livres|a9KFAwAAQBAJ|aperçu}}), 2012
* {{Ouvrage|langue=en|auteur1=[[Anthony W. Knapp]]|titre=Lie Groups Beyond an Introduction|éditeur=Springer|année=2013|année première édition=1996|lire en ligne={{Google Livres|J8EGCAAAQBAJ}}}}
* {{Ouvrage|langue=en|auteur1=Ivan Kolář|auteur2={{Lien|lang=de|Peter Michor|texte=Peter W. Michor}}|auteur3=Jan Slovák|titre=Natural Operations in Differential Geometry|éditeur=Springer|année=1993|lire en ligne={{Google Livres|4m9x1uL71L4C}}}}
* {{Ouvrage|langue=en|auteur1=John M. Lee|titre=Introduction to Smooth Manifolds|éditeur=Springer|collection=[[Graduate Texts in Mathematics|GTM]]|numéro dans collection=218|année=2002|lire en ligne={{Google Livres|eqfgZtjQceYC}}}}
* {{MneimnéTestard}}
* {{Ouvrage|langue=en|auteur1=Claude Chevalley|titre=Theory of Lie groups I|éditeur=[[Princeton University Press|PUP]]|année=1946}}
* {{ouvrage|prénom1=José María|nom1=Almira|prénom2=José Luis|nom2=Guijarro| prénom3=Martine|nom3=Joulia|responsabilité3=Trad.|titre=L'exploitation de la symétrie|sous-titre=Lie|éditeur=RBA Coleccionables|lieu=Barcelone|année=2019| pages totales=159|isbn=978-84-473-9887-4}}

{{Palette|Structures algébriques}}
{{Portail|mathématiques}}

[[Catégorie:Groupe de Lie|*]]
[[Catégorie:Physique quantique]]
[[Catégorie:Groupe topologique]]