Concept
Coxeter element
Concepts associés (30)
Polygone de Petrie
En géométrie, un polygone de Petrie est donné par la projection orthogonale d'un polyèdre (ou même d'un polytope au sens général) sur un plan, de sorte à former un polygone régulier, avec tout le reste de la projection à l’intérieur. Ces polygones et graphes projetés sont utiles pour visualiser la structure et les symétries de polytopes aux nombreuses dimensions. Chaque paire de côtés consécutifs appartient à une même face du polyèdre, mais pas trois.
Regular 4-polytope
In mathematics, a regular 4-polytope is a regular four-dimensional polytope. They are the four-dimensional analogues of the regular polyhedra in three dimensions and the regular polygons in two dimensions. There are six convex and ten star regular 4-polytopes, giving a total of sixteen. The convex regular 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century. He discovered that there are precisely six such figures.
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.
Diagramme de Coxeter-Dynkin
En 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.
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 .
Pentachore
En géométrie euclidienne de dimension quatre, le pentachore, ou 5-cellules, aussi appelé un pentatope ou 4-simplexe, est le polychore régulier convexe le plus simple. C'est la généralisation d'un triangle du plan ou d'un tétraèdre de l'espace. Le pentachore est constitué de 5 cellules, toutes des tétraèdres. C'est un polytope auto-dual. Sa figure de sommet est un tétraèdre. Son intersection maximale avec l'espace tridimensionnel est le prisme triangulaire. Le symbole de Schläfli du pentachore est {3,3,3}.
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.
Hexadécachore
L'hexadécachore est, en géométrie, un 4-polytope régulier convexe, c'est-à-dire un polytope à 4 dimensions à la fois régulier et convexe. Il est constitué de 16 cellules tétraédriques. L'hexadécachore est l'hyperoctaèdre de dimension 4. Son dual est le tesseract (ou hypercube). Il pave l'espace euclidien à quatre dimensions.
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 de Coxeter
Un 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 .