Harold Scott MacDonald CoxeterHarold Scott MacDonald « Donald » Coxeter (, Londres - , Toronto, Canada) est un mathématicien britannique. Il est considéré comme un des grands géomètres du . Une de ses idées originales fut de définir une conique comme une courbe autoduale. Il s'est fait connaître par son travail sur les polytopes réguliers et la géométrie en dimension supérieure. Il a rencontré M. C. Escher et son œuvre géométrique a été une source importante d'inspiration pour ce dernier. Il a aussi inspiré certaines des innovations de Buckminster Fuller.
Generalized permutation matrixIn mathematics, a generalized permutation matrix (or monomial matrix) is a matrix with the same nonzero pattern as a permutation matrix, i.e. there is exactly one nonzero entry in each row and each column. Unlike a permutation matrix, where the nonzero entry must be 1, in a generalized permutation matrix the nonzero entry can be any nonzero value. An example of a generalized permutation matrix is An invertible matrix A is a generalized permutation matrix if and only if it can be written as a product of an invertible diagonal matrix D and an (implicitly invertible) permutation matrix P: i.
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.
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.
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.
Symbole de SchläfliEn mathématiques, le symbole de Schläfli est une notation de la forme {p,q,r, ...} qui permet de définir les polyèdres réguliers et les pavages. Cette notation donne un résumé de certaines propriétés importantes d'un polytope régulier particulier. Le symbole de Schläfli fut nommé ainsi en l'honneur du mathématicien du Ludwig Schläfli qui fit d'importantes contributions en géométrie et dans d'autres domaines. Le symbole de Schläfli pour un polygone régulier convexe à n côtés est {n}.
Signature d'une permutationEn mathématiques, une permutation de support fini est dite paire si elle présente un nombre pair d'inversions, impaire sinon. La signature d'une permutation vaut 1 si celle-ci est paire, –1 si elle est impaire. L'application signature, du groupe symétrique dans le groupe ({–1, 1}, ×), est un morphisme, c'est-à-dire qu'elle vérifie une propriété analogue à la règle des signes. Toute permutation se décompose en un produit de transpositions.
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.
HypercubeUn hypercube est, en géométrie, un analogue n-dimensionnel d'un carré (n = 2) et d'un cube (n = 3). C'est une figure fermée, compacte, convexe constituée de groupes de segments parallèles opposés alignés dans chacune des dimensions de l'espace, à angle droit les uns par rapport aux autres. Un hypercube n-dimensionnel est aussi appelé un n-cube. Le terme « polytope de mesure » a aussi été utilisé (notamment par Coxeter), mais il est tombé en désuétude. Enfin, le cas particulier du 4-cube est souvent désigné par le terme de tesseract.
IcositétrachoreL'icositétrachore, ou « 24-cellules » est un 4-polytope régulier convexe. Il est spécifique à la dimension 4 dans le sens où il ne possède aucun équivalent dans une autre dimension. On le dénomme aussi « 24-cellules », « icositétratope », ou « hypergranatoèdre ». On peut définir un icositétrachore dans au moyen des sommets de coordonnées , ainsi que ceux obtenus en permutant ces coordonnées. Ils sont au nombre de 24.
Jacques TitsJacques Tits, né le à Uccle et mort le dans le , est un mathématicien français, d'origine belge. Professeur à l'université libre de Bruxelles (nommé à ), il écrit et coécrit un grand nombre d'articles sur des sujets variés, principalement en géométrie et en algèbre. Il effectue l’essentiel de sa carrière au Collège de France à Paris. Il est récompensé en 2008 par le prix Abel, l’une des récompenses les plus prestigieuse en mathématiques. Tits a découvert les mathématiques grâce à son père, lui-même mathématicien, en consultant les ouvrages de sa bibliothèque.
PentachoreEn 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}.
Tétraèdrethumb|Un tétraèdre. thumb|Paul Sérusier, Tétraèdres, vers 1910. En géométrie, les tétraèdres (du grec tétra : quatre) sont des polyèdres de la famille des pyramides, composés de triangulaires, et . Le 3-simplexe est la représentation abstraite du tétraèdre ; dans ce modèle, les arêtes s'identifient aux 6 sous-ensembles à 2 éléments de l'ensemble des quatre sommets, et les faces aux 4 sous-ensembles à 3 éléments. Chaque sommet d'un tétraèdre est relié à tous les autres par une arête, et de même chaque face est reliée à toutes les autres par une arête.
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.
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,
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 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.
Polytope régulierdroite|vignette|Le dodécaèdre régulier, un des cinq solides platoniciens. En mathématiques, plus précisément en géométrie ou encore en géométrie euclidienne, un polytope régulier est une figure de géométrie présentant un grand nombre de symétries. En dimension deux, on trouve par exemple le triangle équilatéral, le carré, les pentagone et hexagone réguliers, etc. En dimension trois se rangent parmi les polytopes réguliers le cube, le dodécaèdre régulier (ci-contre), tous les solides platoniciens.
TesseractEn géométrie, le tesseract, aussi appelé 8-cellules ou octachore, est l'analogue du cube (tri-dimensionnel), où le mouvement le long de la quatrième dimension est souvent une représentation pour des transformations liées du cube à travers le temps. Le tesseract est au cube ce que le cube est au carré ; ou, plus formellement, le tesseract peut être décrit comme un 4-polytope régulier convexe dont les frontières sont constituées par huit cellules cubiques.
Présentation d'un groupeEn théorie des groupes, un groupe peut se définir par une présentation, autrement dit, la donnée d'un ensemble de générateurs et d'un ensemble de relations que ceux-ci vérifient. La possibilité d'une telle définition découle de ce que tout groupe est quotient d'un groupe libre. En général, une présentation d'un groupe G se note en écrivant entre crochets une liste de lettres et une liste minimale de mots sur cet alphabet, chaque mot étant censé valoir 1 dans le groupe et aucune relation n'existant entre les lettres, hormis celles-là et leurs conséquences.
