Groupe De Coxeter


Groupe De Coxeter

Groupe de Coxeter

Un groupe de Coxeter est un groupe généré par des réflexions sur un espace. Les groupes de Coxeter se retrouvent virtuellement dans tous les 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 groupe de Coxeter.

Ces groupes sont nommés d'après le mathématicien H.S.M. Coxeter.

Sommaire

Définition formelle

Un groupe de Coxeter est un groupe W ayant une présentation du type:

\left\langle r_1,r_2,\ldots,r_n \mid (r_ir_j)^{m_{ij}}=1\right\rangle

mij est à valeurs dans \N\cup\{\infty\} est symétrique (mij = mji) et vérifie mii = 1, m_{ij}\geq2 si i\neq j. La condition (r_ir_j)^\infty signifie par convention qu'aucune relation n'est imposée entre ri et rj. Remarquons que mij = 2 ne signifie rien d'autre que le fait que ri et rj commutent. La condition mii = 1 signifie que les générateurs sont d'ordre deux: on y pense comme à des réflexions. Soit S l'ensemble des générateurs. Lorsqu'on veut indiquer cet ensemble, on dit que (W,S) est un système de Coxeter.

Propriétés de base

Comme annoncé dans l'introduction, un groupe de Coxeter peut être vu comme un groupe de réflexion, orthogonales en un certain sens. Précisément, si W est un groupe de Coxeter alors il existe un espace vectoriel réel V muni d'une forme bilinéaire non dégénérée q telle que W s'injecte dans le groupe O(q) des automorphismes de V qui préservent q. Comme ils sont d'ordre 2, les générateurs ri donnés par la présentation sont alors envoyés sur des réflexion orthogonales. Attention: q n'est pas forcement définie positive, V n'est alors pas un espace euclidien.

La présentation d'un groupe de Coxeter permet de définir la longueur de ses éléments: si w est dans W, on appelle longueur de w et on note l(w) le nombre minimal de générateurs à multiplier pour obtenir w. Les propriétés suivantes de la longueur sont simple: soit (W,S) un système de Coxeter, alors

l(ws) = l(w) − 1oul(ws) = l(w) + 1 pour s dans S

l(w − 1) = l(w)

Exemple

Le groupe symétrique \mathfrak S_n est un groupe de Coxeter. On peut le voir comme le groupe des isométries d'un simplexe à n dimensions, ou bien utiliser la présentation suivante : \mathfrak S_n est généré par les transpositions de la forme (1,2),(2,3),...,(n-1,n). Les relations sont:

- deux transpositions commutent si elles ne sont pas consécutives,

- (k,k + 1)(k + 1,k + 2) est d'ordre 3.


Les groupes dihédraux Dn sont un autre type d'exemples. Le groupe Dn est le groupe des transformations qui préservent un polygone régulier à n côtés.

caractérisation

Un des faits les plus remarquables concernant les groupes de Coxeter est qu'on dispose d'un critère simple, appelé la condition d'échange, pour les identifier et trouver leurs présentations. (Rappelons qu'en général, trouver une présentation d'un groupe est une opération très difficile).


Les groupes de Coxeter finis sont complètement classifiés, par le biais des Graphes de Coxeter.

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Groupe de Coxeter ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Groupe De Coxeter de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Groupe de coxeter — Un groupe de Coxeter est un groupe généré par des réflexions sur un espace. Les groupes de Coxeter se retrouvent virtuellement dans tous les domaines des mathématiques et de la géométrie. En particulier, les groupes diédraux, ou les groupes d… …   Wikipédia en Français

  • Groupe de Coxeter — Un groupe de Coxeter est un groupe généré par des réflexions sur un espace. Les groupes de Coxeter se retrouvent virtuellement dans tous les domaines des mathématiques et de la géométrie. En particulier, les groupes diédraux, ou les groupes d… …   Wikipédia en Français

  • Groupe Symétrique — Cette notion est différente de celle de groupe de symétrie. En mathématiques, plus particulièrement en algèbre, le groupe symétrique d un ensemble E est le groupe des permutations de E, c est à dire des bijections de E sur lui même. Sommaire 1… …   Wikipédia en Français

  • Groupe de permutation — Groupe symétrique Cette notion est différente de celle de groupe de symétrie. En mathématiques, plus particulièrement en algèbre, le groupe symétrique d un ensemble E est le groupe des permutations de E, c est à dire des bijections de E sur lui… …   Wikipédia en Français

  • Groupe des permutations — Groupe symétrique Cette notion est différente de celle de groupe de symétrie. En mathématiques, plus particulièrement en algèbre, le groupe symétrique d un ensemble E est le groupe des permutations de E, c est à dire des bijections de E sur lui… …   Wikipédia en Français

  • Groupe symetrique — Groupe symétrique Cette notion est différente de celle de groupe de symétrie. En mathématiques, plus particulièrement en algèbre, le groupe symétrique d un ensemble E est le groupe des permutations de E, c est à dire des bijections de E sur lui… …   Wikipédia en Français

  • Coxeter — H.S.M. Coxeter Harold Coxeter, 1970 Harold Scott MacDonald «Donald» Coxeter (9 février 1907, Londres 31 mars 2003, Toronto, Canada) est un mathématicien britannique …   Wikipédia en Français

  • Groupe symétrique — Cette notion est différente de celle de groupe de symétrie. En mathématiques, plus particulièrement en algèbre, le groupe symétrique d un ensemble E est le groupe des permutations de E, c est à dire des bijections de E sur lui même. Un sous… …   Wikipédia en Français

  • Groupe De Weyl — En mathématiques, et en particulier dans la théorie des algèbres de Lie, le groupe de Weyl d un système de racines est le sous groupe du groupe d isométries du système de racines engendré par les réflexions orthogonales par rapport aux hyperplans …   Wikipédia en Français

  • Groupe de weyl — En mathématiques, et en particulier dans la théorie des algèbres de Lie, le groupe de Weyl d un système de racines est le sous groupe du groupe d isométries du système de racines engendré par les réflexions orthogonales par rapport aux hyperplans …   Wikipédia en Français