E8 (mathématiques)vignette|Le polytope de Gosset : les 240 vecteurs du système de racines En mathématiques, est le plus grand groupe de Lie complexe de type exceptionnel. Son algèbre de Lie est notée . E est de rang 8 et de dimension 248. Il est simplement connexe et son centre est trivial. La structure E a été découverte en 1887 par le mathématicien norvégien Sophus Lie pour étudier la symétrie et jusqu’ici personne ne pensait que cet objet mathématique pourrait être compris, considère , responsable de l’équipe qui réunit 18 mathématiciens et programmeurs dans le monde, dont Fokko du Cloux et .
E6 (mathématiques)En mathématiques, E6 est le nom d'un groupe de Lie ; son algèbre de Lie est notée . Il s'agit de l'un des cinq groupes de Lie complexes de type exceptionnel. E6 est de rang 6 et de dimension 78. Le groupe fondamental de sa forme compacte est le groupe cyclique Z3 et son groupe d'automorphismes est le groupe cyclique Z2. Sa représentation fondamentale est de dimension complexe 27. Sa représentation duale est également de dimension 27. Une certaine forme non compacte réelle de E6 est le groupe des collinéations du plan projectif octonionique OP2, ou plan de Cayley.
E7 (mathématiques)En mathématiques, E7 est le nom d'un groupe de Lie complexe de type exceptionnel. Son algèbre de Lie est notée . E7 est de rang 7 et de dimension 133. Le groupe fondamental de sa forme compacte est le groupe cyclique Z2. sa représentation fondamentale est de dimension 56. La forme compacte réelle de E7 est le groupe d'isométries d'une variété riemannienne de dimension 64 appelée plan projectif quateroctionique. Ce nom vient du fait qu'il peut être construit en utilisant une algèbre qui est construite comme produit tensoriel des quaternions avec les octonions.
Freudenthal magic squareIn mathematics, the Freudenthal magic square (or Freudenthal–Tits magic square) is a construction relating several Lie algebras (and their associated Lie groups). It is named after Hans Freudenthal and Jacques Tits, who developed the idea independently. It associates a Lie algebra to a pair of division algebras A, B. The resulting Lie algebras have Dynkin diagrams according to the table at right.
Espace symétriqueEn mathématiques, et plus spécifiquement en géométrie différentielle, un espace symétrique est une variété, espace courbe sur lequel on peut définir une généralisation convenable de la notion de symétrie centrale. La définition précise de la notion d'espace symétrique dépend du type de structure dont on munit la variété. Le plus couramment, on entend par espace symétrique une variété munie d'une métrique riemannienne pour laquelle l'application de symétrie le long des géodésiques constitue une isométrie.
F4 (mathématiques)En mathématiques, F4 est un groupe de Lie exceptionnel de type complexe. Son algèbre de Lie est notée . F4 est de rang 4 et de dimension 52. Sa forme compacte est simplement connexe et son groupe d'automorphismes est le groupe trivial. Sa représentation fondamentale est de dimension 26. La forme compacte réelle de F4 est le groupe d'isométries d'une variété riemannienne de dimension 16, connu également sous le nom de plan projectif octonionique, OP2, ou plan de Cayley.
Groupe réductifEn mathématiques, un groupe réductif est un groupe algébrique G sur un corps algébriquement clos tel que le radical unipotent de G (c'est-à-dire le sous-groupe des éléments unipotents de ) soit trivial. Tout est réductif, de même que tout tore algébrique et tout groupe général linéaire. Plus généralement, sur un corps k non nécessairement algébriquement clos, un groupe réductif est un groupe algébrique affine lisse G tel que le radical unipotent de G sur la clôture algébrique de k soit trivial.
Groupe compactEn mathématiques, et plus particulièrement en analyse harmonique abstraite, un groupe compact est un groupe topologique dont l'espace topologique sous-jacent est compact. Les groupes compacts sont des groupes unimodulaires, dont la compacité simplifie l'étude. Ces groupes comprennent notamment les groupes finis et les groupes de Lie compacts. Tout groupe compact est limite projective de groupes de Lie compacts. Tout groupe discret fini est un groupe compact. En effet, tout espace discret fini est compact.
Semisimple Lie algebraIn mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper ideals). Throughout the article, unless otherwise stated, a Lie algebra is a finite-dimensional Lie algebra over a field of characteristic 0. For such a Lie algebra , if nonzero, the following conditions are equivalent: is semisimple; the Killing form, κ(x,y) = tr(ad(x)ad(y)), is non-degenerate; has no non-zero abelian ideals; has no non-zero solvable ideals; the radical (maximal solvable ideal) of is zero.
Satake diagramIn the mathematical study of Lie algebras and Lie groups, a Satake diagram is a generalization of a Dynkin diagram introduced by whose configurations classify simple Lie algebras over the field of real numbers. The Satake diagrams associated to a Dynkin diagram classify real forms of the complex Lie algebra corresponding to the Dynkin diagram. More generally, the Tits index or Satake–Tits diagram of a reductive algebraic group over a field is a generalization of the Satake diagram to arbitrary fields, introduced by , that reduces the classification of reductive algebraic groups to that of anisotropic reductive algebraic groups.
