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.
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 .
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.
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 .
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.
G2 (mathématiques)En mathématiques, G2 est le plus petit des groupes de Lie complexes de type exceptionnel. Son algèbre de Lie est notée . G2 est de rang 2 et de dimension 14. Sa forme compacte est simplement connexe, et sa forme déployée a un groupe fondamental d'ordre 2. Son groupe d'automorphismes est le groupe trivial. Sa représentation fondamentale est de dimension 7. La forme compacte de G2 peut être décrite comme le groupe d'automorphismes de l'algèbre octonionique. (1,−1,0),(−1,1,0) (1,0,−1),(−1,0,1) (0,1,−1),(0,−1,
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.
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.
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.
4 21 polytopeDISPLAYTITLE:4 21 polytope In 8-dimensional geometry, the 421 is a semiregular uniform 8-polytope, constructed within the symmetry of the E8 group. It was discovered by Thorold Gosset, published in his 1900 paper. He called it an 8-ic semi-regular figure. Its Coxeter symbol is 421, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 4-node sequences, . The rectified 421 is constructed by points at the mid-edges of the 421. The birectified 421 is constructed by points at the triangle face centers of the 421.
Diagramme de Coxeter-DynkinEn géométrie, un diagramme de Coxeter-Dynkin est un graphe représentant un ensemble relationnel de miroirs (ou d'hyperplans de réflexion) dans l'espace pour une construction kaléidoscopique. En tant que graphe lui-même, le diagramme représente les groupes de Coxeter, chaque nœud du graphe représente un miroir (facette du domaine) et chaque branche du graphe représente l'ordre de l'angle diédral entre deux miroirs (sur une arête du domaine). En plus, les graphes ont des anneaux (cercles) autour des nœuds pour les miroirs actifs représentant un polytope précis.
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.
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.
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.
Groupe de type de LieEn mathématiques, un groupe de type de Lie G(k) est un groupe (non nécessairement fini) de points rationnels d'un groupe algébrique linéaire réductif G à valeur dans le corps commutatif k. La classification des groupes simples finis montre que les groupes de types de Lie finis forment l'essentiel des groupes finis simples. Des cas particuliers incluent les groupes classiques, les groupes de Chevalley, les groupes de Steinberg et les groupes de Suzuki-Ree.
E8 latticeIn mathematics, the E_8 lattice is a special lattice in R^8. It can be characterized as the unique positive-definite, even, unimodular lattice of rank 8. The name derives from the fact that it is the root lattice of the E_8 root system. The norm of the E_8 lattice (divided by 2) is a positive definite even unimodular quadratic form in 8 variables, and conversely such a quadratic form can be used to construct a positive-definite, even, unimodular lattice of rank 8. The existence of such a form was first shown by H.
Indefinite orthogonal groupIn mathematics, the indefinite orthogonal group, O(p, q) is the Lie group of all linear transformations of an n-dimensional real vector space that leave invariant a nondegenerate, symmetric bilinear form of signature (p, q), where n = p + q. It is also called the pseudo-orthogonal group or generalized orthogonal group. The dimension of the group is n(n − 1)/2. The indefinite special orthogonal group, SO(p, q) is the subgroup of O(p, q) consisting of all elements with determinant 1.
Immeuble de Bruhat-TitsEn mathématiques, un immeuble, aussi appelé l’immeuble Tits et l’immeuble Bruhat-Tits (nommé d'après François Bruhat et Jacques Tits) est une structure combinatoire et géométrique qui généralise simultanément certains aspects des variétés de drapeaux, des plans projectifs finis et des espaces riemanniens symétriques. Introduite par Jacques Tits comme moyen de comprendre la structure des groupes exceptionnels de type de Lie, la théorie a également été utilisée pour l'étude de la géométrie et de la topologie des espaces homogènes des groupes de Lie p-adiques et leurs sous-groupes de symétrie discrets, de la même manière que les arbres ont été utilisés pour étudier les groupes libres.
Groupe spinorielEn mathématiques, le groupe spinoriel de degré n, noté Spin(n), est un revêtement double particulier du groupe spécial orthogonal réel SO(n,R). C’est-à-dire qu’il existe une suite exacte de groupes de Lie On peut aussi définir les groupes spinoriels d'une forme quadratique non dégénérée sur un corps commutatif. Pour n > 2, Spin(n) est simplement connexe et coïncide avec le revêtement universel de SO(n,R). En tant que groupe de Lie, Spin(n) partage sa dimension n(n–1)/2 et son algèbre de Lie avec le groupe spécial orthogonal.
