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.
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.
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.
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.
Quaternions de HurwitzLes quaternions de Hurwitz portent ce nom en l'honneur du mathématicien allemand Adolf Hurwitz. Soit A un anneau. On definit l'algèbre de quaternions H(A) comme l'algèbre A[H] du groupe H des quaternions. Plus explicitement, c'est le A-module libre engendré par 1, i, j et k, muni de la structure d'algèbre : 1 élément neutre pour la multiplication, et les identités : Soit , l'algèbre des quaternions sur l'anneau Z des entiers relatifs.
Algèbre de JordanEn algèbre générale, une algèbre de Jordan est une algèbre sur un corps commutatif, dans laquelle l'opération de multiplication interne, a deux propriétés : elle est commutative, c’est-à-dire que elle vérifie l'identité suivante, dite identité de Jordan : . Une algèbre de Jordan n'est donc pas associative en général ; elle vérifie toutefois une propriété d’associativité faible, car elle est à puissances associatives et satisfait d’office à une généralisation de l'identité de Jordan : en notant simplement le produit de m termes , on a, pour tous les entiers positifs m et n, .
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.
Coxeter notationIn geometry, Coxeter notation (also Coxeter symbol) is a system of classifying symmetry groups, describing the angles between fundamental reflections of a Coxeter group in a bracketed notation expressing the structure of a Coxeter-Dynkin diagram, with modifiers to indicate certain subgroups. The notation is named after H. S. M. Coxeter, and has been more comprehensively defined by Norman Johnson. For Coxeter groups, defined by pure reflections, there is a direct correspondence between the bracket notation and Coxeter-Dynkin diagram.
Réseau (géométrie)En mathématiques, un réseau d'un espace (vectoriel) euclidien est un sous-groupe discret de l’espace, de rang fini n. Par exemple, les vecteurs de Rn à coordonnées entières dans une base forment un réseau de Rn. Cette notion permet de décrire mathématiquement des maillages, comme celui correspondant à la figure 1. thumb|Fig. 1. Un réseau est un ensemble discret disposé dans un espace vectoriel réel de dimension finie de manière régulière, au sens où la différence de deux éléments du réseau est encore élément du réseau.
