arxiv:math/ v1 [math.gr] 28 Oct 2005

Transcription

1 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE Jean-Phlppe PRÉAUX 2 arxv:math/05063v [math.gr] 28 Oct 2005 Abstract. We gve characterzatons of the center, of conjugated and of commutng elements n a fundamental group of a graph of group. We deduce varous results : on the one hand we gve a suffcent condton for the center, the centralzers, and the root structures n such a group to be n some sense trval, and on the other hand we prove that for any group G, the conjugacy problem reduces to the same problem n a double of G along any fnte famly of subgroups. Résumé. Nous caractérsons le centre, les éléments conjugués et les éléments qu commutent dans le groupe fondamental d un graphe de groupe. Nous en dédusons dvers résultats : d une part nous donnons une condton suffsante pour que le centre, les centralsateurs et la structure des racnes d un tel groupe soent dans un sens trvaux, et d autre part nous montrons que pour un groupe G quelconque le problème de conjugason se rédut au même problème dans un double de G le long d une famlle fne quelconque de sous-groupes.. Introducton Amalgames et extenson HNN sont des constructons de théore des groupe amplement étudées et fécondes en exemples ([MKS, Ro, LS]. Serre les a généralsé par le concept de groupe agssant sans nverson sur un arbre (nous parlerons c plutôt de groupe fondamental de graphe de groupe, ou plus abusvement de graphe de groupe) ([Se, DD]). Nous généralsons c des résultats connus pour les amalgames au cadre le plus général d un graphe de groupe. Plus précsément nous donnons une caractérsaton du centre, des éléments qu commutent et des éléments conjugués dans le groupe fondamental d un graphe de groupe (théorèmes 6., 6.2 et 6.3), et en partculer dans une extenson HNN (théorèmes 5.2, 5.5 et 5.6). Nous mettons ensute à proft l étude effectuée pour établr dvers résultats. Nous donnons une condton combnatore suffsante pour que dans un graphe de groupe les centralsateurs, le centre et la structure des racnes soent dans un sens trvaux (théorèmes 6.5, 6.6 et 6.7) ; ben que lon d être nécessare cette condton est assez large pour englober de nombreux exemples. Nous montrons auss que donné un groupe G quelconque et une famlle fne quelconque de sous-groupes, le problème de conjugason dans G se rédut au problème de conjugason dans le double de G le long de ces sous-groupes (théorème 6.4). Ce traval est pour une part sgnfcatve extrat de ma thèse de doctorat ([Pr2]) ; je tens à remercer chaleureusement mon drecteur de thèse Hamsh Short pour sa confance et son souten durant toutes ces années. Notatons Nos preuves procédant souvent par dsjoncton de cas, nous utlserons dans une démonstraton le symbôle pour dénoter la fn d un cas, tands que le symbôle dénotera la fn de la preuve. 2. Rappels sur les produts amalgamés et extensons HNN Nous rappelons les défntons et les proprétés fondamentales d un produt amalgamé, et d une extenson HNN. Nous ne ferons qu énoncer les résultats sans en fournr de preuve, le lecteur pouvant se référer aux ouvrages [MKS], [LS], [Ro]. Produts amalgamés. Soent A et B des groupes donnés par les présentatons respectves < S R > et < S R >. Soent C A un sous-groupe de A, C B un sous-groupe de B, et Centre de recherche de l école de l ar, Ecole de l ar, F-366 Salon de Provence ar, 2 C.M.I., Unversté de Provence, 39 rue F.Jolot-Cure, F-3453 marselle cedex 3. E-mal : preaux@cm.unv-mrs.fr Mathematcal subject classfcaton. Prmary 20E06, 20E08, 20E34; Secondary 20E45, 20F0, 57M05, 57M99.

2 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 2 φ : C A C B un somorphsme. On appelle produt amalgamé de A et B le long de φ, le groupe que l on note A φ B, donné par la présentaton : A φ B = < S S R R {φ(c) = c c C A } > S les présentatons de A et B sont fnes, et s C A est de type fn, A φ B est de présentaton fne. En fat s c,..., c n est une famlle génératrce de C A, on a la présentaton fne : A φ B = < S S R R {φ(c ) = c =,..., n} > On consdère l applcaton d ncluson de S dans S S. Elle s étend naturellement en un unque homomorphsme du groupe lbre F(S), dans le groupe lbre F(S S ), qu passe au quotent pour donner un homomorphsme de A dans A φ B. De la même façon on défnt un homomorphsme naturel de B dans A φ B, qu étend l ncluson de S dans S S. Proposton 2.. Les homomorphsmes naturels de A et de B dans A φ B, sont njectfs. On les appelera les plongements naturels, et on les notera respectvement A : A A φ B et B : B A φ B. L mage de A est appelée premer facteur, celle de B deuxème facteur. On ne dstnguera pas en général A et B de leur mage A (A) ou B (B). Ans A et B seront consdérés comme des sous-groupes de A φ B. De plus, les sous-groupes A (C A ) et B (C B ) de A φ B, sont confondus, en un sous-groupe que l on note C ; en fat : C = A (C A ) = B (C B ) = A (A) B (B). Nous pourrons dre, de façon quelque peu mprécse, que A φ B est un amalgame de A et B, le long du sous-groupe C, et le noter A C B. S g est un élément de A φ B, une forme normale pour g, est une sute fne (g, g 2,..., g n ) d éléments de A φ B, vérfant les condtons : =,...,n, g A \ C, ou g B \ C. =,...,n, s g A, alors g B. g = g g 2 g n dans A φ B. Pusque A φ B a pour famlle génératrce S S, où S engendre A, S engendre B et que A B = C dans A φ B, alors clarement, tout élément admet une forme normale. Dans un certan sens, cette forme normale est unque. C est le théorème fondamental des produts lbres amalgamés. Théorème 2. (Forme normale). Consdérons un élément g de A φ B, ans que (g, g 2,..., g n ) et (g, g 2,..., g m) deux formes normales de g. Alors m = n, =,...,n, g et g sont dans un même facteur, et g g C. L enter n sera appelé longueur de l élément g, et noté g. En partculer g = s et seulement s g est dans un des facteurs. Nous utlserons plutôt la formulaton suvante : s (g, g 2,..., g n ) est une forme normale pour g, où les g sont des mots sur S ou sur S, alors le mot g g 2 g n représente g dans A φ B, et pourra être dénommé d écrture sous forme rédute. Extenson HNN. Sot A un groupe, C et C des sous-groupes de A, et φ : C C un somorphsme. S A admet pour présentaton < S R >, on appelle extenson HNN de A, relatvement à φ, le groupe que l on notera A φ, de présentaton, A φ = < S {t} R {t ct = φ(c) c C } > S le sous-groupe C admet une famlle génératrce fne, c,...,c n, alors A φ admet la présentaton fne, A φ = < S {t} R {t c t = φ(c ) =,...,n} > On consdère l applcaton dentté de S dans S. Elle s étend de façon unque en un homomorphsme de F(S) dans F(S {t}), qu passe au quotent pour donner un homomorphsme naturel de A dans A φ. Proposton 2.2. L homorphsme naturel de A dans A φ est un plongement.

3 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 3 On note A : A A φ le plongement naturel. Nous confondrons A et son mage A (A) par A, ans nous verrons A comme un sous-groupe de A φ. Etant donné un élément γ A φ, une forme normale pour g, est une sute fne d éléments de A φ, de la forme (g 0, t ε, g, t ε2,..., t εn, g n ), vérfant : = 0,...,n, g A, et =,...,n, ε = ±. =,...,n, s ε = ε, alors g C ε. g = g 0 t ε g t ε2 t εn g n dans A φ. Une forme rédute pour g est un mot sur S {t}, de la forme g 0 t ε g t ε2 t εn g n, où les g sont des mots sur S, et (g 0, t ε, g, t ε2,..., t εn, g n ) est une forme normale pour g. Un mot de la forme t ε ct ε, où ε = ±, et c C ε, est appelé un pnch. S un mot content un tel pnch, l opératon consstant à remplacer ce sous-mot par le mot φ ε (c), ne change pas l élément de A φ représenté. Ans, clarement tout élément admet une forme normale. Le théorème suvant, fondamental pour les extensons HNN, garantt l uncté d une forme normale. Il est connu sous le nom de lemme de Brtton. Théorème 2.2 (Lemme de Brtton). L élément A φ, admet pour unque forme normale, la sute (). On en dédut faclement que s g admet deux formes normales (g 0, t ε, g, t ε2,..., t εn, g n ) et (g 0, tµ, g, tµ2,...,t µm, g m), alors nécessarement, n = m, =,...,n, ε = µ, et g 0 g 0 C ε et g n g n C εn. On appelle longueur de g, notée g, l enter défn par g = n. Ans, g = s et seulement s g A. 3. Rappels sur les graphes de groupe Un graphe fn X est la donnée de deux ensembles fns A X et S X, d une nvoluton sans pont fxe j : A X A X, et de deux applcatons o, e : A X S X, vérfant a A X, e(a) = o j(a). Les éléments de A X seront appelés des arêtes, et les éléments de S X, des sommets. On notera a = j(a), et les arêtes a et a seront dtes opposées. S a est une arête, {a, a} sera appelé une arête non-orentée. Une orentaton de X, est un sous-ensemble A X de A X, contenant, pour tout a A X, exactement un élément de l ensemble {a, a}. Un graphe mun d une orentaton sera dt orenté. Un chemn de X est une sute fne d arêtes, c = (a,...,a n ), qu vérfe pour tout =,...,p, e(a ) = o(a ). Les sommets o(a ) et e(a n ), sont appelés respectvement orgne et extrémté du chemn c. Le chemn est dt fermé s o(a ) = e(a n ). Il est dt rédut, s =,...,p, a a. Un graphe X est dt connexe, s pour tout couple de sommets, s, s 2, l exste un chemn de X ayant pour orgne s, et pour extrémté s 2. Un graphe est un arbre, s pour tout couple de sommets s, s 2, l exste un unque chemn rédut d orgne s et d extrémté s 2. C est un fat ben connu, que tout graphe fn X content un arbre maxmal,.e. un sous-graphe qu est un arbre, et qu a même sommets que X. Il n est en général pas unque. Un graphe de groupe (G, X) est la donnée d un graphe fn connexe, orenté, et d une famlle G, consstant en : un ensemble GA X = {G a, a A X } de groupes, appelés groupes d arête, un ensemble GS X = {G s, s S X } de groupes, appelés groupes de sommet, et pour tout a A X, les monomorphsmes φ a : G a G o(a) et φ a : G a G e(a). Un lacet dans (G, X) est une sute de la forme (g 0, a, g,...,a n, g n ), où (a, a 2,...,a n ) est un chemn fermé de X, et k =,...,n, g k G o(a), et g n G e(an). On dt qu l a pour orgne o(a ). Il exste une relaton d équvalence pour les lacets de (G, X), engendrée par les relatons : a A X, h G a, g G o(a) (g, a, φ a (h), a, φ a (h) ) = (g) a A X, g, g G o(a), (g, a,, a, g ) = (gg )

4 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 4 S s 0 est un sommet de X, l ensemble des lacets d orgne s 0, admet une opératon, appelée opératon de concaténaton : (g 0, a,..., a p, g p ).(g p, a p,...a n, g n ) = (g 0, a,..., a p, g p g p, a p,... a n, g n ) Cette opératon passe au quotent sous la relaton en une opératon sur l ensemble des classes d équvalence de lacets basés en s 0, qu admet dès-lors une structure de groupe. On l appelle le groupe fondamental de (G, X), basé en s 0, et on le note π (G, X, s 0 ). S tous les groupes de sommets (et donc les groupes d arêtes) sont trvaux, on retrouve le groupe fondamental de X basé en s 0. Le théorème qu sut est un résultat fondamental pour les graphes de groupe. C est le seul résultat sur les graphes de groupe que nous emploerons pour mener à ben notre étude, délassant c le concept de groupe agssant sans nverson sur un arbre (cf. [Se], [DD]). Théorème 3.. Soent (G, X) un graphe de groupe, s 0 un sommet de X, et T un arbre maxmal de X. Alors π (G, X, s 0 ) est le groupe obtenu à partr du produt lbre ( s SX G s ) F, où F est le groupe lbre engendré par {t a ; a A X }, en ajoutant les relatons : φ a (h) = t a φ a (h)t a t a = t a t a = a A X, h G a a A X a A X A T Remarque : Ans π (G, X, s 0 ) ne dépend pas du chox du pont de base s 0. On parlera du groupe fondamental de (G, X) que l on notera π (G, X). Remarque 2 : Un graphe de groupe (G, X), mun d un arbre maxmal T de X, est appelé un graphe décomposé. On pourra le noter (G, X, T). Donné un arbre maxmal T de X, un élément de A T sera appelé arête T-séparante ; un élément de A X (A X \ A T ) sera appelé arête non T- séparante. Remarque 3 : S X = T est un arbre, π (G, X) est l amalgame des groupes de sommets G s, s S T, le long des somorphsmes φ a φ a défns pour tout a A T. Ans pour tout s S T, on a le morphsme njectf p s : G s π (G, T) S X n est pas un arbre, π (G, X) est l extenson HNN de π (G, T), le long des somorphsmes p e(a) φ a φa p o(a) pour toute arête a non T-séparante. Ans on a le morphsme njectf Π : π (G, T) π (G, X) On a donc, pour tout sommet s S T = S X, un plongement naturel Π s = Π p s de G s dans π (G, X). Ces plongements ne dépendent que de la donnée d un arbre maxmal T de X. Lorsque T sera fxé (ce qu sera toujours le cas), on commettra l abus de langage de confondre Π s (G s ) avec G s. Ans on pourra vor G s comme un sous-groupe de π (G, X). Un tel sous-groupe de π (G, X) sera appelé sous-groupe de sommet. Pour toute arête a T-séparante d orgne s et d extrémté s 2, les applcatons de G a dans π (G, X), Π s φ a et Π s2 φ a sont égales. On confondra G a et Π s φ a (G a ) = Π s2 φ a (G a ) G s G s2 π (G, X). Sot a A X une arête, d orgne s et d extrémté s 2, on notera G a = Π s φ a (G a ) et G a = Π s 2 φ a (G a ), ans que ϕ a, l somorphsme de G a dans G a, défn par ϕ a(h) = Π s2 φ a φ a Π s (h) pour tout h G a. S a est T-séparante, les applcatons Π s φ a et Π s2 φ a sont dentques, ans G a = G a = G a, et ϕ a = ϕ a est l dentté. S a est non T-séparante, en général G a G a, et dans π (G, X), on a la relaton h G a, h = t a ϕ a (h)t a. Les sous-groupes G a, G a de π (G, X) seront appelés sous-groupes d arête. Notons que G a G o(a) = G s, G a G e(a) = G s2. Remarque 4 : Sot (G, X) un graphe de groupe, et Y un sous-graphe orenté de X (.e. X et Y sont d orentatons compatbles). On peut construre un sous-graphe de groupe (G, Y ) de (G, X) en se restregnant aux groupes de sommet G S Y = {G s GS X ; s S Y }, aux graphes d arête G A Y = {G a GA X ; a A Y } et aux monomorphsmes de G, φ a et φ a pour tout a A Y A X.

5 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 5 Dans la sute, on notera (G, Y ) au leu de (G, Y ). Observons que π (G, Y ) se plonge naturellement dans π (G, X). Sot (G, X, T) un graphe de groupe décomposé. S a est une arête non T-séparante (resp. T séparante) on note X (et X 2 ) la (les) composante(s) connexe(s) du graphe X \ {a, a}. Alors π (G, X) se décompose en une extenson HNN (en un amalgame) de π (G, X ) (et π (GX 2 )) le long de ϕ a. On dra que l on a décomposé (G, X, T) le long de l arête a. Remarque 5 : Ce théorème fournt mplctement un présentaton pour le groupe fondamental π (G, X), d un graphe de groupe décomposé (G, X, T). S de plus les groupes de sommet sont fnment présentés, et les groupes d arête de type fn, alors π (G, X) est fnment présenté. Lorsque les présentatons fnes et les famlles génératrces sont fxées, une telle présentaton de (G, X) sera appelée présentaton canonque de π (G, X). La famlle génératrce donnée par cette présentaton, sera notée Gen(X). 4. Exemple : graphe de groupe et décomposton JSJ 4.. Théorème Jaco-Shalen-Johannson. Sot W une surface compacte, à deux faces, proprement plongée dans une 3-varété M. On notera σ W (M) la 3-varété obtenue en décomposant M le long de W. Plus précsément, s T, T 2,...,T n sont les composantes connexes de W, on peut trouver des vosnages régulers des composantes, V (T ),..., V (T n ), deux à deux dsjonts, et σ W (M) est défn par : n σ W (M) = M nt(v (T )) La 3 varété σ W (M) est en général non connexe. S W, toutes les composantes connexes de σ W (M) sont à bord non vde. Nous pouvons dès-lors énoncer le théorème de décomposton des varétés Haken fermées (cf. [JS] corollare V.5..): Théorème 4. (Jaco-Shalen-Johannson). Sot M une 3 varété Haken -rréductble, fermée ou à bord torque. Il exste une surface compacte W proprement plongée dans M, ncompressble, à deux faces, unque à sotope ambante de M près, vérfant les proprétés suvantes : () Les composantes connexes de W sont des tores. () Chaque composante connexe de σ W (M) est sot un fbré de Sefert, sot atoroïdale. () W est mnmale pour l ncluson, dans la classe des surfaces vérfant () et (). Remarque : Avec le théorème d hyperbolsaton de Thurston (cf. [Th]), les composantes connexes de σ W (M) admettent sot une fbraton de Sefert, sot une structure hyperbolque de volume fn Décomposton d une 3 varété en pèces élémentares. Dans tout ce paragraphe, on note M une 3 varété vérfant les hypothèses du théorème 4.. On appelle décomposton de M, une surface W ncompressble, à deux faces, proprement plongée dans M, vérfant les condtons () et (), du théorème 4.. On appelle décomposton JSJ une décomposton de M mnmale au sens du théorème 4.. On dra que la décomposton est trvale s W =. Consdérons une décomposton W de M. Il exste une applcaton canonque, l applcaton d dentfcaton, r : σ W (M) M, qu est telle que r (W) consste en deux copes homéomorphes de W dans M, et que r restrente à r (M W) sot un homéomorphsme. Notons T,...,T,..., T k les composantes connexes de W. Pusque T est à deux faces, r (T ) consste en deux copes homéomorphes de T dans σ W (M) ; on les note arbtrarement T et T. Les restrctons de r à T et T sont des homéomorphsmes sur T. On défnt alors l homéomorphsme f : T T =, qu fat commuter le dagramme suvant : r T T T f T Id r T T

6 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 6 On appelera f, l homéomorphsme assocé à T, et de façon mons précse, un tel f, un homéomorphsme assocé à la décomposton. On note M,...,M p, les composantes connexes de σ W (M) ; on les appelle les pèces élémentares. Ans, M = ( M ) f,...,f p =...p 4.3. Graphe de groupe provenant de la décomposton JSJ. Sot M une 3 varété Haken, à bord torque non vde. Notons T,..., T q les composantes connexes de M. On appelle système pérphéral de π (M), la donnée pour tout =,...q, d un plongement p : Z Z π (M) ndut par l ncluson de T dans M (l est détermné par la donnée d une classe d homotope de chemn du pont de base de π (M) au pont de base de π (T )). On se donne une varété Haken M vérfant χ(m) = 0, et une décomposton W de M. On note T,... T q les composantes de W, M,...M p les pèces élémentares, et f,...,f q les homéomorphsmes assocés à la décomposton. On consdère auss un système pérphéral de π (M). On note pour =,...,q, le plongement de π (T ) dans π (M), p : Z Z π (M) et le plongement de π (T ) dans π (M), p : Z Z π (M) et l on note f l applcaton de p (Z Z) sur p (Z Z) ndute par f. On construt un graphe de groupe assocé à la décomposton W de M, de la façon suvante : Le graphe orenté X est défn par : S X = {S,..., S j,...s p } et A X = {a,..., a,... a q } avec l orgne de a, o(a ) = S r où T M r, et l extrémté de a, e(a ) = S t où T M t. Les groupes de sommets et les groupes d arête sont défns respectvement par : G Sj = π (M j ), j =,...,p et G a = Z Z, =,...,q et les monomorphsmes par φ a = p, et φ a = f a p. Alors, avec les notatons de la remarque 3 du théorème 3., G a = p (Z Z), G a = p (Z Z), et ϕ a = f a. On a ben construt un graphe de groupe, (G, X). Ce graphe dépend de W, et du chox d un système pérphéral. La classe d somorphsme de son groupe fondamental n en dépend pas. Le résultat suvant, s obtent par une sute d applcatons du théorème de Van-Kampen. Théorème 4.2. Sot M une varété Haken, et W une décomposton. Le groupe fondamental du graphe de groupe assocé (G, X), est somorphe au groupe fondamental de M. Exemple : Consdérons l entrelacs à 3 composantes, L de S 3 (fgure ). Consdérons tros tores Fgure. L entrelacs L de S 3 essentels T, T 2, et T 3 dans le complément de L, S 3 nt(n(l)), donnés fgure 2. En décomposant S 3 nt(n)(l) le long de T T 2 T 3, on obtent les varétés N, N 2, N 3, N 4 (ce sont des compléments d entrelacs dans S 3 ), ans que des homéomorphsmes f, f 2, f 3 assocés à la décomposton (fgure 3). Il est facle de vor que N est un fbré en cercle sur la sphère à 3 trous ; N 2 est un fbré de Sefert ayant pour base la sphère à 2 trous, et une fbre exceptonnelle d ndce 3 ; et N 3 et N 4 contennent tous deux un tore essentel. On note T 4 le tore essentel de N 3 (fgure 4), et on décompose N 3 le long de T 4. Notons auss T 5 le tore essentel de N 4 (fgure 5), et décomposons N 4 le long de T 5. Notons M = N, M 2 = N 2, M 3, M 4 les pèces obtenues en décomposant N 3 le long de T 4 (où M 4 est le trèfle), et M 5, M 6 les pèces obtenues en décomposant N 4 le long de T 5 (où M 6 est le noeud de hut). Les pèces M 3 et M 5 sont homéomorphes au S -fbré trval

7 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 7 Fgure 2. Les tores essentels T, T 2, et T 3 de S 3 nt(n(l)) Fgure 3. Les pèces élémentares N, N 2, N 3, N 4, et les homéomorphsmes f, f 2, f 3 assocés à la décomposton Fgure 4. Le tore essentel T 4 de M 2 (à gauche), et les deux pèces obtenues en décomposant M 2 le long de T 4 (à drote) Fgure 5. Le tore essentel de M 3 (à gauche) et les deux pèces obtenues en décomposant le long de T 5 ayant pour base la sphère à tros trous. De plus le complément du trèfle est un fbré de Sefert, et le noeud de hut est connu pour avor un complément hyperbolque (de volume fn). Ans, la surface W = T T 2 T 3 T 4 T 5 est une décomposton du complément de l entrelacs L. En

8 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 8 utlsant la classfcaton des compléments d entrelacs admettant une fbraton de Sefert ([BM]), on vérfe mmédatement que W est mnmale. Il est facle de se donner des homéomorphsmes f, f 2, f 3, f 4, et f 5 assocés à la décomposton (fgure 6). On peut remarquer, ben que cela sot Fgure 6. Décomposton de S 3 nt(n(l)) le long de W anecdotque, que M et M 3 sont homéomorphes, ben qu ls soent des compléments d entrelacs de types dstncts (comparer avec le théorème de Gordon-Luecke dans le cas d un noeud). On construt alors le graphe de groupe (G, X), en consdérant tout d abord le graphe orenté X (fgure 7). pus les groupes de sommets : Fgure 7. Le graphe orenté X G S = π (M ) = < x, y, z [x, y ] = [x, z ] = > = F 2 Z G S2 = π (M 2 ) = < x 2, y 2, z 2 x 3 2 = y2 2, [y 2, z 2 ] = > G S3 = π (M 3 ) = < x 3, y 3, z 3 [x 3, y 3 ] = [y 3, z 3 ] = > = F 2 Z G S4 = π (M 4 ) = < x 4, y 4 x 2 4 = y 3 4 > G S5 = π (M 5 ) = < x 5, y 5, z 5 [x 5, y 5 ] = [y 5, z 5 ] = > = F 2 Z G S6 = π (M 6 ) = < x 6, y 6 x 6 y6x 2 2 6y 6 x 6 y6 x 2 6 y 6 = > On chost alors un plongement des groupes des composantes T ± afn d obtenr les plongements des groupes d arêtes dans les groupes de sommet ; les somorphsmes ϕ aj pour toute arête a j sont alors détermnés par les classes d sotope des homéomorphsmes f j, pour j varant de jusqu à 5. Le calcul fournt :

9 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 9 G a = π (T ) = < x y, y > GS G S G a = π (T ) = < z 2, y 2 > GS2 G S2 ϕ a (x y ) = y 2 ϕ a (y ) = z 2 G a 2 = π (T 2 ) = < y z, x > GS G S G a 2 = π (T 2 ) = < x 3, y 3 > GS3 G S3 ϕ a2 (y z ) = y 3 ϕ a2 (x ) = x 3 G a 3 = π (T 3 ) = < z, x > GS G S G a 3 = π (T 3 ) = < x 5, y 5 > GS5 G S5 ϕ a3 (z ) = y 5 ϕ a3 (x ) = x 5 G a 4 = π (T 4 ) = < z 3, y 3 > GS3 G S3 G a 4 = π (T 4 ) = < x 4 y 4, x 2 4 > G S4 G S4 ϕ a4 (z 3 ) = x 2 4 ϕ a4 (y 3 ) = x 4 y 4 G a 5 = π (T 5 ) = < z 5, y 5 > GS5 G S5 G a 5 = π (T 5 ) = < x 6, l = x 6 y 6 x 6 y 6 x 6 y2 6 x2 6 y 6x 6 > GS6 G S6 ϕ a5 (z 5 ) = l ϕ a5 (y 5 ) = x 6 Cec nous sufft à défnr le graphe de groupe (G, X). Il dépend clarement d un chox des plongements des composantes au bord. Son groupe fondamental, cependant, n en dépend pas ; c est auss le groupe fondamental du complément de L dans S 3. Le théorème 3. fournt la présentaton : < x, y, z, x 2, y 2, z 2, x 3, y 3, z 3, x 4, y 4, x 5, y 5, z 5, x 6, y 6 [x, y ] = [x, z ] = [y 2, z 2 ] = [x 3, y 3 ] = [y 3, z 3 ] = [x 5, y 5 ] = [y 5, z 5 ] =, x 3 2 = y 2 2, x 2 4 = y 3 4, x 6 y 2 6x 2 6y 6 x 6 y 6 x 2 6 y 6 =, x y = y 2, y =z 2, y z = y 3, x = x 3, z = y 5, x =x 5, z 3 = x 4 y 4, y 3 = x 2 4, z 5 = x 6, y 5 = x 6 y 6 x 6 y 6 x 6 y2 6 x2 6 y 6x 6 > Comme nous l avons dt, M, M 2, M 3, M 4, M 5 sont des espaces fbrés de Sefert. Dans leur groupes fondamentaux respectfs, la classe d une fbre régulère est respectvement : x, y 2 2, y 3, x 2 4 et y 5 (ls engendrent le centre). Remarquons que les somorphsmes ϕ a assocés n envoent pas la classe d une fbre régulère, sur la classe d une fbre régulère, ce qu est en accord avec le fat déjà observé, que la décomposton W sot mnmale. 5. Extenson HNN et amalgame Nous donnons dans cette secton les théorèmes de conjugason et de commutatvté dans un amalgame ou une extenson HNN. Une preuve dans le cas d un amalgame peut se trouver dans [MKS]. Nous commençons par rappeler ces résultats dans le cas d un amalgame, pus démontrons les résultats smlares dans le cas d une extenson HNN.

10 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE Produt amalgamé. Nous consdérerons tout au long de ce paragraphe, un groupe Γ, produt amalgamé des groupes A et B le long du sous-groupe C. Conjugason dans un amalgame. Sot ω un élément de Γ, donné par une écrture sous forme rédute ω ω ω 2 ω n. On dra que ω est cyclquement rédut s ω et ω n sont dans des facteurs dfférents. Clarement cette défnton ne dépend pas du chox d une forme rédute de ω, ans on pourra parler d élément cyclquement rédut. De plus, l est clar que tous les conjugués cyclques ω r ω n ω ω r, d un élément cyclquement rédut, sont auss cyclquement réduts. Le résultat suvant consttue le théorème 4.6 de [MKS]. Théorème 5.. Sot Γ = A C B. Alors tout élément γ Γ est conjugué à un élément cyclquement rédut. De plus s γ est un élément cyclquement rédut, alors : () S γ est conjugué à un élément c C, par h Γ, de forme rédute h = h h 2... h n avec n 0, alors γ est dans un des facteurs, et l exste une sute fne (c 0, c,..., c n, γ), avec c 0 = c, et où = 0,...,n, c C, et h conjugue c en c (en posant c n = γ). () S γ est conjugué à un élément γ, qu est dans un des facteurs, mas n est pas conjugué à un élément de C, alors γ et γ sont dans un même facteur, et conjugués dans ce facteur. () S γ est conjugué à un élément cyclquement rédut, d écrture sous forme rédute p p 2 p r où r >, alors γ peut être obtenu en conjuguant un conjugué cyclque p p r p p de p p 2 p r par un élément de C. On obtent mmédatement le corollare suvant : Corollare 5. (Théorème de conjugason dans un amalgame). Soent γ et γ, deux élément de Γ = A C B, cyclquement réduts, conjugués par un élément h de Γ. Alors γ et γ ont même longueur, et de plus : () S γ est conjugué à un élément de C, alors γ et γ sont de longueur, et s h s écrt sous forme rédute h = h 0 h h n, l exste une sute fne c 0, c,..., c n d éléments de C, telle que, c 0 est conjugué à γ par h 0 dans un facteur, c n est conjugué à γ dans un facteur par h n, et = 0,...,n, c et c sont conjugués dans un facteur par h. () S γ est dans un des facteurs et n est pas conjugué à un élément de C, alors γ et γ sont dans le même facteur, et conjugués par h dans ce facteur. () S γ n est pas dans un des facteurs, alors γ s obtent en conjuguant un conjugué cyclque de γ par un élément de C. Commutatvté dans un amalgame. Le théorème qu sut, caractérse les éléments qu commutent dans un produt amalgamé. Ses partes ( ), () et () consttuent le théorème 4.5 de [MKS], auquel nous renvoyons le lecteur pour une preuve. Quant à la parte (), elle s obtent mmédatement en applquant le pont () du corollare 5.. Théorème 5.2 (Théorème de commutatvté dans un amalgame). Soent Γ = A C B, et deux éléments x et y de Γ qu commutent. Alors : () S x est dans C, et y s écrt sous forme rédute, y y 2 y n, alors l exste une sute fne d éléments (c 0, c,, c n ) de C, avec c 0 = c n = x, et = 0,...n, y conjugue c en c dans un des facteurs. ( ) x ou y est dans un conjugué de C. () S n x n y n est dans un conjugué de C, et x est dans le conjugué d un facteur, alors y est dans le même conjugué du même facteur. () S n x n y n est dans le conjugué d un facteur, alors x = ghg.w j, et y = gh g.w k, où g, W Γ, et h, h C, et ghg, gh g, et W, commutent deux à deux. Quant au centre d un amalgame l est caractérsé par le résultat suvant (cor.4.5, [MKS]) : Théorème 5.3 (Centre d un amalgame). Le centre d un amalgame Γ = A C B non trval (.e. A C, B C) est Z(G) = Z(A) Z(B).

11 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 5.2. Conjugason dans une extenson HNN. Sot le groupe Γ, extenson HNN de A le long de l somorphsme φ : C C. Sot ω un élément de Γ, qu s écrt sous forme rédute ω ω t ε t εn ω n. On dt que ω est cyclquement rédut s sot ω =, sot ω n =, et dans ce derner cas, sot ω = 2, (.e. w = w t ε ), sot ω > 2, et t εn ω t ε n est pas un pnch. Il est clar que cette condton ne dépend pas du chox d une forme normale rédute de ω. Auss on pourra parler d élément cyclquement rédut de Γ. Le théorème de conjugason que nous donnons n est qu une forme plus explcte du lemme de Collns (théorème 2.5, chap. IV [LS]) ; auss nous n en fournrons une preuve qu en appendce ( 7). Théorème 5.4. Sot Γ = A φ avec φ : C C ; alors tout élément γ Γ est conjugué à un élément cyclquement rédut. De plus s γ est cyclquement rédut, alors : () S γ est conjugué à un élément c C C par l élément h de forme rédute h = h t ε h 2 t εp h p, alors γ est dans A, et l exste une sute fne (c 0, c,, c 2p ) d éléments de C C, telle que c 2p = c, γ = h.c 0.h, et pour = 0,...,p, c 2 = h 2.c 22.h 2 c 2 = t ε ().c 2.t ε () () S γ est conjugué à un élément γ A, mas n est pas conjugué à un élément de C C, alors γ est dans A, et γ et γ sont conjugués dans A. () S γ est conjugué à un élément γ, cyclquement rédut, d écrture sous forme rédute, u t µ u m t µm avec m, alors γ peut-être obtenu en conjuguant un conjugué cyclque de γ, u r t µr u m t µm u t µ u r t µr par un élément de C µr. Et l on obtent alors mmédatement le corollare suvant : Corollare 5.2 (Théorème de conjugason dans une extenson HNN). Sot Γ = A φ avec φ : C C ; s γ et γ sont deux éléments cyclquement réduts de Γ conjugués par h Γ, alors γ et γ ont même longueur, et de plus : () S γ est conjugué à un élément c de C C, alors γ et γ sont dans A, et s h s écrt sous la forme rédute h = h t ε t εp h p, l exste une sute fne (c 0, c,...,c 2p ) d éléments de C C, telle que γ = h.c 0.h, et pour = 0,...,p, en posant c 2p = γ, c 2 = h 2.c 22.h 2 c 2 = t ε ().c 2.t ε () () S γ est dans A, mas n est pas conjugué à un élément de C C, alors γ est dans A et γ et γ sont conjugués par h dans A. () S γ n est pas dans A, γ = u t µ u m t µm, avec m alors γ s obtent en conjuguant un conjugué cyclque v r t µr v m t m v t v r t µr de γ par un élément α de C µm Commutatvté dans une extenson HNN. Le théorème suvant caractérse deux éléments qu commutent dans une extenson HNN. Théorème 5.5 (Théorème de commutatvté dans une extenson HNN). Soent Γ = A φ avec φ : C C, et x et y, deux éléments de G qu commutent. Alors : () S x C C, et y s écrt sous forme rédute, y = y t ε y 2 y n t εn y n, alors l exste une sute d éléments (c 0, c,, c 2n ) de C C où c 0 = c 2n = x, et c et c, sont conjugués, par y 2 s est par, et par avec j = ( tεj 2 ), s est mpar. ( ) x ou y est conjugué à un élément de C C. () S x est dans un conjugué de A et n est pas conjugué à un élément de C C, alors y est dans le même conjugué de A. () S n x n y n est dans un conjugué de A, alors x = gcg W j et y = gc g W k, où g, W Γ, c, c C (respectvement c, c C ), et gcg, gc g, et W commutent deux à deux. Démonstraton. Nous tratons séparément chacun des cas. Cas (). Il sufft d applquer le corollare 5.2, après avor remarqué que y conjugue x en x.

12 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 2 Cas ( ). Il n y a ren à prouver dans ce cas. Cas (). On suppose que x est dans A. On a encore x = y x y x = y t ε y 2 y n t εn y n x y n t εn y 2 t ε y qu est dans A, et donc le membre de drote n est pas rédut. Or pusque x n est pas conjugué à un élément de C C, t εn y n x yn ne peut pas être un pnch, et donc, pusque y est t εn rédut, la seule possblté est n = 0, c est à dre y A. S x est conjugué à un élément x 0 A, x = h x 0 h, alors h y h commute avec x 0, et est donc dans A. Pour achever la démonstraton, nous procédons par contradcton. Nous supposons qu l exste x, y Γ, qu commutent, et qu ne vérfent pas les conclusons de la proposton. Alors, avec tout ce qu précède, n x n y n est dans un conjugué de A. En partculer, x et y sont de longueur supéreure à. On consdère un élément x Γ, de longueur mnmale, pour lequel l exste y Γ, tel que x et y commutent et ne vérfent pas les conclusons de la proposton. On prend y de longueur mnmale dans l ensemble des éléments vérfant cette condton. On pose r = x, s = y ; x et y s écrvent sous forme rédute : x = x t ε x 2 x r t εr x r y = y t µ y 2 y s t µs y s Ben sûr, 0 < r s. Remarquons tout d abord, que t εr x r x t ε n est pas un pnch. En effet, dans le cas contrare, t εr x r x xr est de longueur strctement nféreure à x, et t t εr εr x r x x r et t εr t εr x r y x r commutent, et ne vérfent pas les conclusons de la proposton, ce qu est t εr contradctore, pusque l on a supposé, que x état de longueur mnmale. Mantenant, sot xy, sot xy est sous forme rédute de longueur rs. Dans le cas contrare, t εr x r y t µ et t ε x y t µ sont des pnchs. Alors, ε r = ε, et x r y, x y C εr, et donc : x r y = c x y où c C εr, et alors x r x = c et t εr x r x t ε est un pnch, ce qu est contradctore. Sans perte de généralté, on peut supposer que xy est sous forme rédute de longueur r s. Ans, xy = x t ε t εr x r y t µ t µs y s = yx ( ) = y t µ t µs y s x t ε t εr x r ( ) et ( ) et ( ) sont deux écrtures rédutes de xy = yx. Avec le lemme de Brtton, en supposant s r, t µq y q2 t µs y s = c t ε x 2 t εr x r où q = s r, et c C ε. Alors, yx = y t µ t µq y q c x est de longueur q = s r. Or, x et yx commutent, et donc pusque yx < y, avec le chox que nous avons fat de x et y, nécessarement x et yx vérfent les conclusons de la proposton. S yx est conjugué à un élément c C C, et donc, yx = gcg y = gcg x et pusque x = gg x, x et y vérfent (), ce qu est contradctore.

13 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 3 S yx est dans un conjugué de A, et n est pas conjugué à un élément de C C, avec (), x et y sont dans le même conjugué de A, et vérfent donc (), ce qu est contradctore. S yx = gcg W j, et x = gc g W k, vérfent la concluson (), alors y = yx x = gcg W j gc g W k = gcg gc g W j W k = gcc g W jk et pusque gcg, gc g, W commutent deux à deux, gc g, gcc g et W commutent deux à deux. De plus c, c sont dans C (respectvement C ), et donc cc est dans C (respectvement C ). Ans, x et y vérfent la concluson (), ce qu est contradctore. Il n exste donc pas d éléments x, y Γ, qu commutent et ne vérfent pas les conclusons de la proposton. Cec termne la démonstraton Centre d une extenson HNN. Le résultat suvant caractérse le centre d une extenson HNN : Théorème 5.6 (Centre d une extenson HNN). Sot Γ = A φ, avec φ : C C ; notons Fx φ le sous-groupe de C C consttué des pont fxes de φ, et Z(Γ) le centre de Γ. () S C ou C est un sous-groupe propre de A, alors Z(Γ) = Z(A) Fx φ. () S C = C = A et s φ est d ordre nfn dans Out(A), alors Z(Γ) = Z(A) Fx φ. () S C = C = A et s φ est d ordre n dans Out(A) alors sot a 0 Γ tel que pour tout a 0 A, φ n (a 0 ) = a 0 aa 0. Alors Z(Γ) = p Z tpn.(fx φ a p 0 Z(A)). Démonstraton. Remarquons au préalable que pusque Z(A) Fx φ est dans le centralsateur de la famlle génératrce A {t} de Γ on a dans tous les cas Z(A) Fx φ Z(Γ). Sot x Z(Γ) A ; nécessarement, d une part x Z(A), et d autre part t xt = x, et donc x = φ(x). Ans dans tous les cas Z(Γ) A = Z(A) Fx φ. Nous commençons par trater le cas () : C ou C est propre dans A. Pusque l somorphsme naturel entre A φ et A φ préserve A et que Fx φ = Fx φ on se restrendra sans perte de généralté au cas où C est propre dans A. Avec ce qu précède l nous sufft de montrer que Z(Γ) A. Sot x Z(Γ) ; ab absurdo supposons que x >. Remarquons tout d abord que pusque x est dans le centre de Γ, x égale tous ses conjugués cyclques. Ans d une part x admet une écrture cyclquement rédute : x = x t ε... x n t εn avec n, et d autre part tous les ε sont égaux. Consdérons y A \ C. S ε n =, alors xyx a une écrture rédute de longueur 2n, et est égal à y qu est de longueur ; cec est contradtore. S ε n = ε =, on applque le même rasonnement que c-dessus en consdérant au leu de x, x = x x t εn n... x 2, pour arrver encore à une contradcton ; cec montre que nécessarement t ε x A, ce qu achève la preuve du cas (). Nous tratons mantenant les deux derners cas ; remarquons que lorsque C = C = A, Γ est le produt sem-drect Γ = A φ Z, et que tout élément de Γ s écrt de façon unque t n a avec a A et n Z. S x = t n a Z(Γ), alors pour tout a A, at n a a = t n φ n (a)a a = t n a, et donc. Ans sot Z(Γ) A, sot φ est d ordre fn dans Out(A). En partculer dans le cas () on a la concluson souhatée. Il ne nous reste donc plus qu à montrer le cas (). Supposons que φ est d ordre n dans Out(A) et consdérons a 0 A tel que pour tout a A, φ n (a) = a 0 aa 0 ; φ n (a) = a aa

14 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 4 Soent p Z, α Z(A) tel que a p 0 α Fx φ, et x = tpn a p 0α ; sot y un élément quelconque de Γ, y = t r a avec y Z et a A. yxy = t r a.t pn a p 0 α.a t r = t pnr a p 0 aa p 0.ap 0 αa t r = t pnr a p 0 αt r = t pn a p 0 α = x Cec montre que p Z tpn.(fx φ a p 0Z(A)) Z(Γ). Récproquement soent m Z, a A et x = t m a Z(G). Alors d une part a A, φ m (a) = a aa ce qu mplque qu l exste p Z tel que m = np et a a p 0 Z(A). D autre part t xt = x montre que t m φ(a ) = t m a et donc que a Fx φ. Ans Z(Γ) p Z tpn.(fx φ a p 0Z(A)) ce qu achève la preuve de (). 6. Graphes de groupe Nous commençons par établr dans cette secton les théorèmes prncpaux caractérsant le centre, les éléments qu commutent et les éléments conjugués (théorèmes 6., 6.2 et 6.3) dans le groupe fondamental d un graphe de groupe. L approche employée est nductve. S (G, X) est un graphe de groupe, décomposer X le long d une de ses arêtes, décompose π (G, X) en extenson HNN ou en amalgame de groupes fondamentaux de sous-graphes(s) de groupe. Les théorèmes de la secton précédente servent alors à la fos de condtons ntales, et de condtons de récurrence. Nous établrons ensute dvers résultats. D abord nous montrons que pour un groupe quelconque G et une famlle fne quelconque de ses sous-groupes, le problème de conjugason dans G se rédut au problème de conjugason dans le double 2G de G le long de ces sous-groupes (théorème 6.4). Ensute nous donnons une condton combnatore suffsante pour que dans un groupe fondamental de graphe de groupe, les centralsateurs, le centre et la structure des racnes soent dans un sens trvaux (théorèmes 6.5, 6.6 et 6.7). 6.. Centre dans un graphe de groupe. Nous donnons d abord quelques défntons nécessares à l énoncé du théorème. Défnton 6.. Un graphe de groupe décomposé (G, X, T) est dt mnmal s pour toute arête T-séparante a, le sous-groupe d arête G a est un sous-groupe propre des sous-groupes de sommets G o(a) et G e(a) de π (G, X). Remarque : Donné un graphe de groupe décomposé qu n est pas mnmal on peut clarement en écrasant en des sommets les arêtes qu posent problème construre un graphe de groupe décomposé mnmal, sans en changer le groupe fondamental. Défnton 6.2. Sot un graphe de groupe décomposé (G, X, T) ; donnée une arête a non T- séparante, on note Fx a le sous-groupe de G a G a π (G, X) consttué des éléments fxés par l somorphsme ϕ a : G a G a. (Remarquons que clarement Fx a = Fx a). Nous pouvons dès-lors donner le théorème caractérsant le centre du groupe fondamental d un graphe de groupe. Théorème 6. (Centre dans un graphe de groupe). Soent (G, X, T) un graphe de groupe décomposé mnmal et Γ son groupe fondamental. Sot X a un unque sommet et une unque arête non-orentée (dans ce cas la concluson est donnée par le théorème 5.6), sot : Z(Γ) = ( Z(G s )) ( Fx a) s S X a A X\T Démonstraton. Nous procédons par nducton sur le nombre d arêtes non T-séparantes. S X n a pas d arête non T-séparante (.e. X = T), alors avec le théorème 5.3, Z(G) = s S X Z(G s ). Supposons mantenant que X contenne au mons une arête non T-séparante a, et consdérons le

15 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 5 sous-graphe de groupe décomposé (G, X, T) où X est obtenu à partr de X en supprmant l arête a. Alors Γ est l extenson HNN de base Γ 0 = π (G, X ) le long de l somorphsme ϕ a : G a G a. S X n a pas un unque sommet et une unque arête non-orentée, alors avec l hypothèse de mnmalté G a est un sous-groupe propre de Γ 0, ans le théorème 5.6 () s applque pour montrer que Z(Γ) = Z(Γ 0 ) Fx a, ce qu achève l nducton Trajets et crcuts. Nous ntrodusons dans cette secton le matérel combnatore qu nous sera utle dans la sute. Défnton 6.3. Sot (G, X, T) un graphe de groupe décomposé. Soent s o et s e des sommets de X, et les éléments u G so, v G se de π (G, X). Un trajet de u à v, d orgne s o et d extrémté s e, est la donnée de : a) Un chemn de X, d orgne s o et d extrémté s e, (a, a 2,...,a n ) avec n 0 (s n = 0 le chemn est rédut à s 0 ). On note s 0 = s o, s n = s e, et s n 2, pour tout =,...,n, s = e(a ). b) Une sute (c, c, c 2, c 2,..., c n, c n ) avec =,...,n, c G a, c G a, et c = ϕ a (c ). c) Une sute (h 0, h,... h n ) avec sot n = 0 et u = h 0 vh 0 dans G s0 ; sot = 0,...,n, h G s, et u = h 0 c h 0 dans G s0 c n = h n vh n dans G sn et s n 2, =,...,n, c = h c h dans G s On symbolsera la donnée d un tel trajet, par la notaton suvante : u h 0 c a c h c 2 a 2 a c c a a n c n h S n = 0, on parlera du trajet trval, que l on notera : S h G s est l élément neutre, on notera au leu de Défnton 6.4. S le trajet C est donné par : u h 0 c a c h c 2 u h 0 v c = c c c a 2 a c c a a n c n h h n c n h n c n a n c n h n v a n c n h n v on appelle label du trajet C, l élément h π (G, X), que l on notera label(c), défn par label(c) = h 0 t a h t a2 t an h n = h pour la présentaton donnée par le théorème 3. (rappelons que s a est une arête T-séparante, t a = t a = ). Il est clar, qu alors u = hvh dans π (G, X)

16 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 6 Défnton 6.5. Un crcut en u d orgne s o, est un trajet pour lequel s o = s e, de u à u. S h est l élément assocé à un crcut en u, alors [u, h] = dans π (G, X) Un crcut trval en u est un crcut de la forme : u h 0 u Défnton 6.6. Consdérons un trajet T de u à v, d orgne s et d extrémté s 2. u h 0 c Notons T le trajet ans défn : v c n h n a a c c a a n c n v h h n a n a c c h a a c u h 0 C est un trajet de v à u, d orgne s 2 et d extrémté s. S h est le label de T, alors T a pour label h. On dra que le trajet T est l nverse de T. Consdérons un trajet T 2 d orgne s 2 et d extrémté s 3, de v à w : v k 0 d b b j d j d b j b j m d m w k j k m Sous ces hypothèses, on défnt le produt de T et T 2, noté T T 2, par u h 0 c a a a n c n h nk 0 d b b j b m d m w k m C est un trajet de u à w, d orgne s et d extrémté s 3. S h 2 est le label de T 2, alors le label de T T 2 est le produt h h 2. Il est facle de vérfer que lorsqu l est défn, ce produt est assocatf. Défnton 6.7. Consdérons un élément non trval u dans un sous-groupe de sommet G s, et notons C(u, s) l ensemble des labels des crcuts en u d orgne s. Remarquons que le produt de deux crcuts en u d orgne s est toujours défn, et que le produt et l nverse de deux crcuts en u d orgne s, est encore un crcut en u d orgne s. Ans C(u, s) mun de l opératon de π (G, X), forme un sous-groupe de π (G, X). Les premères propostons que nous démontrons, ont pour but de ne plus avor à parler de l orgne et de l extrémté d un trajet. Proposton 6.. Sot (G, X, T) un graphe de groupe décomposé. Soent s, s 2 deux sommets dstncts de X, et u un élément de π (G, X). Alors u G s G s2, s et seulement s l exste un trajet dans π (G, X), de u à u, d orgne s, et d extrémté s 2, de la forme u = c a a c = c a a n c n = u avec pour tout =,...,n, a A(T) (et donc le label de ce trajet est l élément neutre). Démonstraton. La récproque étant trvale, nous démontrons l mplcaton drecte. Remarquons qu un trajet dans un sous-graphe de groupe de (G, X) est auss naturellement un trajet de (G, X), ayant même label. Ans, pusque G s, G s2 π (G, T) π (G, X), l est suffsant de montrer la proprété dans le sous-graphe (G, T) de (G, X), mun de la décomposton ndute. Consdérons dans T l unque chemn rédut (a,...,a n ) d orgne s et d extrémté s 2, et notons C le sous-graphe orenté de T d arêtes a,...,a n. Comme précédemment, π (G, C) content G s et G s2, et se plonge naturellement dans π (G, T), auss on travalle dans (G, C). Sot u G s G s2. Décomposons C le long de a. Notons C le sous-graphe ayant pour arêtes a 2,..., a n, alors π (G, C) est l amalgame de G s et de π (G, C ) le long de ϕ a. Alors u G s π (G, C ), et donc u G a G s et u G a G e(a) π (G, C ), ce qu fournt le trajet en u, d orgne s et d extrémté e(a ) u = u a u = u

17 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 7 Mantenant, dans π (G, C ), u G e(a) G s2. On procède au même rasonnement dans π (G, C ), et ans de sute. Le trajet produt des trajets successvement détermnés, est le trajet souhaté. On obtent mmédatement le corollare suvant : Corollare 6.. Sot (G, X, T) un graphe de groupe décomposé. Soent s, s 2, s 3, s 4 des sommets de X, et des éléments u, v π (G, X), tels que u G s G s2, et v G s3 G s4. Alors l exste un trajet de u à v d orgne s et d extrémté s 3, s et seulement s l exste un trajet de u à v, d orgne s 2 et d extrémté s 4 ; de plus, ls ont même label. Défnton 6.8. Ans C(u, s) ne dépend pas du chox de s, et on le notera C(u). De même on parlera de trajet de u à v, et de crcut en u. Le résultat qu sut, motve l ntroducton des notons de crcuts et de trajets. C est le résultat fondamental de cette secton. Proposton 6.2 (Théorème fondamental des trajets). Sot (G, X, T) un graphe de groupe décomposé. Soent les éléments u, v de π (G, X) dans les sous-groupes de sommet respectfs G s, G s2. Alors u = hvh dans π (G, X), s et seulement s l exste un trajet de u à v ayant pour label h. Démonstraton. Nous avons déjà vu (défnton 6.4), que s l exste un trajet de u à v ayant pour label h alors u = hvh ; montrons la récproque. Soent donc, u G s, et v G s2 tels que u = hvh dans π (G, X). Sot l arête a A X ; on décompose (G, X) le long de a afn d obtenr le sous-graphe (G, X ). S a est non T-séparante, π (G, X) est l extenson HNN de π (G, X ) le long de ϕ a : G a G a. Les éléments u et v sont dans π (G, X ), et on peut donc les supposer cyclquement réduts de longueur. Pusque u = hvh dans π (G, X), avec le corollare 5.2, sot h conjugue v en u dans π (G, X ), sot h s écrt sous forme rédute h = h t ε a tεp a h p, et l exste une sute fne γ,..., γ m de G a G a, avec m = 2p pour p N, vérfant les condtons : et pour tout = 2,...,p, u = h γ h γ m = h p vh p dans π (G, X ) γ 2 = ϕ ε a (γ ) γ 2 = h γ 2( ) h dans π (G, X ) γ 2 = ϕ ε a (γ 2 ) ε = ± Dans ce cas, on symbolse ces condtons par la notaton suvante, que l on nomme un pré-trajet de u à v, ε u γ a ε γ 2 γ 3 2a εpa γ m v h h2 hp avec a qu dénote a, et a qu dénote a. L élément h t ε a tεp a h p de π (G, X) est appelé label du pré-trajet. Il faut remarquer qu avec cette notaton, γ a γ, mplque que γ G a et γ G a. Dans le cas où h est de longueur, on consdère le pré-trajet de u à v : u h v S a est T-séparante, π (G, X) est l amalgame des facteurs π (G, X ) et π (G, X 2 ) le long de ϕ a : G a G a. Avec le corollare 5., sot h conjugue v en u dans un des facteurs, sot h s écrt sous forme rédute h = h h m, et l exste une sute γ,...,γ m de G a G a, où deux éléments successfs de u, γ,... γ m, v sont conjugués dans un facteur, et deux couples successfs d éléments conjugués sont dans des facteurs dstncts. De plus, on a les m 2 égaltés suvantes, γ m = h p vh p u = h γ h =,..., m, γ = h γ h

18 CENTRE, COMMUTATIVITÉ ET CONJUGAISON DANS UN GRAPHE DE GROUPE 8 chacune dans un facteur π (G, X ) ou π (G, X 2 ). Pusque a est T-séparante, s o(a) et dans X, alors e(a) est dans X 2 et nversement. Supposons par exemple, que o(a) X. On se donne deux couples successfs, γ, γ conjugués par h dans un facteur, et γ, γ conjugués par h dans l autre facteur. Supposons que γ, γ, h soent dans π (G, X ). On note alors a γ γ γ γ h h Il faut remarquer que l on a ben γ G a = G a et γ = ϕ a (γ ). Dans l autre cas, on note a γ γ γ γ h h et l on a γ G a = G a et γ = ϕ a (γ ). On symbolse ans ces condtons par la notaton que l on baptse encore de pré-trajet de u à v, u h γ εa γ h2 γ 2 εa ε( )m a γ m hm v de label h = h h m. S h est de longueur, on a le pré-trajet trval : u h v Revenons à la démonstraton de la proposton ; on procède par nducton en décomposant successvement X le long de ses arêtes. Après avor décomposé X le long de a, on obtent l un des pré-trajets précédents, que l on note D ; l est sot trval, sot de la forme suvante : γ 0 h 0 γ a a γ γ a a m γ m γm h hm La notaton γ γ mplque la condton γ = h γ h dans un des facteurs π (G, X ) ou π (G, X 2 ), et de plus, γ, γ sont dans des groupes de sommet. On peut dès-lors leur applquer le même procédé dans π (G, X ) (ou π (G, X 2 )), en décomposant X (ou X 2 ) le long d une arête. On obtent comme précédemment un pré-trajet E de γ à γ, de label h. On construt alors un pré-trajet D 2 de u à v en substtuant dans D pour tout = 0,...,m, γ γ par le pré-trajet E. Il est mportant de remarquer que D et D 2 ont même label h. On procède de la même façon lorsque D est trval. En répétant ce procédé, on fnt par obtenr le pré-trajet C, de label h, u k0 d α α d d α α q d q v k hq vérfant en outre la condton que les égaltés u = h d h, d = h d h et d q = h qvhq, ont leu dans des sous-groupes de sommet. On a ans réun toutes les condtons pour avor un trajet de u à v, à l excepton d une : que (α,... α q ) sot un chemn de X. A pror ren n assure que ce sot le cas, et une manpulaton smple montre qu l est en effet facle d avor e(α ) o(α ). Néanmons, d G α G e(α), d G α G o(α), et d, d sont dans un même groupe de sommet G s. Avec la proposton 6., on peut construre un trajet C, de label, de d à d, d orgne e(α ) et d extrémté s. de même on construt un trajet C de d à d d orgne s et d extrémté o(α ). On substtue alors dans C, par C α d d α k α d = d β β r d d δ δ s d }{{} = d α k }{{} Cette opératon n a pas modfé le label du pré-trajet, et cette fos-c, (α, β,..., β r, δ,...δ s, α ) est un chemn. On procède ans pour tout =,...,q, pour peu que ce sot nécessare. On peut alors changer la notaton par, car le pré-trajet obtenu, est un trajet de u à v dans π (G, X), ayant pour label h, ce qu conclut la preuve. On obtent mmédatement : C