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.
Groupe de CoxeterUn groupe de Coxeter est un groupe engendré par des réflexions sur un espace. Les groupes de Coxeter se retrouvent dans de nombreux domaines des mathématiques et de la géométrie. En particulier, les groupes diédraux, ou les groupes d'isométries de polyèdres réguliers, sont des groupes de Coxeter. Les groupes de Weyl sont d'autres exemples de groupes de Coxeter. Ces groupes sont nommés d'après le mathématicien H.S.M. Coxeter. Un groupe de Coxeter est un groupe W ayant une présentation du type: où est à valeurs dans , est symétrique () et vérifie , si .
Système de racinesEn mathématiques, un système de racines est une configuration de vecteurs dans un espace euclidien qui vérifie certaines conditions géométriques. Cette notion est très importante dans la théorie des groupes de Lie. Comme les groupes de Lie et les groupes algébriques sont maintenant utilisés dans la plupart des parties des mathématiques, la nature apparemment spéciale des systèmes de racines est en contradiction avec le nombre d'endroits dans lesquels ils sont appliqués.
Dynkin diagramIn the mathematical field of Lie theory, a Dynkin diagram, named for Eugene Dynkin, is a type of graph with some edges doubled or tripled (drawn as a double or triple line). Dynkin diagrams arise in the classification of semisimple Lie algebras over algebraically closed fields, in the classification of Weyl groups and other finite reflection groups, and in other contexts. Various properties of the Dynkin diagram (such as whether it contains multiple edges, or its symmetries) correspond to important features of the associated Lie algebra.
Groupe de WeylEn mathématiques, et en particulier dans la théorie des algèbres de Lie, le groupe de Weyl d'un système de racines , nommé ainsi en hommage à Hermann Weyl, est le sous-groupe du groupe d'isométries du système de racines engendré par les réflexions orthogonales par rapport aux hyperplans orthogonaux aux racines. Le système de racines de est constitué des sommets d'un hexagone régulier centré à l'origine. Le groupe complet des symétries de ce système de racines est par conséquent le groupe diédral d'ordre 12.
Outer automorphism groupIn mathematics, the outer automorphism group of a group, G, is the quotient, Aut(G) / Inn(G), where Aut(G) is the automorphism group of G and Inn(G) is the subgroup consisting of inner automorphisms. The outer automorphism group is usually denoted Out(G). If Out(G) is trivial and G has a trivial center, then G is said to be complete. An automorphism of a group that is not inner is called an outer automorphism. The cosets of Inn(G) with respect to outer automorphisms are then the elements of Out(G); this is an instance of the fact that quotients of groups are not, in general, (isomorphic to) subgroups.
Wilhelm KillingWilhelm Karl Joseph Killing ( – ) est un mathématicien allemand connu pour ses nombreuses contributions aux théories des algèbres de Lie et des groupes de Lie et à la géométrie non euclidienne. Le père de Killing fut d'abord greffier avant d'exercer les charges de bourgmestre, ce qui amena la famille à déménager à de nombreuses reprises. Killing fut d'abord élève au lycée de Brilon, où il reçut une formation poussée en lettres classiques, tout en découvrant par un de ses professeurs sa passion pour la géometrie.
Coxeter elementIn mathematics, the Coxeter number h is the order of a Coxeter element of an irreducible Coxeter group. It is named after H.S.M. Coxeter. Note that this article assumes a finite Coxeter group. For infinite Coxeter groups, there are multiple conjugacy classes of Coxeter elements, and they have infinite order. There are many different ways to define the Coxeter number h of an irreducible root system. A Coxeter element is a product of all simple reflections.
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.
Cartan matrixIn mathematics, the term Cartan matrix has three meanings. All of these are named after the French mathematician Élie Cartan. Amusingly, the Cartan matrices in the context of Lie algebras were first investigated by Wilhelm Killing, whereas the Killing form is due to Cartan. A (symmetrizable) generalized Cartan matrix is a square matrix with integral entries such that For diagonal entries, . For non-diagonal entries, . if and only if can be written as , where is a diagonal matrix, and is a symmetric matrix.
Élie CartanÉlie Joseph Cartan ( – ) est un mathématicien français qui a effectué des travaux fondamentaux dans la théorie des groupes de Lie et leurs applications géométriques. Il a également contribué de manière significative à la physique mathématique, à la géométrie différentielle, aux équations différentielles, à la théorie des groupes et à la mécanique quantique. Il est largement considéré comme l'un des plus grands mathématiciens du . Il a défendu avec succès sa thèse sur les groupes de Lie à l'École normale supérieure en 1894.
HolonomieEn mathématiques, et plus précisément en géométrie différentielle, l'holonomie d'une connexion sur une variété différentielle est une mesure de la façon dont le transport parallèle le long de boucles fermées modifie les informations géométriques transportées. Cette modification est une conséquence de la courbure de la connexion (ou plus généralement de sa "forme"). Pour des connexions plates, l'holonomie associée est un type de monodromie, et c'est dans ce cas une notion uniquement globale.
G2 manifoldDISPLAYTITLE:G2 manifold In differential geometry, a G2 manifold is a seven-dimensional Riemannian manifold with holonomy group contained in G2. The group is one of the five exceptional simple Lie groups. It can be described as the automorphism group of the octonions, or equivalently, as a proper subgroup of special orthogonal group SO(7) that preserves a spinor in the eight-dimensional spinor representation or lastly as the subgroup of the general linear group GL(7) which preserves the non-degenerate 3-form , the associative form.
Représentation fondamentaleIn representation theory of Lie groups and Lie algebras, a fundamental representation is an irreducible finite-dimensional representation of a semisimple Lie group or Lie algebra whose highest weight is a fundamental weight. For example, the defining module of a classical Lie group is a fundamental representation. Any finite-dimensional irreducible representation of a semisimple Lie group or Lie algebra can be constructed from the fundamental representations by a procedure due to Élie Cartan.
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.
