soit ? s,t (X) = X + {t} si s ? X, auquel cas t ? C 2 (s) ? C 2 (X) ? C(X) (ladernì ere inclusion est vérifiée car, X ´ etant commutative, on a X ? C(X)) et donc X + {t} ? [S] c ; ceci montre l'inclusion ? s,t ,
(s) = {s}. La proposition 2.3.3 nous montre alors que les sous-espaces de [S] de la forme [{s}] = {?, {s}}, o` u s ? S, sont permutés entre eux par lesélémentsleséléments de Aut, Comme cesélémentsceséléments sont des automorphismes de [S], ils fixent ? (´ elément neutre de [S]) et permutent donc entre eux les singletons de S ,
(s) contienne unélémentunélément t = s, et considérons l'endomorphisme ? s,t de [S] défini comme ci-dessus. C'est unélémentunélément de Aut, d'après la remarque 3.2.5b, qui n'appartient pasàpasà Aut(?), puisqu'il ne respecte pas le cardinal . On a donc Aut(?) Aut([S] ,
Coxeterà angles droits ,
Rappelons qu'il s'identifiè a ,
Le théorème 2.3.6 nous montre en particulier que tout, donné, pour N ? N , par N ? N ? (? N ), o` u ?([Cel(N )]) = [Cel(N ? )] ,
On vérifie que, pour tout, )). L'automorphisme ? permute donc les noyaux (de même cardinal) de (S, R) et l'on voit que l'´ elément ?(?) = ? N de Aut(N , R P , Card) est simplement donné par N ? ?(N ) ,
On note ? = ? ? le système de racines standard associéassociéà ?, c'est-` a-dire le sous-ensemble ? = {w(? i ) | w ? W, i ? I} du R-espace vectoriel V = ? i?I R? i , o` u l'action de W sur V est donnée, pour i, j ? I, par s i (? j ) = ? j + 2 cos( ? m i,j )? i . On dit que les racines ? i , i ? I, sont les racines simples de ?, et que la dimension de V (le cardinal de I) est le rang de ?. On note ? + (resp. ? ? ) l'ensemble des racinesàracinesà coordonnées toutes positives ou nulles (resp. toutes négatives ou nulles) dans la base (? i ) i?I . On a ? = ? + ? ? ? . On dispose d'une forme bilinéaire symétrique . , . sur V , invariante par W , donnée, pour i, j ? I, par ? i , ? j = ?2 cos( ? m i,j ) ,
?) agit sur V par permutation de la base (? i ) i?I . On vérifie que cette action stabilise ?, ? + et ? ? , tout ? ? Aut(?) agissant sur ? via w(? i ) ? ?(w)(? ?(i) ) ,
alors le système de racines standard ? ? co¨?ncideco¨?ncide avec le système de racines cristallographique (fini) de graphe de Dynkin A n ,
La proposition 11.2.1 montre que l'action de B + dans P(? + ), définie par le morphisme ? 3 ? ? ,
On a s ? (?) = ? ?p?, donc {?, s ? (?) ,
alors ?, ? = ?, ? + 2pq + q 2 ?, ?, et comme ?, ? = ?, ? = ? ,
On conserve les notations des sections précédentes : ? est une matrice de Coxeter simplement lacée sans triangle, ? est le système de racines standard associéassociéà ? dans le R-espace vectoriel V , et ? ,
sur V est clairement invariante par Aut(?) (cf. section 10.1) ,
?) agissent sur ? + , donc agissent sur H par permutation de la base. Si G est un sous-groupe de Aut(?), la proposition 11.3.2 ci-dessous montre (grâcè a la remarque 11.3.1) que, via ? (resp, B + ) G (resp. B G ) stabilise H G ,
Alors : 1. ?(? s i (e ? )) = ? s ?(i) (e ?(?) ), 2. T (?(i), ?(?)) = T (i, ?) ,
Dig03] et dans la section 11.2. On peut vérifier que, si O est une orbite de I sous ? et ? ? une orbite de ? + sous ?, les coefficients suivant la base ,
Il semble (mais nous n'avons pas de preuve rédigée) que, pour toute orbite O de I sous ? et tous, Considérons alors le morphisme ? 1 ? ,
une nouvelle preuve de l'injectivité de la représentation ? ? , dans tous les cas sauf celui de la symétrie de A 2n, qui fait intervenir le système de racines non réduit BC n ,
Theorie der Zöpfe, Hamburg Abh, vol.4, pp.47-72, 1925. ,
Springer theory in braid groups and the Birman???Ko???Lee monoid, Pacific Journal of Mathematics, vol.205, issue.2, pp.287-309, 2002. ,
DOI : 10.2140/pjm.2002.205.287
Reflection Independence in Even Coxeter Groups, Geometriae Dedicata, vol.94, issue.1, pp.63-80, 2005. ,
DOI : 10.1007/s10711-003-1134-z
Rigidity of Coxeter groups and Artin groups, Geometriae Dedicata, vol.94, issue.1, pp.91-109, 2002. ,
DOI : 10.1023/A:1020948811381
Groupes et Algèbres de Lie, Chapitres IVàIV`IVà VI, 1968. ,
Artin-Gruppen und Coxeter-Gruppen, Inventiones Mathematicae, vol.I, issue.4, pp.245-271, 1972. ,
DOI : 10.1007/BF01406235
Simple groups of Lie type, 1972. ,
The complete enumeration of the finite groups of the form ,
The solution to a conjecture of Tits on the subgroup generated by the squares of the generators of an Artin group, Inventiones Mathematicae, vol.145, issue.1, pp.19-36, 2001. ,
DOI : 10.1007/s002220100138
Injective maps between Artin groups Geometric Group Theory Down Under, Proceedings of a Special Year in Geometric Group Theory, pp.119-137, 1996. ,
Symmetrical subgroups of Artin groups, Adv. in Math, vol.152, pp.159-177, 2000. ,
Erratum to " Symmetrical subgroups of Artin groups, Adv. in Math, vol.179, pp.318-320, 2003. ,
Linearity of artin groups of finite type, Israel Journal of Mathematics, vol.135, issue.1, pp.101-123, 2002. ,
DOI : 10.1007/BF02785852
On the root system of a Coxeter group, Comm. Algebra, vol.10, pp.611-630, 1982. ,
On the linearity of Artin Braid groups, J. Algebra, vol.268, pp.39-57, 2003. ,
Gaussian Groups and Garside Groups, Two Generalisations of Artin Groups, Proc. London Math. Soc. 79, pp.569-604, 1999. ,
DOI : 10.1112/S0024611599012071
Morphismes injectifs entre groupes d'Artin-Tits, Algebr. Geom. Topol, vol.2, pp.519-536, 2002. ,
Quasi-centraliser of LCM-homomorphisms, Comm. Algebra, vol.34, pp.3167-3181, 2006. ,
Determination up to isomorphism of Right-Angled Coxeter systems, Proc. Japan Ac. 79, pp.33-35, 2003. ,
Construction de groupes tordus en théorie de Kac-Moody, C.R. Acad ,
Paris 310, pp.77-80, 1990. ,
Systèmes de racines sur un anneau commutatif totalement ordonné, Geom. Dedic, vol.37, pp.65-102, 1991. ,
Complexes and Coxeter Groups -Operations and Outer Automorphisms, J. Algebra, vol.113, pp.339-345, 1988. ,
Braid groups are linear, Ann. of Math, vol.155, pp.131-156, 2002. ,
A note on words in braid monoids, J. Algebra, vol.215, pp.366-377, 1999. ,
Coxeter Groups in Coxeter Groups. Finite Geom. and Combinatorics, pp.277-287, 1993. ,
Some contributions to the theory of buildings based on the gate property, 1994. ,
Automorphisms of Graph-Universal Coxeter Groups, J. Algebra, vol.200, pp.629-649, 1998. ,
Braid monoids inject in their groups, Comment. Math. Helv, vol.77, pp.609-637, 2002. ,
Rigidity of Right-Angled Coxeter Groups. arXiv:math/ 9901049, 1999. ,
Unique presentation of Coxeter groups and related groups, 2001. ,
Groupes et géométries de Coxeter. Notes de l'I, 1961. ,
Normalisateurs de Tore I. Groupes de CoxeterétendusCoxeterétendus, J. Algebra, vol.4, pp.96-116, 1966. ,
Leprobì eme des mots dans les groupes de Coxeter, Symp. Math. (IN- DAM, pp.1967-68, 1969. ,
Sur le groupe des automorphismes de certains groupes de Coxeter, J. Algebra, vol.113, pp.346-357, 1988. ,
The homotopy type of complex hyperplane complements, 1983. ,