Algebres de Lie Libres Et Monoides Libres

Lecture Notes in
Mathematics
Edited by A. Dold and B. Eckmann
691
Gerard Viennot
Algebres de Lie Libres

et Mondldes Libres
Bases des Algebres de Lie Libres
et Factorisations des Monoldes Libres
Springer-Verlag
Berlin Heidelberg New York 1978
www.bibliomath.com
Author
G6rard Viennot
ENS - Centre de Mathematiques
45, rue d'UIm
F-75005 Paris
Library of Congress Cataloging in Publication Data
Viennot, Gerard, 19~5Bases des algebres de Lie libres et factorisations

des mono~des libres.
(Lecture notes in mathematics ; 691)
Bibliography: p.
Includes indexes.
1. Lie algebras. 2. Monoids. I. Title.
II. Series: Lecture notes in mathematics (Berlin) ; 691.
QA3.L28 no. 691 rQA252.3~ 510'.8s r512'.55j 78-23919
AMS Su bject Classifications (1970): 05-00, 08 A10,16 A 68,17-04,17 B 99,

20E15, 20F35, 20F40, 20M05, 68A25, 94A10
ISBN 3-540-09090-8 Springer-Verlag Berlin Heidelberg NewYork
ISBN 0 - 3 8 ? - 0 9 0 9 0 - 8 Springer-Verlag NewYork Heidelberg Berlin
This work is subject to copyright. All rights are reserved, whether the whole
or part of the material is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying
machine or similar means, and storage in data banks. Under 54 of the
German Copyright Law where copies are made for other than private use,
a fee is payable to the publisher, the amount of the fee to be determined by
agreement with the publisher.
by Springer-Verlag Berlin Heidelberg 1978
Printed in Germany
Printing and binding: Beltz Offsetdruck, Hemsbach/Bergstr.
2141/3140-543210
www.bibliomath.com
TABLE
Introduction
Chapitre
MATIERES
..............................................
I.
Bases
des
I.
2.
3.
Notations
4.
Autres
5.
Bases
II.
al~bres
de Lie
et bases
usuelles
Factorisations
Ensembles
aux
Chapitre
DES
de L a z a r d
de Hall
et
de H a l l
des
Construction
2.
Bissections
et b a s c u l e s
3.
Bascules
alg~bres
Chapitre
III.
Factorisation
basiques
I.
2.
mono~des
r~guli~res
Ensembles
de Hall
...............
62
libres
libres
de L i e
des
basiques
49
....................
de L i e
Factorisations
factorisations
Bibliographie
des
al~bres
mon~ides
.........
et
libres
libres
gauches
et
familles
.........
terminolo@ique
Index
des
notations
98
des
..........
.............................................
Index
94
et
caract~risations
gauches
73
79
......
..........................
r~guli~res
35
.........
libres
bissections
Factorisations
familles
3.
des
24
associ~es
r~guli~res
1.
et
bases
......................
monoides
des
9
18
des
factorisations
Bissections
................
...................
..........................
caract~risations
ensembles
libres
105
113
......................................
117
.......................................
122
www.bibliomath.com
IN T I ~ O D U C T I O N
Le but du pr4sent travail est de proposer une th4orie unifi6e du calcul des
commutateurs
basiques ou d'une m a n i ~ r e
4quivalente, des bases et familles basi-
ques des alg~bres de Lie fibres.
L1int~r~t port~ aux alg~bres de Lie libres vient essentiellement des applications importantes dans la th~orie que l'on appelle aujourdlhui "th~orie combinatoire
des groupes"
[MKS,
66]. L'origine e n e s t le travail de P. Hall
l'~tude de certains p-groupes.
33]
sur
Ii n'est pas question i~ d'alg~bre de Lie, m a i s de
calculs profonds sur les c o m m u t a t e u r s
it~r~s et la suite centrale descendante
du groupe libre. Les travaux f o n d a m e n t a u x de M a g n u s

Witt [Wi,
[HAP,
[Ma,
35] ~Ma,
37]
(F)
n
et
37] "lin~arisent" ces calculs en introduisant une structure plus fiche que
celle de groupe fibre : celle d'alg~bre de Lie libre. C'est i~ que M a g n u s d4finit
l'alg~bre de Lie libre
L(X)
confine sous-alg~bre de l'alg~bre
formelles en variables non cornmutatives

rant par Hausdorff.
sur l'anneau
II m o n t r e que la filtration naturelle de
d~croissante de sous-groupes du groupe libre

centrale descendante.
F(X)
IK<X>
des s~ries
~K , introduite aupara]K<X>
d6.finit une suite
qui est pr~cis~ment la suite
Witt compl~te ces r~sultats et donne la d i m e n s i o n des corn-
www.bibliomath.com
posantes h o m o g & n e s
de degr6
sont ~ la base de n o m b r e u x
n de
L(X)
(ou "formules de Witt"). C e s travaux
autres sur la correspondance entre groupes et alg~bres
de Lie. Citons seulement celui de M.
Lazard
lea, 54]
et les applications impor-
tantes dans l'approche du c4l~bre p r o b l & m e de Burnside pour les groupes.
U n autre t h 6 o r ~ m e important dans la correspondance

bresde Lie est la "formule de Hausdorff",
non commutatives)
ez = e x ey
d4finie par
6l~ments h o m o g ~ n e s )
affirmant que la s6rie

est une s o m m e
Campbell,
(en variables
infinie d'alternants (ou
de l'alg~bre de Lie libre engendr6e par
m u l e est jalonn4e des n o m s de Poincar6,
entre groupes et alg~-
Pascal,
et y . Cette for-
Baker et c'est H a u s -
dorff qui le p r e m i e r prouvera de m a n i ~ r e pr4cise la "formule" en se plagant dans

llalg&bre des s6ries en variables non commutatives,
Magnus
[Hau,
qui sera reprise plus tard par
061 . Zes coefficients de cette s6rie ont 4t4 a b o n d a m m e n t
6tudi6s
depuis. U n calcul ou une expression de ceux-ci d6pend de la base de l'alg~bre de

Lie fibre utilis4e et m e t en 6vidence l'int4rat de trouver de "bonnes" bases. O n
verra par e x e m p l e les calculs sur ordinateurs de Michel jusqu'au degr4 ll, et dans
certains cas au degr~ 30
[Mi, 74] [Mi,
76] U n autre e x e m p l e d~appli-
cations pratiques est celui de la r~solution d'4quations diff~rentielles,
par e x e m p l e
la solution exponentielle de l'~quation diff~rentielle lin~aire dans une alg~bre de

Banach
[Ma,
55] [Mi, 74]
ou certaines ~quations de la th$orie quantique des
champs.
L a d4termination d'une base de l'alg~bre de Lie libre ne semble a p p a r a ~ r e

pour la p r e m i e r e lois que dans l'article de M .
Hall [ H A M ,
50], et est connue sous
le nora de "base de Hall". Toutefois cette base est implicitement connue dans les
travaux de P. Hall et M a g n u s
cit4s ci-dessus.
appelle le "collecting process",
Notamment
c'est-&-dire un proc4d4 de calcul permettant d'4cri-
re de m a n i ~ r e unique tout m o t du groupe libre c o m m e

teurs, m o d u l o le n
i~me
P. Hall d~finit ce qu'il
produit de certains comrnuta-
groupe de la s4rie centrale descendante.
Les c o m m u t a t e u r s
apparaissant dans ce proc~d~ sont totalement ordonn~s et sont appel~es c o m m u t a t e u r s

basiques.
Si l'on r e m p l a c e les parentheses d~finissant l'it~ration des c o m m u t a t e u r s
www.bibliomath.com
p a r d e s c r o c h e t s de Lie,
on o b t i e n t a l o r s l a b a s e de H a l l . D i v e r s e s
d e s b a s e s ou c o m m u t a t e u r s
[MW,
g4n4ralisations
b a s i q u e s d e H a l l o n t 4t4 p r o p o s ~ e s p a r M e i e r - W u n d e r l i
V V
521, S c h ~ i t z e n b e r g e r [ S c , 583, S i r s o v [ S i , 6 2 ] , G o r c h a k o v [ G o , 6 9 ] ,
[Wa, 69~. Un a u t r e p r o c 6 d 4 p o u r
graphiques
standards
Ward
trouver une base est li4e ~ la notion de roots lexico-
: ce sont lea c o m m u t a t e u r s
b a s i q u e s d e C h e n , F o x et L y n d o n
[ C F L , 58~ d o n t l a b a s e a s s o c i 4 e e s t d 4 f i n i e s o u s u n e a u t r e f o r m e 4 q u i v a l e n t e p a r
V V
S i r s o v [ S i , 5 8 ] . L e p r e m i e r b u t d e n o t r e t r a v a i l e s t de d o n n e r u n e e x p o s i t i o n
commune ~ routes ces diff4rentes constructions
Par
s o u c i de s i m p l i c i t 4 ,
laisserons
n o u s ne p a r l e r o n s
de c8t6 la traduction en termes
ting process"
de b a s e s d l a l g ~ b r e s d e L i e l i b r e s .
queen t e r m e s
dWalg~bres de Lie et
de " c o m m u t a t e u r s
basiques"
et "collec-
g4n4ralis6.
Cette 4rude se r a m ~ n e
~ celle de certaines familles de roots du monoi'de
fibre, jouissant dlune propri4t4 d'unique factorisabilit4, et introduites par Sch{Itzenb e r g e r [Sc, 65~ sousle nora de factorisations du monoille fibre.
Ii est ainsi s u r p r e -
nant qu'une structure aussi p a u v r e que le m o n o r d e libre a p p a r a i s s e c o m m e
fonda-
m e n t a l e p o u r l'4tude des alg~bres de Lie libres.
U n e factorisation du m o n o ~ d e
laquelle les
sont des parties de
libre
X ~'' est une famille
X "~ et J un e n s e m b l e
~ =
(yj,
J E J) dans
totalement o r d o n -
J
n4, et telle que tout m o t
f s'4crive de m a n i ~ r e unique
f = fl "'" f
avec p k i ,
P
principal de ce travail est que p o u r de
fi E Y
et Jl > "'" > Jp " L e t h 4 o r ~ m e

Ji
" b o n n e s " factorisations on peut, par u n " c r o c h e t a g e " des roots de
, construire
3
un e n s e m b l e
en bijection avec
'
le basique p o u r la s o u s - a l g ~ b r e de Lie libre qu'il engendre.
L(X)
[Yj3
d'alternants de
est, en rant que m o d u l e ,
L(X)
isomorphe
~ la s o m m e
et qui est une famil3
D e plus l'alg~bre de Lie
directe
G L([Yj3) . L o r s q u e
J
est une factorisation compl~te,
c'est-~-dire lorsque c h a q u e e n s e m b l e
est
3
r4duit ~ u n seul 414ment,
Notre
le th~or~me
d~marche
fondamental
on obtient ainsi une base de
comprend
dans
trois
le cas des
~tapes.
L(X).
La premiere
bissections,
consiste
ctest--dire
www.bibliomath.com
~ prouver
des factorisations
pour lequelles
J n'a que d e u x @l@ments.
les diff@rentes caract@risations c o m m o d e s
L a deuxi~rne est la dSfinition, l'@tude et

d'une classe de "bonnes" factorisations.
Cette classe est s u f f i s a m m e n t vaste pour p e r m e t t r e de retrouver, dans le cas des

factorisations compl~tes,
routes les bases connues des alg~bres de Lie libres. L a
troisi~me 4tape est la caract@risation et la preuve de l'Squivalence des diff@rents

"crochetages" possibles des roots dtune factorisation. Z e s deux derni~res 4tapes
ne font appel qu'~ des manipulations de roots du m o n o ~ d e fibre et il n'est plus question l& d'alg~bre de Lie. P a r souci pTdagogique, nous avons d'abord fair route la
thTorie dans le cas des factorisations compl~tes. C'est l'objet du chapitre I.
N o u s rappelons au p a r a g r a p h e 1 les notations usuelles ainsi que les d@finitions des diff@rentes bases connues. L a p r e m i e r e @tape de notre d @ m a r c h e
se r@-
duit ici ~ un cas trivial de bissections et le t h @ o r ~ m e fondamental devient alors le

th@or~rne d'@limination de L a z a r d [La, 60] [Bo, 7Z]. N o u s en redonnons la preuve
au p a r a g r a p h e Z , N o u s s o r n m e s conduit ~ introduire directement la notion assez
technique de factorisation de Lazard.
L'avantage est de pouvoir v@rifier facilement
le t h @ o r ~ m e fondamental pour cette classe de factorisations. Le p a r a g r a p h e 3 introduit une g@n@ralisation des " e n s e m b l e s de Hall" tels qu'ils sont d@finis par le
"collecting p r o c e s s " de Hall. N o u s m o n t r o n s que la condition ainsi introduite est une
condition n@cessaire et suffisante pour que le p r o c @ d @ donne naissance ~ des bases.
V V
Cette condition @tait d@j~ connue de Sirsov [Si, 62]
et a @t@ retrouv@e i n d @ p e n d e m -
m e n t de nous par Michel [Mi, 74] . N o u s m o n t r o n s enfin dans ce m ~ m e
paragraphe
11@quivalence des e n s e m b l e s de Hall introduits avec les factorisations de Lazard.

L e s p r o c S d @ s de dTfinition des bases associ@es aux factorisations de L a z a r d @tant
assez compliqu@s,
nous p r o p o s o n s au p a r a g r a p h e
des crit~res simples et c o m m o -
des pour retrouver ces factorisations de Lazard, ainsi que le "crochetage" associ@
des roots. E n particulier nous retrouvons les bases de Chen, Fox,
[CFL,
Lyndon
V V
58] et de Sirsov [Si, 58] et prouvons leur @quivalence. E n fair la factorisa-
tion associ@e ~ cette base peut ~tre consid@r@e aussi c o m m e
une factorisation de
L a z a r d dans l'autre sens. LI@tude de telles factorisations, que nous appelons

rT~uli~res, constitue le p a r a g r a p h e 5. C e s factorisations, ainsi que les bases
www.bibliomath.com
associ4es, ont des propri4t4s rernarquables. E n particulier, elles sont tr~s cornm o d e s pour les calculs sur ordinateur. P a r exernple, on verra les calculs de
Michel sur la s4rie de Hausdorff et le p r o b l ~ m e restreint de Burnside
EMi, 7 6 ] .
L e reste de ce travail est la g4n4ralisation du chapitre I pour les factorisations non n4cessairernent cornpl~tes. Z e s deuxi~rne et troisi~rne 4tapes rnentionn~es
ci-dessus se r4p~tent ~ peu pros cornrne au chapitre I . L ~ aussi on peut introduire
les factorisations de Lazard,les e n s e m b l e s de Hall et les factorisations r4guli~res.
CWest l~objet du chapitre Ill. N o u s ornettons les d4rnonstrations qui ont leurs analogues au chapitre I . L a g4n~ralisation correspond au passage entre les bissections
triviales et les bissections g4n4rales. P a r contre, la p r e m i e r e 4tape, qui est la
g4n4ralisation du th4or~rne d'41irnination de L a z a r d pour les bissections n~cessite
tout le chapitre If. P o u r ceci nous sornrnes conduits ~ introduire de n o u v e a u x
objets : les bascules. L e s bissections apparaissent cornrne les objets libres de la
cat6gorie des bascules. A route bascule est associ4e une alg~bre de Lie, qui devient fibre lorsque la bascule s'identifie ~ une bissection. L o r s q u e la bascule ne
"bascule" pas, on retrouve le produit serni-direct dralg~bres de Lie et les bissections triviales. L e p a r a g r a p h e 1 donne une construction fondarnentale des bissections, particuli~rement c o m m o d e
pour d4finir le "crochetage" des rnots. Cette
construction sirnplifie une construction ant4rieure de Sch~tzenberger ESc, 65].

L e p a r a g r a p h e 2 expose les pr41irninaires n4cessaires sur les bascules. Enfln le
p a r a g r a p h e 3 prouve le th4or~rne fondarnental pour les bissections. Notons que le
th4or~rne a aussi un analogue dans lWalg~bre enveloppante, ce qui constitue une
extension du th4or~rne de Poincar~-Birkhoff-Witt dans le cas des alg~bres de Lie
fibres.
S'il n'existe pas de bases canoniques de

d~cornpositions canoniques en s o m m e
exernple pour
X = [x, y}
et pour
p/q
L(X), il existe par contre des
directe de sous-alg~bres de Lie fibres. P a r

rationnel irr~ductible, soit Lp, q l'alg~bre
de Lie forrn~e des sornrnes dlalternants de bidegr~ rnp en
www.bibliomath.com
x , rnq en y
avec
rn ~ 1 U n e application de nos rn6thodes est d'exhiber (au p a r a g r a p h e

III) une famille basique de
du plan
3 du chapitre
, qui est en bijection avec les "chernins m i n i r n a u x "

P,q
IN X IN situ6sstricternent (sauf a u x extr6rnit6s) sous la droite de pente
q/p . L a d6cornposition de
c o r r e s p o n d en fair ~ celle relatiP,q

ve ~ une factorisation dite de Spitzer, introduite en th6orie des fluctuations de sornrues de variables al6atoires
L(X)
selon les
[Sp, 56] [Sc, 65] . D a n s le cas de d e u x lettres, il
nty a dlail]eurs qu'une seule factorisation de Spitzer n o n triviale (~ un i s o m o r p h i s me
pros).
L a d6cornposifion de
selon les
d o n n e naissance ~ des alterP,q

nants et F o a t a avait conjectur6 q u q l s forrnent u n e base. L e s chapitres II et IIl
perrnettent d o n c de d6rnontrer cette conjecture. N o u s appelons cette base, la b a s e
de Spitzer-Foata et nous l'introduisons d~s la fin du p a r a g r a p h e
5, chapitre I.
Ainsi nous voudrions que ce travail soit une illustration de certaines id6es
de S c h ~ t z e n b e r g e r
rnenant ~ p e n s e r que certains p h 6 n o r n ~ n e s ou identit4s r e r n a r q u a -
bles apparaissant dans des structures alg6briques ou cornbinatoires sont le reflet

de propri4t6s naturelles des rnots d u rnonoZde libre, et qu'il n'est donc pas sans
int6r~t de d ~ v e l o p p e r route une 6tude alg~brique et cornbinatoire de ces rnots.
D'ailleurs les factorisations introduites d a n s ce travail sont des objets li6s

g d'autres th6ories compl~ternent 6trang~res aux alg~bres de Lie. P a r exernple,
il est touchant d ' o b s e r v e r que les factorisations de L a z a r d li6es a u x b a s e s classiques de Hall se retrouvent d6finies g des fins statistiques d a n s un article de G o o d
[Go,
71] ou e n c o r e en th6orie des c o d e s dans
[Sh, 68]. L g Scholtz d o n n e une c o n s -
truction de c o d e s "cornr~a-free" rnaxirnaux dont le cardinal est e x a c t e m e n t la dim e n s i o n de la cornposante hornog~ne de d e g r 4

ainsi a p r ~ s E a s t m a n
n de l'alg~bre de Lie, et red6rnontre
une conjecture de G o l o r n h ~ G o r d o n et W e l c h .
L a construction
de Scholtz, cornrne celle de Good, est cellede la factorisation de L a z a r d associ6e

a u x b a s e s classiques de Hall. E n th6orie des fluctuations des s o r n m e s de variables
al6atoires d6j~ cit4e ci-dessus,
le principe d'4quivalence de S p a r r e A n d e r s e n
est une
certaine propri~t6 de r6arrangernent relative ~ u n e classe particuli~re de bissections,

cornrne l'ont rnontr6 F o a t a et Sch~itzenberger
[FS,
71]. U n autre th6or~rne de
www.bibliomath.com
r4arrangernent est celui de iz~galit6 des distributions des " m o n t 4 e s " et des
"exc4dances" p a r m i les suites avec r4p6titions.
Les p r e m i e r e s bijections de r~ar-
r a n g e m e n t ont 4t4 rnises en 4vidence par Foata
[Fo, 65] . C h a c u n e d'ellesest
d6finie ~ partir d'une factorisation complAte v6rifiant une condition appel~e

"sp6ciale".
Notons que les factorisations r4guli~res du paragraphe
5 , chapitre I,
sont des factorisations sp~ciales. D a n s ces bijections les m o t s de la factorisation

jouent le rn~rne role que les cycles pour les suites sans r4p4titions,
ou p e r m u t a -
tions. Cette 4rude sera reprise sous une forrne plus 41@gante par Cartier et Foata
[CF,
69]. Ii est enfin assez curieux que les bascules et bissections du chapitre II
sont des objets de la th4orie des automates et langages d4velopp4e en Inforrnatique

th4orique.
Les bascules apparaissent en effet c o r n m e une g~n4ralisation de la notion
d'autornate, et jouent vis-a-vis des langages lin4aires le rOle quejouent les automates finis vis-a-vis des langages rationnels. Ils sont ~quivalents ~ la notion "d'autom a t e ordonn4".
monoZdes
O n peut d4velopper une th4orie de ces objets, similaire ~ celle des
syntactiques des codes pr4fixes rationnels (volt [Vi, 74]).
Les r4sultats de ce travail avait d4j~ 4t4 annonc4s pr4c4demrnent par trois
notes aux Cornptes rendus [Vi, 73~ ainsi que par des exposes [Vi, 7Z] [Vi, 74'~
[Vi, 74"~. O n trouvera les preuves completes du chapitre III dans la th~se de
l'auteur [Vi, 74~. Ind~pendarnrnent de nous,
Michel [Mi, 74~ a retrouv~ plus tard
l'@quivalence entre les e n s e m b l e s de Hall tels qu'ils sont d@finis au paragraphe 3,

chapitre Iet la condition (v') de la proposition 1.8 caract4risant les factorisations
de Lazard.
Ii prouve alors directernent par un a r g u m e n t de d4veloppernent que ces
e n s e m b l e s g4n~rent des bases de l'alg~bre de Lie.
Je rernercie sinc~rement Pierre Cartier de rnlavoir fair l'honneur de

s'~tre int4ress4 dans les d~tails ~ rnon travail. C'est avec joie que je rernercie ici
M a r c e l Paul Sch~itzenberger.
Ii est & l'origine de rna th~se et de ce pr4sent travail
qui s'appuie sur certains de ses travaux personnels.
Ii rut et est toujours pour rnoi
plus qu'un "bon rnaltre". Enfin la f o r m e d4finitive de ce rn4rnoire nlaurait pas vu

le jour sans les encouragements,
l~aide et le d4vouernent de D o m i n i q u e Foata.
www.bibliomath.com
L a frappe a ~t~ r~alis~e par Sylvie Lutzing du Centre de Calcul de l'Esplanade de

Strasbourg, que je rernercie 4galement.
www.bibliomath.com
CHAPITRE
BASES
i. N o t a t i o n s
et bases
DES
ALGEBRES
DE
LIE LIBRES.
usuelles.
L e lecteur p o u r r a
se reporter ~
g ~ b r e de Lie et d'alg~bre enveloppante,
[Ja, 6Z]
ainsi qu'~
p o u r les notions g6n6rales

[Bo,
72]
d'al-
p o u r les alg~bres de
Lie libres et les b a s e s de Hall.
Notations ~6n@rales.
contraire,
Si E
Soit
Dans
un anneau commutatif
est un e n s e m b l e ,
P
n '
IEI
P c E , on note
d~signe
E\P
U
1 ~i_<n
]K
d6signe,
n o n r4duit ~
sauf m e n t i o n
0 et d o n t l ' 4 1 4 m e n t
expresse
du
unit6 est not@
I .
son cardinal.
n > I une suite de parties de

-
Pour
tout ce travail
E . Nous
notons
P.
1
= [u E E , u ~ P}
www.bibliomath.com
la suite d~finie par :
10
Mono~de et m a g m a
libre.
Soit
X + , X ~'' r e s p e c t i v e m e n t
dr6 par
Les
de
de
avec
X ~
61~ments
Nous d~signons
libre,
engendr~e
par
u n e l o i de c o m p o s i t i o n
M(X) ,
engen-
relativement,
res-
associative,
une loi
616ment neutre.
des roots et
le m o t vide n'ayant a u c u n e lettre.
de
par
mono~de libre
sont appel6s aussi roots sur l'alphabet
libre priv~ du m o t
Les
non vide.
demi-groupe
libre
X ~'' est la "concatenation"
c'est-k-dire
le m o n o r d e
la structure
associative
~16ments
composition
X ~'~
libre,
5 u n e l o i de c o m p o s i t i o n ,
de comp o s i t i o n
de
un ensemble
le m a g m a
X , cTest-5-dire
pectivement
X . L a loi de
d~signe 11~16ment neutre
F,n fair X +
est
X~'\[e}
e .
M(X)
sont les "rnots p a r e n t h 6 s 6 s "
munis
de la loi de c o m -
position :
u E M(X) ,
N o u s notons
~ h = u
Nous
sage"des
et
d6signons
roots,
p h = v
par
v E M ( X ) ~ h = (u, v) E M(X) .
6 ITapplication c a n o n i q u e
clest-A-dire llunique m o r p h i s m e
M(X)
de m a g m a
- . X {~ de " d 6 p a r e n t h 6 dont la restriction A
est llidentit 6.
EXEMPLE.
6((, ) , (y, (~, y))) = 2 y x y ~ ~, y ] ' ~ .
Pour
f . C'est
l'unique
M ( X ) -~IN)
X ~)
(resp
morphisme
tel que
Nous
(resp
f C X*
notons
f C M(X)) , nous notons

f .
If1
]fl = 1 p o u r t o u t
Mn(X)
de longueur
(resp
de m o n o r d e
If[
X ''~ . I N
la longueur
(resp.de
(ou degr4)
magma
f E X .
X n)
l'ensemble
des @ l @ m e n t s
n.
www.bibliomath.com
de
M(X)
de
11
Sous-monorde
duit
AB
libre et c o n j u g a i s o n .
et
sont d e u x p a r t i e s de
X '", le p r o -
est :
AB
Le
Si
sous-mono['de
= If 6 X~" , f = a b ,
engendr4
par
a E A,
b E B}
A 4~
est n o t 4 e n c o r e
, soit :
A ~'~= [3 A i
i>_0
Lorsqu'une
dr ~ par
c o n f u s i o n est ~ c r a i n d r e ,
nous noterons
g4n~rateurs.
engendr~
Ze
de
sous-monoi"de
par son syst~me
X j~ adrnet u n et u n seul s y s t ~ m e
sera un sous-mono~de
minimal
de g4n~rateurs
g a I, .... a p C A ,
=
a I a Z ... a p
dit q u e
Soit
facteur
de
de
est la b a s e d e
f = uvw
f
libre e n g e n -
(resp
un mot
facteur
b I b 2 ... b q = p
X ~'" .
gauche,
c ' e s t - 5 - d i r e si
Le
que
mot
resp
facteur
et
aI
u , resp
droit).
v~rifie :
est u n c o d e
(resp
de
libre ssi il est l i b r e m e n t
V b I, .... b q E A
ou encore
de
A,
minimal
Sices
_-
b I .... , b
sur
= b
X .
w)
roots
est
dit
sont
distincts
f , ils sont dits f a c t e u r s p r o p r e s .
Deux
roots
et
de
f = uv ,
Si
le m o n o [ d e
A .
Tout sous-monorde
On
Mo(A)
et
conjugaison
sont distincts d e
X ~
sont dits c o n j u g u ~ s
g = vu
e ,
avec
u E X~" ,
ssi o n p e u t ~ c r i r e :
v E X~
est dit c o n j u g u ~ p r o p r e
est u n e relation d ' ~ q u i v a l e n c e .
Si u n m o t
de
f . L a relation de
f d'une classe d14quivalence
www.bibliomath.com
12
est primitif, ctest-~-dire s'il ne pent s'4crire
f = up
avec
p > 1 , alors tous les
autres le sont. O n peut ainsi parler de classes primitives de conjugaison.
Si X
est u n alphabet ~
lettres, le n o m b r e
%q(n)
de ces classes de longueur
est
d o n n 4 par la f o r m u l e classique :
n/d
~q(n) = ~ d ~ n
oh
d p a r c o u r t les diviseurs de
~(d) q
n , et o~
~ est la fonction de M o e b i u s habituelle :
p~(1) = 1
p(n) = 0
si n
~(n) = (-1) r
est divisible par u n c a r r 4
si r est le n o m b r e
de facteurs p r e m i e r s
dans la d ~ c o m p o s i t i o n de
n .
A l g ~ b r e associative et algAbre de Lie fibre. N o u s d~signons par

associative libre sur l'anneau
polynSmes
de base
IK e n g e n d r 4 e par
en variables n o n c o m m u t a t i v e s
IK<X>
l'alg~bre
X , crest-A-dire l'alg~bre des
X . Cette alg~bre est un m o d u l e
fibre
X "~'", totalement g r a d u 4 e par les degr4s.
R a p p e l o n s qu'une alg~bre de Lie

ve notre
tous distincts
[u, v]
VU
(ii)
vu, v, w ~ Z
cent est celui de
est une alg~bre dont la loi multiplicati-
v@rifie :
(i)
Soit 9/
E ,
[u, u] = 0
[[u, v], w ] + [ [ v , w], u ] + [ E w , u], v]= 0
une alg~bre associative et

9/
9/L l'alg~bre dont le m o d u l e
sous-ja-
et dont la loi multiplicative est le crochet de Lie
Eu, v] = u v - v u . A l o r s
R4ciproquement,
9/L
est une alg~bre de Lie.
pour une alg~bre de Lie
l'alg~bre (associative) enveloppante de
sur
~1 , nous notons 9/
, c'est-~-dire en fait un couple
www.bibliomath.com
(9/ ,i)
13
avec
92 une alg~bre associative et i u n m o r p h i s m e
route alghbre
tel que
11 et m o r p h i s m e
objets
]K<X)
X . ]K<X>
L(X)
et L(X)
-~
est un adjoint du foncteur
l'alg~bre de Lie libre sur
d'61imination de M .
de
dlaffirmer que
]K<X)
Notons
sous-jacent.
L(X)
est un
qui appartiennent ~
~ : M ( X ) ~ L(X)
X
L(X)
H-module
de
M(X)
Si X
d i m e n s i o n de
est l'alg~bre en-
dans l'alg~bre de Lie
Ln(X)
l'application canonique,
est fini de cardinal
et
]K<X)L.
L(X)
Les
sont appel6s aussi 616rnents de Lie.
est appel6 alternant de d e g r 6
drent le ] K - m o d u l e libre
L(X).
]K<X>
Ainsi d'apr~s la
libre, et dlidentifier
unique m o r p h i s m e
(pour le crochet de Lie) co[ncidant avec l'identit6 sur
de longueur
X . Les
L a z a r d que nous rappellerons ~ la proposi-
avec la s o u s - a l g ~ b r e de Lie e n g e n d r 6 e par
ma
92_~ 92L "
L(X) .
i. 1 p e r m e t
polynSmes
8 1 : 92 ~ II
sont des adjoints des foncteurs "d'oubli" des cat6gories
associant ~ un objet son e n s e m b l e
La m6thode
tion
tel que : p o u r
]K e n g e n d r 6 e par
propri6t6 de c o m p o s i t i o n des foncteurs adjoints, l'alg~bre

veloppante de
~L
peuvent aussi ~tre d6finis par le fait que les foncteurs
et X ~ L(X)
correspondantes,
dans
8 : -~ IIL , il existe un unique m o r p h i s m e
@ = 81o i . E e foncteur
N o u s notons
de
[Ln(X), n ~ i]
X . L'image
de
de m a g -
d'un 6 1 6 m e n t
L(X) . C e u x - c i e n g e n -
est une graduation totale de
q , les classiques forrnules de Witt donnent la
Ln(X) , soit :
.q(n) : in dn~ b(d) qn/d

Si
est une s o u s - a l g ~ b r e de Lie libre de
appel6e famille basique de
lorsque
L(X), une partie
engendre librement
de
]K est u n corps, route sous-alg~bre de Lie de

V
est fibre, d'apr~s un t h 6 o r ~ m e de Sir~ov-Witt.
P a r contre ceci n'est pas vrai p o u r les alg~bres associatives
www.bibliomath.com
est
(en rant qu'alg~bre
de Lie). R a p p e l o n s que lorsque

L(X)
(voir
14
[Co,
71, 6. 7]) . Ici aussi n o u s p a r l e r o n s
associative libre de
Enfin,
y -~ Ix, y] E
Bases
de
L(X)
]BI(X> .
rappelons
que p o u r une alg~bre de Lie
est une d4rivation de
de Hall de
L(X).
not4e
60~,
du g r o u p e libre a p p a r a i s s a n t
[MKS,
Soit
66 l ,
, l'application
.
L e s b a s e s de Hall constitutent les b a s e s les plus c o n n u e s
sont d 4 f i n i e s de la f a g o n s u i v a n t e (voir
tion
ad.x
et ont ~t~ en fair d~finies par lo. Hall
teurs basiques
tLa,
de famille basique d'une s o u s - a l g ~ b r e
[Hal , 33]
en t e r m e s
de c o m r n u t a -
dans le "collecting p r o c e s s " .
[Ma,
37],
[HAM, 5 0 ] ,
Ces bases
[HAM, 5 9 ] ,
EBo, 72~) :
une partie du m a g m a
fibre
M(X)
, totalement o r d o n n ~ e
par la rela-
_< , et v4rifiant les trois conditions :
- ( H a l) X c H
- (ha Z)
V h : (u, v) q M ( X ) k k X
h ~ H
uEH,
ssi on a les 3 conditions
suivantes :
vEH
u~v
- v EX
-/Ha'31 ~ U ,
~U,
- A l o r s la farnille
EXEMPLE
i. 1 .
(Ha l ) ( H a Z)
r6currence
alphabet
ble
et
bien
est une b a s e de
O n peut construire
avec
v t _< u
L(X) , appel~e b a s e de Hall.
les e n s e m b l e s
(appel6s aussi e n s e m b l e s
sur les degr6s.
X = Ix, y, z]
v = ( v ' , v")
lul<Ivl~<v
[~h , h E H I
(Ha' 3)
H.I = H l] Mi(X)
ou
v6rifiant les conditions
de Hall dans
EBo,
72]),
U n e construction possible p o u r les d e g r 6 s
de 3 lettres est la suivante (les 6 1 6 m e n t s
sont o r d o n n 6 s
_< 4
par
avec u n
de c h a q u e e n s e m -
d a n s l'ordre de leur 6criture de g a u c h e A droite):
H l
Ha
(x, y)
(x, z)
(y, z)
www.bibliomath.com
15
H 3
H4
(x, (x, y))
(x, (x, ~))
(y, (x, y))
(~, (, y))
(~, (x, ~))
(~, (y, ~))
(, (x, (x, y)))
(, (, (x, ~)))
(y, (x, (x, y)))
(y, (, (, ~)))
(y, (y, (x, y)))
(y, (y, (x, ~)))
(y, (y, (y, ~)))
(z, (x, (~, y)))
(z, (x, (x, ~)))
(~, (y, (x, y)))
(~, (y, (x, ~)))
(z, (y, (y, z)))
(~, (~, (x, 9))
(~, (z, (, ~)))
(z, (z, (y, ~)))
((x, y ) , (x, ~))
((x, y), (y, z))
((x, z ) ,
REMARQUE
remplace
la condition
- ( H a " 3)
VU E H ,
La preuve
que
(y, (y, ~))
(y, z))
i. I . M e i e r - W u n d e r l i
b a s e s de Hall en m o n t r a n t
(y, (x, z))
[MW,
~H
5Z]
a d o n n 6 une g6n6ralisation
est toujours une base de
L(X)
des
lorsque l'on
(Ha' 3) par :
W 6 H ,
(u,
v) E H ~ u < ( u ,
est 6crite en fait en t e r m e s
v e r r a aussi p o u r d'autres interpr6tations
v)
et
v < (u,
v) .
de c o m m u t a t e u r s
des b a s e s de Hall
basiques . O n
[Sc,
58],
[Si, 6Z],
[Sc, 71].
B a s e de C h e n - F o x - L y n d o n .
[CFL,
58] ; on v e r r a aussi
Supposons
pondant
Cette b a s e a 6t6 introduite p a r Chen, F o x et L y n d o n
sur
strictement
[Ly,
54],
[Si, 62],
totalement o r d o n n 6
X + . Soit
l'ensemble
et soit
[Fo,
65].
_< l~ordre lexicographique
(contenant l'alphabet
inf6rieurs ~ tous leurs c o n j u g u 6 s p r o p r e s
X)
d e s roots de
Pour
certain
de
sont appel6s aussi roots lexicographiques
f E F , l'ensemble
v E X + , admet
(non vide) des rnots
un 6 1 6 m e n t de longueur
X +
F : If E X + , "Vu E X + , V v E X + , f : u v ~ f <
Les mots
corres-
u E F
maximum
www.bibliomath.com
vu]-
standards.
tels que
f' , soit
f = uv
f = f,f,, .
p o u r un
16
Alors
f" E F . O n
un
lemme
(voir
[CFL,
58]
o u la suite de ce chapitre) p r o u v e
peut d o n c d6finir u n e application
II : Iz ~ M ( X )
par r6currence
que
sur les
d e g r 6s :
VX
q X , ]Ix : x
et p o u r tout
f : f'f" E F
comme
ci-dessus,
[If : ([i f', [I f") .
Alors
la f a m i l l e
[foZ (f) , f E F }
Chen-Fox-Zyndon
(relativement
EXEMPLE
Soit
de
I.Z .
de l o n g u e u r
A l'ordre de
X : Ix, y}
_< 5
F N XZ
xy
FAX3
x 2y
xy Z
x y3
x yZ Z
x y4
x y3 Z
Z
x yxy
FAX5
Les
de c a r d i n a l
L(X)
a p p e l 6 e b a s e de
X) .
Z , ordonn6
par
x < y . Les
roots
sont les suivants :
FNX
FAX
est u n e b a s e de
616ments
de d e g r 6
_< 5
Z 3
y
xyxy
xy
de la b a s e de C h e n - F o x - L y n d o n
correspondan-
te sont a l o r s :
[~, y]
Ix, Ix, y ] ]
[[, y], y]
[, [, [, y ] ] ]
[Ix, [, y ] ] , y]
[[[, y], y], y]
[, [~, [, [, y ] ] ] ] [[~, [, [=, y ] ] ] , y]
[[, [~, y]], [, y ] ]
[[[, Ix, y]], y], y] [[=, y], [[~, y], y]]
[ [ [ [ x , y], y],y], y]
www.bibliomath.com
17
Base
V
de Sir~ov.
identique,
V
Cette b a s e a 6t6 introduite p a r S i r ~ o v e n
5 des
sym6tries
pros
sur les o r d r e s ,
n o u s le v e r r o n s d a n s la suite de ce chapitre.
V
originale de Sir~ov.
totalement
p a r les d e u x conditions
ordonn6
et
58]
et est e n fait
5 celle d e C h e n - F o x - Z y n d o n ,
me
Soit
[Si,
IWous r e d o n n o n s
la relation d ' o r d r e
corn-
ici la f o r m u l a t i o n
total sur
X +
d6finie
Vu, v, w E X *
et
VX, y E X
tels q u e
x < y
, on a
(1.1)
uxv <
On
note
F'
l'ensemble
leurs c o n j u g u 6 s
standards
u > uv
f = gl "'"
L a famille
verrons
que chacun
de dire : tout m o t
et
f E
x+
se factorise de m a -
fl -< fz -< "'" -< f

P
I~' : F' ~ M ( X )
par r6currence
sur les d e g r 6 s
gqX
s'6crit de m a n i ~ r e
avec
x E X ,
unique
gi C F' ,
gl -~...
-~gq
rI'f = (rI'gI, (l~'gg ..... (ri'gq, x))...)
[yoI~'(f), f ~ F ' ]
est u n e b a s e de
L(X) .
q u e cette b a s e est identique ~ celle de C h e n - F o x - L y n d o n
~ l'ordre o p p o s 6
de
d e s rnots l e x i c o g r a p h i q u e s
, l~'x= x
- vf E F ' X k X
alors
plus g r a n d s
e n fair l ' e n s e m b l e
fi C F'
u n e application
_ ~xEX
Nous
avec
strictement
X) .
v
de S i r ~ o v p e r m e t
f = fl "'" f
P
d6finissons
sur
X +
(c'est-~-dire
p o u r l'ordre o p p o s 6
nitre unique
(associ6e
eL
d e s roots de
propres
Un lemme
Nous
uyw
de
X) e n p r o u v a n t
que
17' = rl .
www.bibliomath.com
18
2. Factorisations
Par
bet
pour
souci de sirnplicit4,
nous
supposerons
est fini. Z e lecteur g4n~ralisera

X
quelconque.
chapitre.
[La,
de L a z a r d .
Nous
60] [Bo,
de Z a z a r d
r4p4tons
constitue un pr41irninaire f o n d a m e n t a l
ici la p r e u v e du t h 4 o r ~ m e
72]), puis introduisons
i. I .
Ze module
L(X)
(ii)
sans peine les d~finitions et propositions
Soit
L(X) est s o m m e
engendr4par
Z'ensernble
et
Soient
]I/.x et de l'id4al
de
par le g ~ n 4 r a t e u r
n > 0
l'alg~bre de Lie libre e n g e n d r 4 e
donc d4finir le produit s e m i - d i r e c t
de
L
par
de Lie libre
dans l'alg~bre de Lie des d~rivations de
telle que
Z 1
LZ
est l'unique alg~bre de Lie dont le m o d u l e
dont le produit de Lie coincide avec ceux de
v(n, y)E Y ,
T = [(n, y)
LZ
de
et
L2
D(n,
d4fini par
Lg
d4fini par :
www.bibliomath.com
et
n >_ 0, y E Y} - Ii
y) = (n+l, y) . O n peut
x-~ D . L'alg~bre
est la s o m m e
Z 1 et
avec
J .
selon le m o r p h i s m e
directe
et v4rifie :
F, (n, y)] : ( n + l , y).
y : L(X) ~ L
Y E Y}
L l = ]l<.x l'alg~bre de Lie libre e n g e n d r 4 e
Ii existe un unique m o r p h i s m e
(tous distincts) de la f o r m e
existe une et une seule d4rivation
(voir
x E X .
directe du m o d u l e
Y = X\[x]
des 4 1 4 m e n t s
> Z
est une famille basique de la s o u s - a l g ~ b r e
L2
d'41imination de L a z a r d
la notion a s s e z technique de factorisations
de cardinal
[(adnx)(y) ,
soit
p o u r ce
qui r e v i e n d r a d a n s route la suite.
PROPOSITION
(i)
Ce paragraphe
d a n s tout ce chapitre que l'alpha-
de
Z 1
de Lie
El@ L Z
et
~9
~(x) = x
De
m~me,
et
rye
il existe u n m o r p h i s r n e
PZ : L Z ~ L(X)
Y,
unique
~(y) = ( o , y ) .
q)l : L 1 -~ L(X)
et un m o r p h i s m e
tels que :
q01(x) : x
L'ensemble
de
L2
contenant
u = %x E L 1
des
u E L2
v E LZ ,
~z[U,
q0(x) = x
et
~i
et
c92
q0(0, y) = y
VY
y) : ad
x.y
C02o D(u) = [x, %0z(u) ]
est u n e s o u s - a l g ~ b r e
L 2 . Pour
tout
on a d o n c
v] = % ~ 2 o D ( V ) =
p o u r tout
l'identit6 sur les g 6 n 6 r a t e u r s
~z(n,
et d o n c est 6gal A
se p r o l o n g e n t
u n couple d ' i s o m o r p h i s m e s
q Y ,
tels que
les g 6 n 6 r a t e u r s
et tout
Ainsi
et
[~i u, ~2v] .
en un m o r p h i s m e
Y E Y
des a l g ~ b r e s
Les
p : L ~ L(X)
deux morphismes
o~ ils op~rent,
~poY
et d o n c
tel que
et
cp et
~Foq0 sont
y
forrnent
r6ciproques.
C. Q . F . D .
]En r6p6tant
troduisons
une
des 61iminations
suite de roots
successives
[Ul, .... U k + I}
de la proposition
i. 1 , n o u s in-
UlEYo = x
u~. ~ Y1 = u~(x\ul)
{uil~'
i ~ o et v ~ X \ u l ~
(i. z)
o o . o o o o . o o o o o o o o
Uk+ I E Yk = Uk(Yk-l\Uk
) =
www.bibliomath.com
i >_ 0
et
v E Yk_l\Uk
20
L e lecteur v4rifiera
une application
que ces roots sont tous distincts.
de p a r e n t h 4 s a g e
Nous
d6finissons
alo r s
I] : {u I ..... Uk] U Y k . M ( X )
p a r les r 6 c u r r e n c e s
- rl(u I) = u I
(i. 3)
- pour
i
u = u l Y E Y1
~(u) -- (u I, (u I ..... (u I, y)...
- pour
i
u = ukY ~ Yk
rI(u) = (I]Uk,(I~u k .... (~luk, fly)...)
En appliquant
LEMME
Lie
i. i .
Lk
fois la proposition
L'ensemble
qu'il e n g e n d r e .
module,
5 la s o m m e
~ o F ( Y k)
Z'alg~bre
1. 1 , o n a a l o r s
est une famille
de Lie libre
basique
L(X)
DEFINITION
n~
( Z a n)
et
X +
p a r l'ordre
(La~)
la suite
(La' n)
xnN
EXEMPLE
roots
tel que,
fini
[u 1.....
I. 3 .
{u i, i m l]
e n taut que
Soit
de L a z a r d
sont d4finies ~ partir des

:
est un e n s e m b l e
totalement
ordon-
n > i , on air les d e u x conditions
[u 1 ..... U k + 1 }
des roots de
de l o n g u e u r
u I < u Z < ... < U k + I , v~rifie les conditions
satisfait
(avec
suivantes
Uk+l}
Yk = {Uk+l}
ce chapitre
p o u r tout entier
F f]X n=
induit
dans
a v e c les notions
factorisation
( Z a nH ) suivantes
L'ensemble
ordonn~
intervenant
(l. 3)
i. 1 . U n e
de roots de
et
de
directe
E n fait, les b a s e s
(l.Z)
de la s o u s - a l g ~ b r e
est i s o m o r p h e ,
IK. (~ol](ul)) ~ ... e ] K . (~ol](Uk)) L k
conditions
Yk
aux conditions
d6finie p a r
(toujours fini)
et
p a r les d e u x conditions
(1.2)
(1.2)) .
d6finissons
www.bibliomath.com
par r6currence
une suite de
21
(1.4)
u1 E X
(1. 5)
vi
Y1 = U l ( X \ U l )
> 1 ,
ui+ 1 est un 414ment
Yi = u i ( Y i - l \ U i )
Alors
F = [u I, u 2 . . . .
EXEMPLE
base
1.4
L'ensemble
de Chen-Fox-Lyndon),
de Lazard,
(La$)
, u i, ... }
comme
nous
des
roots
par
le verrons
minimum
de
"
est 4 v i d e m m e n t
ordonn4
de degr4
lexicographiques
Pordre
au
u n e factorisation
de L a z a r d .
standards,
lexicographiqueestune
4 . V4rifions
(voir
i ,
factorisation
ici les conditions
(La~)
et
F N X 4 = [x, x 3 y, xgy,
(les ~ l e m e n t s
Ii vient :
4rant r a n g 4 s
Y0 =
u 1 = x
x g y 2 , xy, x y 2 , x y 3 , y]
d a n s l'ordre
~x, y~
Y1 = ~y' x y , x 2 y ,
u z = x 3y
croissant).
x3y ....
Y Z = [y, xy, x z Y . . . . . . .
Z
u3 = x y
Y3
Z 2
u4 = x y
Y 4 = [y' x y . . . . . . . . . .
u 5 : xy
Y 5 = [y' x y z
u 6 : xy
Y 6 = [y' x y 3
----
[y, xy, x Z y 2 7
. . . .
. . . .
..
]
]
3
u 7 = xy
} "
Y 7 = [y . . . . . . . . . . . . .
u8=Y
Pour
coursdes
chaque
diff@rentes
Yi ' o n a n@glig~ les roots de l o n g u e u r

@liminations.
L e lecteur v@rifiera
> 5
queles
apparaissant
ensembles
Y.
au
d6.fi-
nis p a r la condition
l'exemple
donne
(La~)
peuvent
@tre c o m p l ~ t e m e n t
i. 3 , ils restent invariants.
naissance,
a v e c le p a r e n t h @ s a g e
Nous
de
verrons
(i. 3)
chang@s.
Au
contraire,
en fair que ce d e r n i e r
aux bases
www.bibliomath.com
de Hall du
1 .
dans
exemple,
22
Soient
une factorisation de L a z a r d
F n x n = [u 1 ..... U k + l } . Z a condition
[In : [ U l . . . . .
1.
LEMME
Z .
Uk+l]
La restriction
(ga n)
-~ M ( X )
de
et n > I . P o s o n s
[in+l
permet
par
de d6finir une application
( 1 . 3) .
"_a F N x n
est
IIn .
Notons
F n __xn+l= [u I . . . . .
F N xn=
[Uil
-,
Notons
fiant
a
(Y0 . . . . .
u ~ + I}
ik+
Y k ) les parties v6rifiant
( L a ~ + I) . Z e lecteur d ~ m o n t r e r a
Yj c Zi. , puis p a r r 6 c u r r e n c e
J
sur
} ave c
u.
,
[i 1. . . . .
(La~)
et (Z 0 . . . . .
f a c i l e m e n t que p o u r tout
j que
ik+l}
C [1 . . . . .
~}
Z ) celles v~rij ,
I _< j ~ k , o n
[In+ 1 u i = IIn u i p o u r
J
J
I -< j _< k+1 .
C.Q.F.D.
Le lemme
1.2
permet
d o n c de d6finir une application
II : F ~ M ( X )
par :
DEFINITION
l.Z .
Soit
llunique application
EXEMPLE
1.
Notons
L e s roots
une factorisation de L a z a r d .
II : F -~ M ( X )
Soit
X = [x,
y,
Y1 = x~e[Y'
uz = Y
Y 2 = Y~'~(YI \y)
u3 = z
Y3 = z~(Yz\z)
u 4 = xy
Y 4 = (xY)~ (Y3 \xy)
v6rifie a i s ~ m e n t
que
[In
sur
F N xn
de
p o u r tout
II est
n .
z] .
u1 = x
Ix, y, z, xy} U Y 4
de ir e x e m p l e
co~ncidant a v e c
Le parenth~sage
z}
sont inclus d a n s u n e factorisation
II(F n xi) , p o u r
i = l ..... 4 ,
de L a z a r d .
sont les e n s e m b l e s
des b a s e s de Hall.
www.bibliomath.com
On
H I , .... H 4
23
EXEMPLE
I. 6
Reprenons
les roots lexicographiques
1.4 . O n trouve a i s 6 m e n t le p a r e n t h 6 s a g e
11 des roots
standards
u l..... u 8
de
de l'exemple
F n x 4 : Ix, x3y, x 2 y, xZyZ, xy, xy Z, xy 3, y]
i'Ix : x
IIx3y = (x, (x, (x, y)))
rIxay : (x, (x, y))

IIxZy Z : ((x, (x, y)), y)
IIxy : (x, y)
IIxy 2 = ((x, y), y)

I'ixy 3 : (((x, y), y), y)
Hy:
y.
L e lecteur v6rifiera que l'application

Chen-Fox-Lyndon
I] d6finie au
coincide avec celle de cet exernple sur
i p o u r la base de
F X 4. O n v e r r a l'ex-
plication g6n6rale dans ce chapitre.
Le th6or~me
suivant, qui r6sulte i m m 6 d i a t e m e n t
des d6finitions et du l e m m e
i. 1 constitue un pr61iminaire f o n d a m e n t a l A ce chapitre et justifie llintroduction de

la notion de factorisation de Z a z a r d et du p a r e n t h 6 s a g e associ4.
THEOREME
sane associ6.
i. i .
Soit F
L a famille
une factorisation de L a z a r d de
[yoH(U), u 6 F ]
X ~ e_t II son parenth6-
est une base de U a l g ~ b r e de Lie libre
L(X) .
N o u s v e r r o n s que les b a s e s "usuelles" du
1 sont construites A partir de
factorisations de L a z a r d .
www.bibliomath.com
24
3. E n s e m b l e s
Soit
conditions
de Hall
une partie totalement o r d o n n 4 e
( H a l) et
n 6 des conditions
L(X)
( H a Z)
du m a g m a
des b a s e s de Hall
suffisantes p o u r que
y(H)
(voir
libre
soit une b a s e de iIalg~bre de Lie libre
( [ H a M , 50] , [l~IW, 5Z] , [Si, 6Z] , [Sc, 58] [Sc, 71]) . Nous en donnons
d~pendamment
ci-dessous)
74]
montrerons
. Cette
a d~montr4
de nous que cette condition 4fair suffisante p o u r e n g e n d r e r
in-
des bases.
d a n s ce chapitre que les b a s e s ainsi d~finies contiennent en p a r -
ticulier toutes les b a s e s classiques d4finies au
v~rifiant les
i) . D i v e r s auteurs ont don-
ici u n e condition n 4 c e s s a i r e et suffisante (la condition ( H a 3)

V
condition 4tait c o n n u e de Sir~ov [Si, 62 ] et J. M i c h e l [Mi,
Nous
M(X)
1 .
THEOREME
l.g .
Soit
une partie totalement o r d o n n 4 e
du m a g m a
libre
M(X)
v~rifiant les d e u x conditions :
( H a l)
XaH
(Ha Z)
V h = (u, v) E M ( X ) \ X
ucH
h E H
ssi on a l e s trois conditions
, vEH
U < V
v E X
A l o r s la famille
ou
[y(h) , h E H }
v = (v', v")
avec
v' _< u
est u n e b a s e de l'alg~bre de Lie libre
L(X)
ssi o n
a:
( H a 3)
VU
D4monstration
th6or~me
Vv
E H
(u, v) E H = u
de la condition suffisante.
n~est qulune c o n s e q u e n c e
PROPOSITION
conditions
E H
l.g .
Soit
( H a l ) , ( H a 2)
< (u, v) .
Ii est clair que la condition suffisante du
du t h 6 o r ~ m e
I. 1 et de la proposition
u n e partie totalement o r d o n n 4 e
e__~t ( H a 3) . L a restriction ~
www.bibliomath.com
de
M(X)
suivante :
v4rifiant les
de l'application c a n o n i q u e
25
6 : M(X)
-~ X ~
est in iective,
est u n e factorisation
et
( H a 3) ,
de d e g r 4
De
et
ordonn4
plus,
n E IN.
ordonn6
Soit
p a r l:ordre
de
de
H ,
associ4
[I : F _~ M ( X )
v4rifiant
(Hal),
6 "_a H .
ordonn6e
de
[h l ..... h k + l }
par Pordre
correspondant
son p a r e n t h 4 s a g e
de la restriction
u n e partie t o t a l e m e n t
F = 6H
_< n
F = 6H
de L a z a r d .
est la biiection r 4 c i p r o q u e
Soient
et
induit de
M(X)
l:ensemble
(Hag)
des 4 1 6 m e n t s
de
H :
h I < h Z < .. < h k + 1
D'apr~s
Y 1 = U~l (X\Ul)
( H a 2)
" Soit
VX
E X
: uI = hI
d6~fini p a r r 4 c u r r e n c e
et
:
lllX = x
avec
Y E X \ u I , i >~ i ,
sur les d e g r 4 s
prouve
alors,
lllU = (Ul,
avec
illUll ly) .
( H a I ) , ( H a z)
et
( H a 3) ,
(a'~)
KI(Y l) _~ H
(R~')
vh
h I E X . Notons
II1 : [Ul} U Y 1 ~ M ( X )
r6currence
les d e u x conditions
Soit
( H a 3) , o n a
i
u = u I y
pour
Une
et
= (hi, h") E M ( X )
entier ,
i -< p < k
, h E H ~ (6 h 6 Y 1
, et s u p p o s o n s
et
h = Ill(6h)) .
v4rifi~es les trois conditions
sui-
vante s :
(Rp)
l'on p u i s s e
u I = 6h I . . . .
, Up = 6hp
sont tous des 4 1 4 m e n t s
distincts tels que
4crire :
,
u2 E
Y1 ' u3 E YZ = u2"(Yl\Ul} . . . . .
~,
Up E Yp-1
www.bibliomath.com
Up-l(Yp-z\Up-1)
"
26
Notons
Y p = u;(Yp_l\Up)
. Comme
une factorisation de Zazard,
pour la d@finition
2 du parenth@sage
associ@
on peut alors d@finir par r@currence une application
lip : {Ul} U --" U [Up} U Y p -~ M(X) , qui corncide avec
FIp_I sur
[u 1] U " ' " U [Up_ 1 ] U Yp-1
et telle que, pour
i
u = Upy
avec
Y E Yp-I \Up
, i~l
IlpU = (HpUp, rlp Uip'ly) .
Les deux autres conditions
(Rp)
(R~)
P
et (IK")
P
rip(U l) = h I . . . . .
V i E [1, P] ,
(i~")
P
6h f [ U i + l ]
Si hp+ I E X
, alors
lip(Up) = hp
U -..
U {Up] U Y
(l~p) prouve que
(Ha3) , h' = h i avec
Yp+l = U p + l ( Y p \ U p + l )
i E [i, p ] .
fagon que
et
h : rip(6h)
h' et h" E H
Alors
(l~p) et (R'p)
et h p + l = rip(Up+l}
et
IIp+ 1 : {u l ] U . . -
d@fini de la m ~ m e
h EH =
hp+ I E Y p . Sinon on peut 6crire :
avec
6hp+ 1 = Up+ 1 E Y p
Soient
, rip(Yp) _mE
v h = (h i, h") E M(X) ,
hp+ 1 = (h', h")
D'apr~s
sont alors :
U {Up+ 1 ] U Yp+l "~ M(X)
rlp .
www.bibliomath.com
impliquent :
27
On a bien
grace
I I p + l ( U p + 1) = h p + 1 . L e s c o n d i t i o n s
~ une r4currence
sur les longueurs,
et
( H a 2)
prouvent,
que
II .
IIp+1(Yp+ I) _
On a donc
(Rp)
( R ; + 1) .
D'autre
part,
(R'p) ,
soient
v~rifie
( R ; + 1) . Si
(Hal),
conditions
h = [Ip+l(6h) .
i E [1, p+l]
h = (h i, h " ) E H . Si
i = p+l , une r4currence
(Haz) , ( H a 3 ) , ( R ; )
Ainsi les trois
Une r4currence
et
sur
conditions
et
(R'p) , q u e
i ~ p , alors
Ih"J
sur
d'apr~s
prouve, avec l e s
6h E [Up+ 1] U Y p + l
( R p + 1) , ( R ; + 1)
et
,IR"p+l)
et
sont v4rifi4es.
p finit lapreuve.
G.Q.F.D.
D4monstration
de l a c o n d i t i o n
n4cessaire
Soit
v4rifiant
LEMME
1.3
s'~crire
s o u s la f o r m e
(1.6)
De
plus,
pour
(I. 7)
H_q M(X)
f = fl "'" fp '
P ~ 1 ,
fi = 6hi '
tout
fg
s'fcrire
et
Si
( H a 1 ) _e_ t
1.2 .
( H a z) . A / o r s
g E X ~ ,
peut
q >_ i '
f'i
hi E H
f E
X +
peut
h I >_...
>_hp
= 6h' i '
h'i
E H
'
h' 1 >~ ...
>- h ' q
[fl[ _< If'l I .
f C X+
x _< h
ayant une 6criture
, a l o r s la relation
de l a f o r m e
(I. 7)
(1.6)
est v4rifi4e
P
d'apr~s
tout
fg = f' i " " . f' q ,
Soient
du th4or~me
( H a I ) et
(Haz)
www.bibliomath.com
pour
et
x E X .
g = x , sinon il vient
28
(h , x) : k E H
P
P
Si
_< h
P
vient d'apr ~s
la relation
p-l'
( H a I ) et
(l. 7)
est e n c o r e
v6rifi6e p o u r
g = x
sinon il
( H a Z) :
(hp_l,
De proche
en proche,
kp) = k p _ 1 C H
o n construit ainsi u n e suite d ' 6 1 4 m e n t s
de
H :
k p , k p - i . . . .k i. = .(h.i, .ki+
. I).
j u s q u W ~ u n indice
m,
i _< m
< p
= 1
tel q u e
o u bien
2 g
et
< h
rfl
Ce raisonnement
repr6sentent
est s c h 4 m a t i s 4
des mots
de
d a n s la figure
nq-
I. i : les s e g m e n t s
6 H , l'axe d e s o r d o n n 6 s
repr4sente
n4.
www.bibliomath.com
horizontaux
totalement
ordon-
29
fl
8kin+ I
6k
6kp _ I
fro-1
I
fp- 1
8k m
Figure
On a ainsi prouv4
alors
prouv4e
longueur
de
pour tout
g
LEMME
1.4 .
f E X+
termine
Le lemme
ditions s u i v a n t e s
(1. 7)
par
estind6pendant
un ensemble,
sont ~quivalentes
avec
r4currence
la d4monstration
suivant
Soient
la relation
1. i .
g = x . La relation
sur
(1.6)
Ifl . Une r6currence
e st
sur la
du l e m m e .
de t o u t l e r e s t e .
0 : E ~ IN e t
q E IN . A / o r s
www.bibliomath.com
les deux con-
30
(i)
vn
~ i ,
[E f] 8-1(n)] = ~ q ( n ) = n 1 d~ n ~(d) q n / d
(ii)
vn
> 1 ,
me
n =
E
uE E
est
C 8(u)
u
E n fait 6crire
le nombre
avec
d'6critures
possibles
de
sous
la for-
> 0
u
(ii) n'est pas autre chose qu'6crire l'6galit6 des s6ries
formelle s :
( l _ x ( U ) ) -1 = ( l _ q x ) -1
(1.8)
u~E
P a r p a s s a g e au logarithme,
(1.9)
vn
~ 1 ,
(1.8)
Y~
din
est
6quivalent 5 :
d. I E n 8 - 1 ( d )
P a r la forrnule d'inversion de M o e b i u s ,
(1.9)
est alors 6quivalent 5
(i) ,
d'o~ le l e m m e .
LWMME
i. 5 .
Soit H c M ( X )
soit une b a s e de
v6rifiant
f : fl
Xn
[y(H), h ff H }
L(X) . O n a alors la propri6t6 d'unique factorisabilit6 : (UF)
P o u r tout f E X + , il existe u n u n i q u e
de
(Ha l) e__t (Ha 2) et tel que
...
Notons
F = 6H
admette
une
fp ,
et
6criture
p-uple
fi : 6hi ,
q = IXI
unique
W n particulier, la restriction de
les f o r m u l e s de Witt
hi E H
. Soit
sous
(h I ..... hp)
hl
>...
telque
>h
n > 1 et supposons
la forme
6 a
(1.6) :
que tout
616ment
(1. 6) .
H f~ M n ( X )
est bijedive, et d'apr~s
(voir i) , on peut 6crire les d e u x relations :
www.bibliomath.com
31
(1. 10)
vi,
1 _<i_<n
1F n X: I : 1H N M i ( X ) I : ,~q(i}
IF Q x n + l
(i. Ii)
I -< ~ q ( n + l )
Nous ordonnons
Kn+ 1 la r6union
F N xn
des ensembles
par l'ordre
correspondant
de p-uples
q~ = ( f l . . . .
de
H n M-n(X) . S o i t
' f ) avec
P
2 _< p -< n + l
et
tels que :
fi E F Q X n
L e cardinal de
'
Ill t +''"
K n + I est le n o m b r e
]fpl
: n+l ,
(1. :z)
IKn+:l
Soient
@(fl' . . . .
1-uplet)
fp) = f l " ' "

. D'apr~s
P
le l e m m e
= qn+l
'
et
n+l
sous la f o r m e
(I. i0) :
_ %q(n+l)
U (F N X n+l)
et
(en consid6rant
1. 3 ,
kfp
@ : K 'n + l -+ X n + l
u n 6 1 6 m e n t de
@ est surjective
d6finie par
F N xn+l
comme
un
et donc :
IK'
[ ~ q n+ 1
n+l
(i. 13)
En
K 'n + l = K n + l
1.4
>-''"
d'6critures possibles de
fEFNX n
c'est-~-dire d ' a p r ~ s le l e m m e
fl
combinant
(i. ii) , (i. 12)
et
]F N xn+l[
(I. 13) , on d6duit :
= ~q(n+l)
et
IK'n + l l : q
n+l
Ainsi la p r o p r i 6 t 6 d'unique factorisabilit6 du l e m m e
www.bibliomath.com
est v6rifi6e p o u r tout
32
mot
de
LEMME
X n+l
et p a r r 6 c u r r e n c e ,
1.6.
Soit
H ~ M(X)
risabilit6 d u l e m m e
Soient
h<u
v6rifiant
1.5 . A / o r s
et
deux
ainsi le l e m m e .
( H a I ) , ( H a 2)
v6rifie
616ments
de
et la p r o p r i 6 t 6
d'unique facto-
( H a 3) .
tels que
h = (u, v ) E
H.
Supposons
Notons
l'application
l'unique entier
M(X)\X
Si p o u r tout
on a
~ M(X)
i ,
>_ i
tel que
associant
1 < i ~ p , on a
%P(h) E X . ( R a p p e l o n s
& l'616ment
(a, b)
que
l'616ment
h < hi(h) , alors d ' a p r ~ s
d6signe
k(a, b ) =
( H a I ) et
a).
( H a Z)
(h, X p(h)) E H .
Sinon,
h < km-l(h)
En
de
on p r o u v e
et d ' a p r ~ s
notant
f tel que
fadDrisation
rn , plus petit entier de
il existe
(Haz)
, on a
(h,
f = 6h , n o u s v e n o n s
ff' E 6 H . E n
du mot
ff : fl "'" fk
ff
appliquant
sous la f o r m e
avec
[i, p]
tel q u e
kin(h) < h
. A/ors
m-1(h)) E H
de p r o u v e r
l'existence
alors le l e m m e
d'un facteur
i. 3 , n o u s
gauche
en d 6 d u i s o n s
ft
une
fi : 6hi ' hi 6 H
h I >_ ... >- h k
et
lql > Iffl > Ill
C e c i est en contradiction
lemrne
i. 5 . O n
Les
avait d o n c
lemmes
1.5
a v e c la condition
(UF)
d'unique factorisabilit6
du
u < h . D ' o h le l e m r n e .
et
i. 6
prouvent
alors la condition n 6 c e s s a i r e
du thgor~me
I.Z.
C. Q . F . D .
www.bibliomath.com
33
I1 e s t m a i n t e n a n t
ensembles
de H a l l c lassiques
DEFINITION
1. 3 .
appelfie e n s e m b l e
REMARQUE
Si
IIF
de L a z a r d
1. 3 .
F D xn
Y0 .....
totalement
total telle que
v~rifie
et d'ensemble
de Hall.
Soit
= [u l, .... U k + l}
de H a l l ,
en montrant
a i s 4 de p r o u v e r
(i. 14)
du m a g m a
que
(Hal),
les
M(X)
e st
libre
(Hag)
on peut d@montrer
( H a 1 ) , ( H a Z)
1f ~ q u i v a l e n c e
de L a z a r d
et
p a r l'ordre c o r r e s p o n d a n t
ordonn4
par l'ordre induit

(Za n)
et
et
( H a 3)
qu'il existe
( H a 3) .
des notions
d'abord
de
I1 s o n p a r e n t h 4 s a g e .
@ v(rifie
8(f)
n >_ I e t
u I < ... < U k + 1 . Soient
Yk : U k ( Y k - l \ U k )
le p l u s p e t i t e n t i e r
les conditions
V P E [i, k + l ] ,
F . Soit
5,'-
Y1 = u l ( Y 0 \ U l ) . . . . .
notons
de
et (Za'n) :
~,
f E F N xn,
g6n~ralisant
de H a l l .
v~rifiant les conditions
Y0 = X ,
Pour
suivante,
Nous prouvons
une factorisation
H = IIF , o r d o n n ~
Yk
ordonn4e
ce paragraphe
est un ensemble
Notons
la d6finition
72] :
est un ensemble
dlordre
Nous terminons
PROPOSITION
[Bo,
Une partie
1. Z .
factorisation
de p o s e r
de Hall ssi elle v~rifie les conditions
une seule relation
AIors
commode
@(Up) < p
www.bibliomath.com
tel que
f E Y
II e s t
34
(i. 15)
vh
(i. 16)
Vp,
~)
La
~)
Soit
E I](F Q X n ) ,
6ok(h) = u
q E [i, k + l ]
condition
(La' n)
8(Uq) _<p < q = U p U q
implique
h = (u, v) E H \ X
@o 6(h)
C F
la c o n d i t i o n
de d e g r 4
< n
et
( H a l)
I~(UpUq) = (I~Up, I]Uq)
pour
H .
et n o t o n s
p = 8(h) . O n
6(u) = U p E Y p - l '
w E Yp_l\Up
a 4videm-
ment
(1.17)
On
u E H,
peut alors
4crire
_l
telque
avec
i > 1 ,
on
IuJDw[ _ < n ,
<
u jw
En
u<h
D'autre
et
part,
et
u<v
supposons
(i. 15) ,
6ok(V) = u
(i. 19)
u < v
et
R4ciproquement,
v E X
ou
i ~ Z ,
q = @o6(V) . P a r
et d o n c
6ok(v) < u
y)
v ~ X . Si
v = w E [I(Yp_ I) - Soit
d'apr~s
alors
Si
- Si
@(Vq) = 0
notons
~ X
soit
q _< p - I
. Mais
h = (u, v ) E
et d ' a p r ~ s
6ol(V) = u
e ,
l(v) ~ u . N o t o n s
Vq E X
k(v) = If(Up) = u . S i n o n
d6.finition d e
M(X)\X
6(u) = u
et
tel q u e
6(v) = v q .
particulier
i-i
w = 6(v) . A i n s i o n a :
P
(1.18)
i = i
i
6(h) = u w
P
Pourtout
vE
(i. 16) ,
avec
h E H .
r -< p
www.bibliomath.com
u E H,
vEH,
35
D'apr~s
(i. 15) ,
r = @(Vq)
et donc
h E H
d'apr~s
(i. 16) .
Ainsi dans les d e u x cas :
(i. 19)
h E H .
L e s relations
(i. 17) , (i. 18)
(i. 18)
(Ha 3) .
donne
et (i. 19) p r o u v e n t la condition
(Ha Z) . L a relation
C.Q.F.D.
L e s propositions
COROLLAIRE
M(X)
i. i .
i. 3
s'dcrivent aussi sous la f o r m e
Ii existe une bijection
et les factorisations de L a z a r d de
Si H
est u n e n s e m b l e
c o r r e s p o n d a n t de
Si
th4sage
i. 2 et
de
F
F
de Hall, alors
(la restriction de
FI(F)
est ordonn4
6 "_a H
~(H) = 6(I-l) , o r d o n n ~ par l'ordre

est injective) .
~-I(F) : ~(F) , o__~ l~ est le p a r e n -
par l'ordre
correspondant
4. A u t r e s caract4risations des b a s e s associ4es a u x e n s e m b l e s
L e s notions de factorisation de L a z a r d du
fournissent d e u x p r o c ~ d ~ s
de Hall de
X ~e .
est une factorisation de L a z a r d ,

e t o~
~ entre les e n s e m b l e s
suivante :
de
F .
de Hall.
et d ' e n s e m b l e de Hall du
~quivalents p o u r d~finirdes b a s e s des alg~bres de Lie
fibres. Ii n"est peut-~tre pas i m m ~ d i a t de voir que les b a s e s de C h e n - F o x - Z y n d o n

V
ou de Sir~ov d u l en sont des cas particuliers.
www.bibliomath.com
36
L e but de ce p a r a g r a p h e
est de r e n d r e plus m a n i a b l e s les notions 4quivalen-
tes de factorisation de L a z a r d ou d ' e n s e m b l e de Hall. P o u r ceci, il est m a i n t e n a n t

temps
d'introduire la notion de factorisation c o m p l ~ t e d'un m o n o r d e libre, introdui-
te par M . - P .
Sch(itzenberger
[Sc, 65~
et jouant u n rDle f o n d a m e n t a l d a n s route
cette 4rude.
DEFINITION
ble
1.4 .
U n e factorisation c o m p l & t e du m o n o ~ d e
totalement o r d o n n 4 de rnots de
re de m a n i ~ r e
unique sous la f o r m e
(1.20)
f = fl "'" fp
NOTATION.
EXEMPLE
LEMME
N o u s noterons
1.7
1.7 .
Soient
F(f)
X +
libre
tel que tout m o t
X ~e est u n e n s e m -
f de
X +
puisse sI4cri-
' P m 1 , fi E F
iIunique
p-uple
, fl >-''" >- fp
(fl . . . . .
fp) de
"
(1.20).
Factorisation de L a z a r d .
U n e factorisation de L a z a r d
n > 1 et
[u I . . . . .
est une factorisation compl&te.
Uk+l} = X n F
avec
Y0 .....
Yk = Uk(Yk-l\Uk )
(La' n) et (La") .
n
II est ais~ de voir que tout m o t
f = ~i~ 1
D'autre part,
i)
est
Y1
avec
Y 1~
et tout m o t
f = ~2~ 2
Par r~currence,
~i E Y 1
f de
et
est un s o u s - m o n o ~ d e
f de
avec
Y1
X +
se factorise de m a n i & r e
~i E U l
libre de
X~,~ , dont la b a s e
se factorise de m a n i & r e
~2 E Y 2
unique :
et ~2 E u 2
on peut donc ~crire
unique :
f sous la f o r m e
www.bibliomath.com
(voir
37
avec,
f : ak+l ~k+l "'" E1
et
~k+l C Y k + l : Uk+l
~I
E u I , ....
(Yk\Uk+l)
~k+l C U k + I
L e lecteur se c o n v a i n c r a que cette 6criture est unique.
Ainsi d'apr~s
de la f o r m e
(La'n),
tout m o t
f de
X n adrnet une factorisation unique
(l. Z0) .
C. Q. F . D .
EXEMPLE
1.8
. E n s e m b l e des rnots lexicographiques

V
de C h e n - F o x - L y n d o n - Sir~ov).
standards (ou factorisation
N o u s rappelons ici quelques lernrnes sur les roots lexicographiques

du
et m o n t r o n s
aussi
[CFL,
LEMME
i. 8
notamment
58], ELy,
q u q l s f o r m e n t une factorisation c o m p l ~ t e
standards
(voir
54], [Si, 58]) .
P o u r tout m o t
f d__~e X +,
les d e u x conditions suivantes sont @qui-
valente s :
(i)
f est strictement inf4rieur ~ tous ses conjugu@s propres,
Vu,
(ii)
vEX
, f = uv~f<vu
f est strictement inf4rieur ~ tous ses facteurs droits propres,
V u, v E X
Le mot
c'est-~-dire :
f est alors appel6
A v a n t de d ~ m o n t r e r
que le lecteur d 6 m o n t r e r a
+ , f = uv ~f <v
m o t lexicographique
ce l e m m e ,
c'est-~-dire :
standard.
nous rappelons d'abord le l e m m e
ais6ment.
www.bibliomath.com
suivant
38
LEMME
1.9
Soient
e_~t n E 1N t e l s
u,
v, w E X +
uv = vw
. Alors
il e x i s t e
~, ~ E X~'~
que :
U = O~
D'autre
gr aphique
tels q u e
part,
nous
V = (~)n
utiliserons
w = ~
les p r o p r i 4 t 4 s
suivantes
de l'ordre
lexico-
vf,
g E X +
tels q u e
f < g , ou bien
est f a c t e u r
gauche
de
g ,
I.ZI)
ou bien
1.22)
Yf,
g E X +
l. Z3)
vf,
g E X+
Nous
prouvons
(a)
Vu,
f < fg
VU
fu < g v
uf < u g c ~ f
~ X+
maintenant
< g.
successivement
(i) ~ (ii) .
Soient
Comme
me
f E X+
v~rifiant
f < vu , d'apr~s
1.9 , on peut trouver
fair
D'apr~s
et
(i)
sont
0/ et
avec
et
u, v C X +
il e x i s t e
~ E X~
v=(~)n~
diff6rents de
et
tels q u e
E X +
n E IN
puisque
w=13~
(1.Z3)
= f <
f = uv . Supposons
tel q u e
f = vw
tels q u e
. D'apr~s
v<
est n 4 c e s s a i r e r n e n t
~(C~)n+l
www.bibliomath.com
f .
le fern-
on a :
(~)n+l
d'otz,
(i)
(l. gl),
u=~
En
v C X +
prirnitif.
39
(~ol)n+l
puis a v e c
<
donc
(I. 21) :
(~)n+l
Mais
(~)n+l
(~0t)n+l~
<
est u n c o n j u g u 4
(~)n+l
propre
= f
de
ce qui est contradictoire.
O n avait
f < v .
(b)
(ii)
Soient
f E X +
f < vu . Le lemme
= (i) .
v4rifiant
1.8
(ii) et
u, v 6 X +
tels q u e
f : uv . D'apr~s
(i. 21)
est ainsi d4rnontr4.
C. Q . F . D .
LEMME
Alors
i. I0
Soit
l'ensemble
d e s roots l e x i c o ~ r a p h l q u e s
standards
de
V u, v E F
Soient
Un
u, v 6 F
conjugu4
avec
de
u < v
u <v
et
f = uv E F
f = uv .
f peut p r e n d r e
l'une d e s trois f o r m e s
(a)
g=
(b)
g = vzuv 1
o~
v = v 1 v2
avec
v 1,
v2
(c)
g = u2vu 1
o1
u = u 1 u2
avec
u 1,
u 2 E X+
(a) D ' a p r & s
suivantes :
VU ;
(i. 22) o n a :
U<VU.
www.bibliomath.com
E X+ ;
X*
40
Supposons
que
soit f a c t e u r g a u c h e
u = (O~)nc~
C e c i est c o n t r a d i c t o i r e
Ainsi,
d'apr~s
(b) D ' a p r ~ s
avec
de
avec
E F ,
vu . On
0~ et
(i. 22)
8 / e
n >_ 1 .
et la condition
(ii) d u l e m m e
1.8 .
(i. ZI) :
f<vu=
v < vz
et d ' a p r ~ s
(ii) o n a
(i. Zl)
vu < VzU < vzuv I = g
D'aprgs
p o u r r a i t alors 4crire :
et
(I.2Z) :
(a), il vient :
f<g
(c) D ' a p r ~ s
(ii) o n a
u<u
f = uv
et
avec
< uZv
(l. Zl)
ilvient :
< u2vu I = g
C. Q . F . D .
LEMME
i. Ii
L'ensemble
d e s rnots l e x i c o g r a p h i q u e s
l'ordre induit de llordre l e x i c o g r a p h i q u e

appel4e
ordonn4
i. 3 , q u e tout
i. I0
f E X+
prouve,
se factorise
X ~ ,
par
est u n e factorisation c o m p l ~ t e ,
V
a u s s i factorisation de C h e n - F o x - L y n d o n - S i r ~ o v .
Le lemme
de
standards,
avec un raisonnement
analogue
(1.20) :
www.bibliomath.com
~ celui d ~ l e m m e
41
f = fl ... f p
Soit maintenant
r ,
Z -< r -fp
et
g E F .
Alors,
il e x i s t e
"'" fr -i u
mu
I e
...
>-u
D'o~
g E F . Ainsi
F
'
fl >- . . .
tels q u e :
u q _<fl<g
en contradiction avec
fi C F
fl
et de l o n g u e u r
est n 6 c e s s a i r e m e n t
maximum.
le facteur g a u c h e
La forme
(1.2)
strict
est d o n c unique.
C. Q. F . D .
Le lemme
1.4
PROPOSITION
et le r a i s o n n e m e n t
1.4
Soit
du lemme
1.5
prouvent
ordonn6e
de
X +
v4rifiant la
condition :
(Fa I)
Tout
A/ors,
e n notant
d e s d e u x conditions
De
f E F
re@me,
se factorise
Ix I
= q ,
6quivalentes
(1.20) .
e st u n e factorisation c o m p l ~ t e
- v n > 1
IF n x n l
- Vn 2 1
IF n Xnl
~ q(n)
par un raisonnement
q(n)
analogue
www.bibliomath.com
s si o n a l'une
42
PROPOSITION
1.5
. Soit
une partie t o t a l e m e n t
Tout
f E F
admet
ordonn4e
de
X +
v4rifiant la
condition :
( F a Z)
Alors,
des deux
en notant
conditions
En
fait,
[Sc,
1.6
- V n >_ i
IF O x n I
>- Jq(n)
d e s trois conditions
propositions
suivantes
impliquent
( F a Z)
(cf. proposition
( F a 3)
Pour
En
tel que
particulier
termes
l.Z
un syst&me
Nous
de
au chapitre
III.
X + . Alors
deux
ordonn4e
la troisi~rne
g4n4ral
de
1.4) ;
1.5) ;
route classe de c o n j u g a i s o n
C N f~'~ ~ ~D . D e plus
de
X ~ , il existe u n et
IC N f~'~] = 1 .
COROLLAIRE
forment
4nonc4
il devient
(cf. proposition
f E F
d'un th4or~me
qui sera
de ce chapitre,
( F a I)
u n seul
ssi on a l'une
sont voisines
sur les factorisations,
Soit
cornpl~te
(I. Z0) .
: ~q(n)
compl~tes
sous la f o r m e
e st u n e factorisation
II? n x n l
65]
- V n > i
les factorisations
PROPOSITION
= q ,
4quivalentes
ces deux
Sch~itzenberger
Pour
Ix I
au plus u n e factorisation
. Soit
u n e factorisation
de r e p r 4 s e n t a n t s
pourrons
maintenant
de factorisations
E n particulier,
cpmpl~te
des classes primitives
r64crire
quelques
d~montr4
X ~'~ . L e s
la :
www.bibliomath.com
roots de
de c o n j u g a i s o n
rdsultats d e s
nous avons
de
et
de
F
X ~" .
en
43
PROPOSITION
(Ha I ) et
(i)
1.7 .
Soit H
une partie totalement o r d o n n ~ e de
M(X)
v~rifiant
(Ha Z) . Alors les conditions suivantes sont ~quivalentes :
L a restriction
respondant de
d__~e 8 est bi.iective et
8(H) ~ o r d o n n ~ par l'ordre cor-
H , est une factorisation c o m p l ~ t e de
(ii)
g a famille ~y(h) , h E H ] est une base de
(iii)
v@rifie
X~ .
L(X).
(Ha3).
L'6quivalence
de
(ii) et
(Ha3)
est le t h ~ o r ~ m e
1.2 .
L'implication
(Ha 3) = (i) est d o n n 4 e par la proposition
L'implication
(i) = (Ha 3) est le l e m m e
I.Z
et le l e m m e
1.7.
1.6 .
N o u s d o n n o n s maintenant dlautres caract~risations

de Lazard.
P o u r ceci, nous m e t t o n s d'abord le lemrne
utiles des factorisations
1.3
sous une f o r m e
plus
cornpl~te :
LEMME
i. 12
ge . Soient
f E X+
Soit F
une factorisation de L a z a r d de
e_t x E X
P(f) = (fl .....
Alors on a
q _< p
X ~'~ et
son parenth~sa-
tels que :
fp)
F(fx) = (gl .....
gq)
et on peut ~crire :
fl= gl' "'" ' fq-i = gq-i
'
gq = fq "'" fpx
avec :
:-Igq = (l-:fq, (:Ifq_ I . . . .
(l: fp, x)...
) .
www.bibliomath.com
'
fp < x
44
La preuve
de p e n s e r
de ce l e m m e
~ la figure
NOTATIONS.
Pour
notons
encore
I. 1
un
est c o n t e n u e
1.8
u n e factorisation
suivantes
p-uple
~ = (fl' "'" 'fp)
Soit
de L a z a r d
et
de roots de
ssi
X + , avec
p >_ i
nous
compl~te
v4rifie l'une d e s
de
X "~ . A l o r s
conditions
est
~quivalentes
v f ~ x +,
vg~x*,
(v)
V f E X+
V g ~ X*,
(iv,)
~f~r
v g ~ ,
(v')
V f E F
V g E F
~) Soient
Hall associ4.
Le lemme
sur
Igl
~) P r o u v o n s
fg E F . S u p p o s o n s
l~oF(f)I < rXoF(fg)T ;

koF(f)
(iv) = (iv')
maintenant
fg < f
~ f < fg
de L a z a r d
respectivement
et
et
i. iZ
H = If(F)
(iv') ,
les conditions
et
(iv') i m p l i q u e n t
( H a 3)
(iv) et
(v) .
g E F
avec
de
et u n e
(v) = (v') .
on a :
Ifsl < ~oF(fgf)
F(fgfg) = (fg, fg)
l'unique e n s e m b l e
a v e c la condition
(iv') = (v') . Soient d o n c
. D'apr~s
<I~or(fs)r ;
fg 6 F
i. 3 , puis le l e m m e
prouvent
_< koF(fg)
IfT
u n e factorisation
8) Ii est trivial que
Mais
i. 3 . Ii suffit
p(~) = fp
u n e factorisation
(iv)
r4currence
celle d u l e m m e
X(~) = fl
PROPOSITION
dans
aussi :
~oF(fsf) < ]fgq
www.bibliomath.com
f et
f < g
eL
45
On
avait d o n c
D'apr~s
f < fg .
~) , ~)
i' i m p l i c a t i o n
et
que
i. 8
sera d6rnontr6e
si n o u s d 6 r n o n t r o n s
6) (v') ~ F
Nous
~{) , la p r o p o s i t i o n
est u n e factorisation de L a z a r d .
prouvons
cette i m p l i c a t i o n p a r r 6 c u r r e n c e .
v6rifie les conditions
( L a n)
et
Soit
n >_ 1
et s u p p o s o n s
(La") :
n
xn
N F : [u I . . . . .
Uk+ 1 }
avec
u I < u z < . . . < Uk+ 1
et
ul ~ : Yo'
Le lemrne
1 7
uz c YI : u~(X\ul) . . . . .
est valable ici et tout m o t
f de
uk+ I c Yk : u~(Zk-1\uk)
X +
se factorise de r n a n i ~ r e u n i q u e
s o u s la forrne
( I. 24)
f = 8 C~k+l ~ k "'" ~l
~i C u I . . . . .
avec
(~k+l f U k + l
' ~ 6 Yk+l
e n notant
Yk+1 : uk+1(Yk\uk+1)
Soient
f C Yk+l
( L a n) , tous les
tions
de la forrne
f.
I
n xn+l
et
sont d a n s
F(f) : (fl . . . . .
[u I . . . . .
Uk+l]
f ) . Sip
P
et
> I , alors d'apr~s
adrnet d o n c d e u x f a c t o r i s a -
(1. Z4) :
f=f
et
f=f
f
l "'"
p"
Ainsi
p=
R6ciproquernent,
soit
et
fEF
f 6 F A X n+l . A l o r s
d a n s l'6criture
www.bibliomath.com
(i. Z4)
on a :
46
~ e , sinon on aurait deux 6critures diff6rentes de

D'apr~s
(La'n) on a alors
181 = n+l
, d'oh
f = ~
f sous la f o r m e
(i. Z0) .
et f E Yk+1 "
N o u s avons p r o u v 6 :
(i. Z5)
Yk+l n xn+l
D'apr~s
(v')
: Iz x n + l
(La n) , il vient :
et
(1.26)
VP,
l <_p < k _
vfEY
n X n+l
Avec
(i. 25)
(i. ZT)
< f
et (i. 26), on peut donc 6crire :
F n xn+l
= [u I, Vil, ... ,v31, uz' viz ..... vjz

..... ,Uk+ l,vlk+l
.....
Vjk+l]
(ordonn6 par l'ordre induit), avec les conditions :
( 1, zs)
, ....
vj
~i
.
C Y1 n x n + l
1
v ......
ik+ 1
E Yk+1 A x n + l
3k+ i
Le lecteur p r o u v e r a alors avec
(La n) et (1.28)
au d e u x i ~ m e
v6rifie
D'apr~s
membre
(La'n)
et
de
(l. Z7)
des 616ments
(La'+l) .
(1.25) , on v6rifie aussi
sont trivialement v6rifi6es,
que la suite o r d o n n 6 e
(Lan+l) . C o m m e
on d6duit l'implication
(La'l) et (La'i)
6) par r6currence.
C. Q . F . D .
EXEMPLE
I. 9
v6rifie 6 v i d e m m e n t
V. V
L a factorisation de C h e n - F o x - L y n d o n - S l r s o v
la condition
de l'exemple
1.8
(v') . C'est donc une factorisation de Lazard.
Si nous avons maintenant des crit~res c o m m o d e s
www.bibliomath.com
pour caract6riser
les fac-
47
torisations
deux
compl~tes
moyens
qui sont des factorisations
de construire
ou les e n s e m b l e s
plus p r a t i q u e s
Soit
1.9
Soit
If' : F _~ M ( X )
- II'x = x
- Pour
qui leurs
de Hall du 3 . N o u s
pour retrouver
PROPOSITION
[I .
les b a s e s
pour
tout
f E F\X
et les b a s e s
que
: le p a r e n t h 4 s a g e
trois autres
crit~res
du
nettement
associ~es.
de L a z a r d
de
d4finie p a r r 4 c u r r e n c e
X ~'~
, de p a r e n t h 4 s a g e
sur les d e g r 4 s
x E X .
, notons
f = gx
II'(f) = ([I'fI, (I1'fz . . . .
alors
donnons
u n e factorisation
l'application
nous n'avons
sont a s s o c i 4 e s
le p a r e n t h 4 s a g e
de L a z a r d ,
avec
x E X
et
([I'fp, x)...))
F(g)
= (fl .....
fp) '
A/ors
II' = I f .
Cette proposition
PROPOSITION
ge
II
Pour
distinct
che
de
strict
D e plus,
1. 1 0
f E F\X
f
de
d4coule
Soit
,
imm4diatement
une
notons
~(f)
et appartenant
F .
F.
appartenant
en notant
If" : F . M ( X )
[I"x = x
(ii)
V f C F\X
le facteur
Alors
f = 0t(f) ~(f) , o n a
par r4currence
(i)
factorisation
pour
tout
II"f
c~(f)
du l e m m e
i. 12 .
de
de
Lazard
gauche
est
de
aussile
de la f a q o n
x E X ;
de iongueur
plus
grand
maximum,
facteur
gau-
~(f) E F . O n peut ainsi d4finir u n e application
sur les d e g r g s
(II"~(f)
X ~''~ , d e p a r e n t h ~ s a -
II"~(f))
A/ors
11 = If"
www.bibliomath.com
suivante
48
~) Soit
che de
f E F\X
f tel que
et notons
IX F(g)]
la condition
(iv) (resp.
la p r e m i e r e
assertion
(I. Z9)
< [f'[
avec
(resp.
k F(g) <f') . g e lecteur p r o u v e r a ,
de la p r o p o s i t i o n
~(f) : k F(g)
aurait d e u x factorisations
proposition
1.8 ,
f = ~(f) gl
et d o n c
position
1.8 , que
u n facteur
gauavec
f' = f . iNous a v o n s
ainsi
selon
et
gq) . O n
(I. Z0) . D ' a p r ~ s
adrnet u n facteur
q = 1
f' E F
et de plus :
F(~(f)) = (gl . . . . .
de
c~(f) gl
y) L'6galit6
x C X . Soit
(v)) de la p r o p o s i t i o n
9) l'qotons m a i n t e n a n t
Ainsi
f : gx
gauche
/(f) < gl ' sinon o n
la condition
dans
(v)
plus g r a n d
de la
que
~(f) .
8(f) C F .
[I : If" n'est plus qu'une
cons6quence
de
(I.Z9)
et de la p r o -
1. 9
C.Q.F.D.
REMARQUE
II"(F)
i. 3
O n aurait pu aussi p r o u v e r
EXEMPLE
i. I0
de Hall et appliquer
l'6galit6
le corollaire
Z = [I" en m o n t r a n t
que
i. 1 .
V
de C h e n - F o x - L y n d o n - S i r ~ o v .
Base
En
appliquant le th6or~rne
i. 1 et les propositions
1.8 et 1.9 ~ la factoV
V
risation de S i r ~ o v n o u s r e t r o u v o n s la b a s e de S i r ~ o v
[Si, 58] du 1 . E n appliquant le th6or~me
Chen-Fox-Lyndon,
COI~OLLAIRE
son.t identiques
On
nouvelle
verra
i. I
nous
i. 3
Les
et les p r o p o s i t i o n s
retrouvons
bases
(5 des syrn6tries
d'autres
1.8
et
applications
~ la factorisation
la b a s e de C h e n - F o x - L y n d o n
de
et de plus :
V
et de S i r ~ o v d6finies au
de C h e n - F o x - L y n d o n
pros
I. I0
sur les ordres).
au p a r a g r a p h e
suivant,
b a s e de S p i t z e r - F o a t a .
www.bibliomath.com
avec notamrnent
la
49
5. B a s e s et factorisations r4guli~res.
E n rernpla~ant "facteur g a u c h e " par "facteur droitr' on pourrait refaire

d u a l e m e n t toute it~tude des p a r a g r a p h e s
les notions de factorisations de L a z a r d
Z, 3 et 4 . O n peut ainsi d~finir dualernent

~ droite, ainsi que d'ensernble de Hall
droite. L e s d~finitions p r ~ c ~ d e n t e s d e v e n a n t alors factorisations de L a z a r d ~ gauche et e n s e m b l e s

paragraphes
de Hall ~ gauche.
O n a alors routes les propositions duales des
precedents.
L'objet de ce p a r a g r a p h e
est d'~tudier la classe rernarquable des factorisa-
tions qui sont g la fois de Z a z a r d ~ g a u c h e et ~ droite. L e s b a s e s associ~es (par

exernple p o u r le p a r e n t h ~ s a g e ~ gauche) jouissent alors de propri~t~s rernarquables
et sont en g~n~ral particuli~rernent c o m m o d e s
utiles p o u r les calculs sur ordinateur.
de C h e n - F o x - L y n d o n - ~ i r ~ o v
~ rnanier dans la pratique, et tr~s
Z e s d e u x exernples irnportants sont les b a s e s
et les nouvelles b a s e s que n o u s allons d~finir ici et
que nous appelJerons b a s e s de Spitzer-Foata.
DEFINITION
r~guli~re
i. 5
U n e factorisation cornpl~te
du rnono~de libre
X ~
est dite
ssi elle est & la fois factorisation de Z a z a r d & g a u c h e et ~ droite.
E n cornbinant la proposition 1.8
et sa duale, on obtient irnnrn~diaternent la
caract~risation suivante, que le lecteur peut aussi p r o u v e r d i r e c t e m e n t :
PROPOSITION
i. 1 1
U n e factorisation cornpl~te
du rnonoi'de libre
X '~ e___t
r~guli~re ssi elle v4rifie l'une des d e u x conditions 4quivalentes suivantes :
(i)
vf E F
vgE
(ii)
vf C F
~g
C F
, f< g ~
, fg E F
fg E F
= f <fg<
g .
www.bibliomath.com
5O
EXEMPLE
i. 11
LEMME
i. 13
compl~te
V
de C h e n - F o x - L v n d o n - S i r ~ o v .
Bases
V
L a factorisation de C h e n - F o x - L y n d o n - S i r ~ o v
r 4guli~re.
O n avait d4j~ vu qulelle 4tait factorisation de L a z a r d

(ii) du l e m m e
lernme
est une factorisation
1.8
i. l0
prouve
qu'elle l'est aussi ~ droite.
et la condition
Donnons
(i) de la proposition
au p a s s a g e
~ gauche.
L a condition
O n peut aussi utiliser le
I. ll .
une propri4t4 r e m a r q u a b l e
des b a s e s a s s o c i 6 e s
t4e p a r P. Cartier (voir aussi
[Vi,
PROPOSITION
i. IZ
V
une factorisation de C h e n - F o x - L y n d o n - S i r ~ o v
X ~ e___t YolT(F)
la b a s e associ4e.
cent ~
L(X)
module.
Soit
sur le m o d u l e
L a restriction
75]) :
Soit
T l'op4rateur projection du m o d u l e
libra de b a s e
Tn
(n >_ I) de
F . Alors
T
- -
le
Ln(X)
sur le m o d u l e
Yol~(F N xn)
de b a s e
par r4currence
i. 14
V
Lyndon-Sir~ov
moggnes
de
(X)
de
sous-ja-
est un i s o m o r p h i s m e
est un i s o m o r p h i s m e
de
du rnodu-
repr6sentant
b a s e s respectives
est triangulaire,
~ coeffi-
Cette proposition
LEMME
cients entiers et de d 6 t e r m i n a n t
de p r o u v e r
~
--
F N xn En prenant comma
et F Q X n , la m a t r i c e
-
explici-
Soit u
, et soit
1 .
se d4duit i m m 6 d i a t e m e n t
sur les d e g r 6 s
un
alternant de
suivant qu'il est ais4
L(X) , 4 1 4 m e n t d'une b a s e de C h e n - F o x
u = E u: l'4criture de
J.
i
1K {X> . A l o r s
du l e m m e
comme
est le plus petit des
somme
d'416ments
u i pour l'ordre
ho-
lexicogra-
p h i q u e ( e n p r e n a n t l a dC_~inition de C h e n - F o x - L y n d o n ) .
Ainsi, p o u r calculer les coefficients du d ~ v e l o p p e m e n t d'un 4 1 6 m e n t de Lie

V
u E IK <X> selon la b a s e de C h e n - F o x - L y n d o n - S i r ~ o v ,
il suffit, d a n s le d4veloppement
de
selon la b a s e
X ~'' de
]K <X> , de ne p r e n d r e
www.bibliomath.com
en consid6ration
que les
51
roots lexicographiques
standards
F , et d'inverser des m a t r i c e s triangulaires
coefficients entiers n'ayant que des
sur la diagonale.
L e lecteur se r a p p o r t e r a a u x calculs sur ordinateur des coefficients de la

s4rie de B a k e r - H a u s d o r f f
z = Log(eXeY),
effectu~s par
J. M i c h e l
[Mi,
74]
P a r e x e m p l e , r e p r e n o n s les @ l @ m e n t s de d e g r @ _< 5 de la base de C h e n V

Fox-Lyndon-Sir~ov
de l'exemple I.Z : X = {x, y} avec x < y . Soit M
la m a n
trice associ4e ~
, en o r d o n n a n t la base
et en donnant l'ordre c o r r e s p o n d a n t p o u r
F Q X n
selon l'ordre lexicographique
~ol](F N xn) , base de
Ln(X) . O n a
F n x = {x, y}
F n x z = {xy}
y o II(xy) = x y - y x
FNX
= {xZy, x y 2 }
YoII(xgy) = x Z y - 2 x y x + y x Z
o~(xy2) = xy2
F N X 4 = {x3y,
- 2yxy
+ y
2x
x 2y 2 , x y 3 }
yol'I(x3y) = x3y _ 3xZyx
+ 3xyx Z _ yx 3
yoE( xZyZ) = x Z y 2 - Z x y x y + 2 y x y x - y Z x Z
yori(xy3)
----
xy3
Les matrices correspondantes
3yxyZ + 3 y Z x y
y3
sont :
M3 =
M4 =
1
0
D e m S r n e on calculerait
F N X 5 = {x 4 y ,
M 5 :
x3y 2 , xZyxy,
x Zy 3 , x y x y 2 , x y 4 }
www.bibliomath.com
52
x4y
x3y 2
-3
xZyxy
xZy 3
-Z
xyxy Z
xy 4
M 5 =
EXEMPLE
i. IZ
Factorisations
N o u s n o u s restreindrons
g~n4ral
r ~ Q,
ici & u n alphabet g
lettres
X=
{x, y].
L e cas
sera ~tudi4 au chapitre III.
NOTATIONS.
nombre
et b a s e s de Spitzer-Foata.
Pour
f E X*
d'occurrences
, nous d6signons
de la lettre
n o u s d~finissons u n e partie
par
Iflx
ou la lettre
de
et
dans
X + comme
]fly
respectivement
f . Pour
le
tout rationnel
6tant l ' e n s e m b l e
des
f E X+
tels que
de
Ifly/lflx = r et luly/lulx < r pour tout facteur g a u c h e strict n o n vide
f.
O n peut traduire cecz g 6 o m 6 t r i q u e m e n t

"chemin
minimal"
"pas horizontal"
Z
3
f = xyx yxy
de
IN X IN : ~ c h a q u e o c c u r r e n c e
(resp.
"pas vertical").
est r e p r 6 s e n t 6
sur la figure
f
/
de
(resp. y)
Ainsi le chernin m i n i m a l
l.Z :
Z
3
f = xy x y xy
/
x
Pig.
Y
Y
//x
en associant ~ tout m o t de
i. 2
www.bibliomath.com
X +
un
correspond
associ6
un
53
Les
roots
de
sont
alors
exactement
les roots
dont
le chemin
minimal
associ~
ses
est
situ~ strictement
extrgmitfis.
Nous
(sauf aux extr~mit~s)
Z
3
f = xyx yxy
E Y5/4
Ici
convenons
que
= {y}
en dessous
de la droite
joignant
"
et que
co est u n syrnbole
strictement
sup~-
00
rieur ~ tout
r E QUIt},
bre
avec
r E Q
Comme
l'ensemble
Yr
Y~r " ]Wous o r d o n n o n s
d o n c d~finir
Yr
cographique
le des
induit de
ensembles
Q U [co] Nous
LEMME
i. 15
fibre,
appel~e
c~) T o u t
(1.30)
et induit de
factorisation
~ l'intersection
la partie de
Comme
IN IN
chaque
d~duit a i s @ m e n t
induit de celui de
aux chemins
n o u s po~uvons
standards
relativement
~EQU{~]
llensemble
, la s o m m e
ordina-
totalement
ainsi d~fini est u n e factorisation
ordonn6
avec
fi E Yji ,
: les roots
minimal
associ6
unique
ji E Q U [ ~ }
fl . . . .
~
de ce c h e m i n
qu'elle est r6guli~re.

on prouve
compl~te
r~gu-
sur d e u x lettres.
de m a n i & r e
situ6e en d e s s o u s
minimaux,
X ~
ais6ment
du c h e m i n
F =
selon
de S p i t z e r - F o a t a
p > 1
li-
supposait u n alphabet
, fp
Soit
jl>...
>_jp
correspondent
f a v e c l'enveloppe
minimal
f E Y ~r '
qu'il existe
Y~'~
Ji
g E Yt~ a v e c
s E ~
www.bibliomath.com
tel que :
exacte-
convexe
(voir figure
F.
est u n e factorisation c o m p l & t e r e l a t i v e m e n t
Ji
que F est u n e factorisation cornpl~te de X ~ .
8) M o n t r o n s
pensant
se factorise
s'en c o n v a i n c r a
6noncer
L'ensemble
f E X +
le s o u s - m o n o ~ d e
Y~'~ . (C'est aussi itordre lexir
ordonn6s
alors
f = fl...fp,
L e lecteur
d e s roots l e x i c o g r a p h i q u e s
totalement
d~velopp&jusqu'ici
X ~) . E n f i n n o u s p o s o n s
pouvons
librement
p a r l'ordre l e x i c o g r a p h i q u e
avons
pour chaque
sans peine au cas infini et e n particulier,
F r , ensemble
l'alphabet o r d o n n d
sur le dessin,
est u n c o d e qui e n g e n d r e
x < y . L a th~orie q u e n o u s
fini. Elle se g~n~ralise
ment
o n le volt a i s ~ m e n t
de
I. 3) .
o n en
r < t .
En
54
(i. 31)
r < s < t
Comme
Y
r
chaque
(lemme
1.13),
r E Q
U [co] , est
o n d ~ d u i t de
de la proposition
fg E Y
et
une
(1.31)
factorisation
que
r~guli~re
relativement
v~rifie les conditions
(i)
et
(ii)
I. Ii .
C.Q.F.D.
REMARQUE
1.4
factorisations
un exemple
de
E n fair, n o u s c o m m e n ~ o n s
g4n4rales
du chapitre
rernarquable.
III. L a farnille
Nous verrons
par les factorisations
ici ~ avoir v r a i m e n t
que
(compl~tes)
~ = (Yr'
besoin des
r E (~ U [o}) e n e s t
est la factorisation dire c o m p o s 4 e
. L a factorisation
est le cas parti-
culler ~ d e u x lettres d'une notion introduite par Spitzer ~ des fins statistiques
(voir
F
~Sp,
56])
puis r@utilis@e par Schiitzenberger
est d6finie de m a n i ~ r e
nora de factorisation
de p e r m u t a t i o n s
sp4ciale de Spitzer,
[Fo,
65]
65] . L a factorisation
et introduite sous le
en rue de propri6t6s
de r 4 a r r a n g e m e n t s
(avec r ~p4titions).
Nous pouvons
[I : F -. M ( X )
~quivalente par F o a t a
~Sc,
d4finir d e u x p a r e n t h 4 s a g e s
associ4s ~
F . D'abord
d4fini en tant que factorisation de L a z a r d
Puis il y a aussi u n p a r e n t h 4 s a g e
plus naturel
il y a
~ gauche.
If', d@fini p a r " c o m p o s i t i o n "
de la
fagon suivante.
Soit
Z =
et soit ~x : Z ~ M ( X )
r
fa~on que d a n s la proposition
d6fini par r 4 c u r r e n c e
sur les
rEQ U[oo)
degr~s,
de la m ~ m e
vxEX
V f E Z
gueur maximum.
~(x)=x
on peut toujours
Mors
i. i0 :
4crire
on v6rifie que
f = uv
v E Z
avec
u, v E
et on d6finit
www.bibliomath.com
x+ ,
u E Z
de ion-
55
Soit d'autre part, p o u r c h a q u e

F r
r E Q U [~o} ,
(en tant que factorisation de L a z a r d

a
Pour
Yr
]Ir : F r -. M ( Y r)
~ gauche
sur
s'4tend de rnaniAre unique en u n m o r p h i s r n e
f C F , il existe u n u n i q u e
tel que
ri'(f) = ~ r oFir ( f )
Donnons
Soit
de la figure
1,3
22
2 2 2
3
f = x y xy x y xyx y
qui est r e p r 4 s e n t 4
J
x
Fig.
La forme
(i. 30)
de
de
-* M ( X )
f E W r-',,~ et on d4finit alors :
/xy
~r : M ( Y r )
~7r
/x
L a restriction
de m a g m a
de
tout de suite un e x e m p l e
EXEMPLE.
Y~;)
le p a r e n t h ~ s a g e
I. 3.
f est alors :
f = fl f2 f3 f4
avec
www.bibliomath.com
par le c h e m i n
minimal
56
fl = x2 yZ x yZ
fz=X
E Y4/3
EY 1
f3 = xy
3
f4 = x y
E Y1
E Yl/3
"
O n peut alors ~crire :
F(f) = (gl' gz' g3 )
avec
gz = fz f3 E F 1
g3 = f4 E E l / 3
et
gl = fl E F 4 / 3
O n a ici :
I] f4 = If' f4 = (x, (x, (x, y)))

I] f3 = 1]' f3 = (x, y)
fz = n' fz : ((x, (x, y)), y)

[I gz = I]' gz = (I] fg' rI f3 ) .
M a i s par contre :
fl = ((K fz' ~ f3 )' y)

~' f~ = (n fz' (~ f3' y)) "
PROPOSITION
I. 13
. L e s familles
bases de l'alg~bre de Lie libre
L(X)
[yol](f), f E F ]
e_!t (!Fol]'(f), f E F ]
sont des
et sont appel~es bases de S]~itzer-Foata sur
deux lettres.
Z e fair que
[~olI(f) , f C F }
soit une base de
L(X)
et des propositions de ce chapitre. P a r contre, d ~ m o n t r e r

aussi naissance & des bases n~cessite le chapitre
chapitre
II . E n effet, le lecteur verra que
th~sage " c o m p o s ~ "
r~sulte du l e m m e
le fair que
i. 15
If' donne
III et donc les bissections du
If' n'est pas autre chose que le paren-
de la factorisation (g~n~rale)
avec celui des factorisations
www.bibliomath.com
57
( c o m p l ~ t e s)
O n utilise alors (voir l'6tude d u chapitre
III) :
LEMME
1. 16
te basique
res
Pour
r E Q U [oo} , l a f a m i l l e
de la sous-algAbre
d'alternants
de Lie libre
dont le degr6
Remarquons
L
tout
en
[yoT~ f)
L r , ensemble
est
6gal 5
a l o r s q u e le m o d u l e
L(X)
f E Y ]
r
des
fois celui
est s o m m e
est une famil-
combinaisons
en
lin6ai-
x .
directe d e s m o d u l e s
L(X) _
Enfin,
le lecteur p r o u v e r a
propri6t6s
F c X +
allons d o n n e r
de
X ~ . Pour
L(]'o W(Yr))
q u e les b a s e s
Nous
r6guli~res
(9
i. 14
v6rifient e n c o r e
les
i. iZ .
maintenant
une construction
ceci n o u s p o u v o n s
qui sont d e s factorisations
PROPOSITION
de S p i t z e r - F o a t a
Soit
complhte
caract6riser
r6guli~res
de
d e s factorisations
simplement
les e n s e m b l e s
par :
r6guli~re
g6n6rale
ordonn6e
de
X + . Alors
X ~'~ ssi elle v6rifie les trois conditions
suivante s :
(i)
X ~
F ;
(ii)
V f 6 F\X
(iii)
Vu
E F ,
D'apr~s
Z u E F ,
VvE
u<v
la p r o p o s i t i o n
R6ciproquement,
(i), (ii) et
Z v E F
(iii} . N o u s
soit
tels R u e
uv E F
u < v
et
u<uv<v
i. II , c e s conditions
et
la partie
de
sont 6 v i d e m m e n t
construisons
f = uv
ordonn6e
M(X)
d e g r 6s.
www.bibliomath.com
de
n6cessaires.
X +
v6rifiant
par r6currence
sur les
58
Posons
d'abord
H I : X . Supposons
tels que la restriction de
ensuite d6finis
soit u n e injection de
YI
ordonnons
H I ...
dans
c M
(X)
F N xn
Nous
par l'ordre c o r r e s p o n d a n t
de
6(H n) . N o u s
d@finissons
alors
Hn+ I ~
Mn+I(X)
par la condition
Hn+ 1 = [h E Mn+l(X)
et tels que si
D'apr&s
<- n+l
la condition
d'un e n s e m b l e
tion de
8 ~
(iii) ,
p(h) ~ X
Hn+ 1
p(h) E H n
alors
kp(h) -< k(h)} .
est alors l ' e n s e m b l e
M(X)
k(h) < p(h)
des ~ l ~ m e n t s
et, d'apr&s la proposition
de d e g r ~
1.2 , la restric-
H n + 1 est e n c o r e une injection.
H n = H N Mn(X)
nous construisons
p o u r tout
n > 1 . Soit
ainsi u n e n s e m b l e
F' = 6(H) ~ F
de Hall
tel que
la factorisation de L a z a r d
H.
Nous
montrons
d'abord que
est la restriction de celui de
(R n)
V f, g E F' ,
Soient m a i n t e n a n t
f E F'
et
Si u < ll(f) , alors d'apr&s

d'oG avec
X(h) E H n
de Hall de
Par r~currence,
associ~e
( H a Z) :
F'
est r~guli&re (notons que P o r d r e
F) . S u p p o s o n s
Igl ~<n
f<
g E F' f] x n + l
(Ha 2)
sur
F'
que l'on air la condition
fg E F'
. Notons
g = 8(h) a v e c
fg E F' . Sinon on a d'apr&s
h : (u, v) C H .
(Rn),
f(6u) E F' ,
(iii) :
f < f(Su) < 8u < 6v .
D'apr&s
(i~n) , il vient
f(Su)(6v) = fg E F' . O n a ainsi
est vraie dlapr&s
( H a 2) . Ainsi par r ~ c u r r e n c e ,
proposition
et est une factorisation r6guli&re.
i. ii
de P h y p o t h & s e
prouve par r~currence
F'
( R n + I) . D'autre part
v~rifie la condition
L e s conditions
sur les l o n g u e u r s
www.bibliomath.com
que
(R I)
(i) de la
(i) et
F' = F . Ainsi
(ii)
F
est
59
bien u n e factorisation
cornpl~te.
D e plus elle est alors r~guli~re.
C.Q.F.D.
La construction
repose
i. 17
Soit
F 1 _c F 2 _c . . . _c F n
longueur
F 1 = X
oi les
la restriction
(b n )
VU,
(c n)
vf E Fn\X
v E Pn
il existe
(an), (b n)
cornpl&tes
r6guli~res
Iu v I _< n ,
'
, ~ u, v E F
et
de
X*
[u', v']
~ chaque
u < v ~uv
n '
(an+l),
f = fl ... fp ,
p >_ 1
le lernrne,
u < uv_...
unique
ef p
tels que :
f = U V = uIv ~
il est clair qu'il suffit de p r o u v e r
ont une intersection
Supposons
et
-et
-
e_!t (Cn+l)
et u, v, u', v' E F n
U! < VI
ordonn@s
F.l est celui de
u < v
(bn+l)
f E xn
E F n
tels que
(c n) . Ainsi tout m o t
U < V
prouver
F n
totalement
d~finis
f E xn+l
total. S u p p o s o n s
sont des e n s e m b l e s
F n + I v4rifiant
Soient rnaintenant
avec
F.I
de l'ordre de
L a d6rnonstration
et
rnuni d'un o r d r e
_< i v4rifiant les trois conditions
(a n )
Pour
d e s factorisations
alors sur le lernrne :
LEMME
Alors
g6n~rale
que les s e g m e n t s
[u, v]
n o n vide.
luI < lu'I
"
Alors
o n peut 6crire
w 6 X +.
www.bibliomath.com
u' :
UW,
: WV'
60
w = w I . . . Wq
Soit
Une
r4currence
l'unique
analogue
la condition
4criture de
de la f o r m e
~ celle faite d a n s la p r e u v e
w i E Fn ,
du lemrne
w I >_...
>_w q
prouve,
grace
1. 3
(b n) :
w I _<v_<v'
et p a r
syrn4trie
:
U_<U
Ainsi les 414rnents
w i ,
I _<w
i -< i _< q
appartiennent
[u, v]
et ~
[u', v'] .
C. Q. F. D.
O n peut ainsi c o n s t r u i r e
(bn+ I)
(i.
et
(Cn+ I)
32)
v E Fn ,
If de t o u s l e s
u < v,
f = uv
est n o n vide.
construire
v@rifiant
(bn+ l)
et
cornpl~tes
u E Fn
(an+ 1 ) ,
tousles
u < v] U F
v E Fn
[u, v] , v4rifiant
Ii suffit alors
If p o u r
les factorisations
avec
segments
d a n s le s e g m e n t
(an+l),
F n + 1 v4rifiant les conditions
par :
F n + 1 = If E x n + l
L'intersection
tousles
"d'ins@rer"
ensembles
f = uv
chaque
avec
f E F n + 1 M X n+l
totalernent o r d o n n 4 s
(Cn+ I) . Ii est alors clair que l'on construit

r@guli~res
de
X ~'~ a v e c
u C F n ,
F N xn
= F
Fn+ 1
ainsi routes
(ordonn
n @ p a r l'ordre induit).
EXEMPLE
i. 13
jusqu'~
n = 6 . Nous
chaque
F.
Nous
effectuons
l'@crivons
une construction
possible
sous forrne de table jusqu'~
est d~fini en lisant la table de g a u c h e
avec
n = 5
~ droite) .
www.bibliomath.com
X = Ix, y]
(l'ordre relatif
61
F I
F 2
xy
xy
3
x y
F4
Z Z
x y
4
xy
F 5
3 2 2
Ky
x yxy
Nous
aurons
F6\F
5 = [x5y,
Par
2
xy
F 3
exemple,
xy
~yxy
Z 3
x y
xy
ici :
x4yZ,
x3yxy,
x Z y x y Z , x 3 y 3 , x Z y 4, x y x y 3 , xy 5 , x y x Z y Z }
2
Z
f = x yxy
pour
If = Ix, x y x y g] (3 I x g Y, Y 2 ~ n [xZyy, y] -- [ zyy, xy~yZ q
On
"ins~rera"
donc
a v e c une b a s e de
r6guli~re,
f entre
L6(X)
. Si
o n a par exernple
Z
x yxy
et
xyxy
. Les
[I est le p a r e n t h ~ s a g e
roots de
(~ gauche)
~on(f) = EEEx, E, Y33, Ex, Y33, Y]
www.bibliomath.com
F 6
sont en bijection
de la factorisation
CHAPITRE
BISSECTIONS
i. C o n s t r u c t i o n
DEFINITION
2. 1
Une
X +
(Z. i)
f = a I ...
X ~'~ = IN
X
Z. l
n'admet
Z. 1
bissection du mono~de
tel q u e tout m o t
ap
b I ... b
. Lorsque
LIBRES.
f de
avec
Dans
b C X
Ii est 6vident q u e le c o u p l e
et
(A,
X {~ est u n c o u p l e
X +
s'6crive de maniAre
p+q > 0
ai C A
tout ce chapitre,
(fini o u infini) d e c a r d i n a l
Soit
libre
est r6duit A u n seul 6 1 6 m e n t ,
p a s d e bissections.
EXEMPLE
MONOI'DES
d e s bissections.
parties non vides de
REMARQUE
DES
II
B)
Y : X\[b]
et
B)
de
unique
6 B .
le m o n o Z d e
nous
(A,
libre
supposerons
que
>_ Z .
n o n vide.
Posons
est u n e b i s s e c t i o n d e
www.bibliomath.com
X ~ .
A:
b{~Y
et
B = {b].
63
EXEMPLE
(A,
Z. 2
B)
suivant
Soit
X = [a, b] . II est peut-~tre
soit une bissection
de
moins
~vident que le couple
X ~'' .
A = [a, ba} U [b, bga}~"'{bZa Z, b Z a b a }

B = {b, b Z a }
L a v~rification
EXEMPLE
Z. 3
]R . Soient
est laiss~e
au lecteur.
Soit
un morphisme
et
les d e u x
U = [f E X~',
V = If E X ~ ,
A1ors
bases
et
~ X n t 0, +~[ ~ ~)
Zorsque
et
E n fait, c e t t e
mot
coordonn4es
f de
X +
V u, v E x'~ ,
~ u E X+ ,
fi est le facteur
celles-ci
propri4t4
de
mot
f = uv
l'indice
mum.
i = lul
L e lecteur
B , bases
>- 0}
f = u v =b~u < O}
libres de
X ~'' . A p p e l o n s
sont n o n rides (c'est-h-dire

alors
(A,
n , on a s s o c i e
~fi
B)
leurs
lorsque
graphique
u n e ligne b r i s 4 e
X ~ .
suivante.
d a n s u n plan
(i, ~fi ) oh
roots de
(au s e n s large) p o u r
de
sont
i = [fI . T o u t
unique
avec
caract6risera
et
est u n e bissection
i (i E [0, n]) . L e s
soit m a x i m u m
4tant le plus g r a n d
respectives
E X~
f de l o n g u e u r
f tels que
X ~
f = uv = ~ v
celle joignant les points de c o o r d o n n 4 e s
alors les roots

f de
additif des r@els
X "~ d~finis par :
se "lit" sur l'interpr4tation
de l o n g u e u r
gauche
de
Vv
~ X N ]-00, 0[ / ~)),
rectangulaires,
X ~'" d a n s le g r o u p e
sous-monoYdes
sont des s o u s - m o n o i " d e s
respectives.
chaque
de
u E U
et
entier
i oh la fonction
graphiquement
des sous-mono~des
v E V
les 4 1 6 m e n t s
libres
et
www.bibliomath.com
V .
~fi
atteint son m a x i -
des ensembles
et
64
Par
exernple,
soit
f = b3a3babgab3abab4a
X = [a, b}
Ce mot
et
d4fini p a r
est r e p r 4 s e n t ~
~a = 2
graphiquernent
et
~b = -I .
Soit
par :
~fi
a5
aI
l\
I\I
I
f =
b b b a~/
0~
\\ \ I s\/~\ \
\/
b b a b
b2
b b a
b a b b
b %</
________>i
I
\
I\I
Fig.
L a factorisation de
sewn
f = alaga3a4a5blb2
Z. 1
la f o r m e
avec
(2. l)
est :
ai E A ,
bj E B
et
a I = b3a 2
,
b 1 = b
Les
somrnes
D.
de v a r i a b l e s
Foata
[FS,
Nous
b2
bissections
principe d'4quivalence
717,
donnons
a2
----
a 3 = ba
a4
= b3aba
b2
a5
b 3a
ainsi d4finies constituent l'interpr4tation a l g ~ b r i q u e

de S p a r r e
Andersen,
al~atoires,
[Fo,
753
maintenant
comme
du
d a n s la th4orie d e s fluctuations d e s
l'ont m o n t r ~
M . -P.
Schiitzenberger
et
quelques
propri~t~s
~l~mentaires
d e s bissections.
RAPPEL
DE
DEFINITIONS.
Vu,
Un
sous-rnonol'de
Un
v ~ X ~'~ ,
pr~fixe
sous-monoi'de
u E U
de
et
uv E U
=v
de
X""
est dit pr~fixe
ssi o n a :
E U
X '" est u n s o u s - m o n o l ' d e
www.bibliomath.com
libre,
et sa b a s e
est
65
appel4e
c o d e pr@fixe.
Une
partie
de
X+
est
un code
prfifixe
ssi
v~rifie
la
condition :
v ( X ~'~ ,
VU,
On
d~finirait d u a l e m e n t
V = B ~
(2. Z)
(A,
B)
f ( X ~
R6ciproquement
uv E A
v=
se factorise d e m a n i ~ r e
si d e u x
sous-mono~des
X ~ , cela d' a p r ~ s
suffixes et de c o d e s
X -x" . L e s
suffixes.
sous-monordes
U = A ~
libres et v4rifient la condition :
unique
et
(Z. Z) , ils sont libres et sont d o n c e n g e n d r ~ s

section de
u n e b i s s e c t i o n de
sont d e s s o u s - m o n o Z d e s
tout
et
les n o t i o n s de s o u s - m o n o i " d e s
Soit m a i n t e n a n t
et
u E A
de
f = uv,
X ~
u E U
v E V
vfirifient la condition
p a r les f a c t e u r s
et
d ' u n e bis-
suivante q u e le lecteur p r o u v e r a
facile-
ment.
PROPOSITION
(Z. Z)
Z. 1
Soient
et
deux
sous-mondrdes
4 q u i v a u t ~ dire q u e les trois conditions
(i)
X ~''~c
(ii)
U n v = %}
(iii)
UV
(resp.
Z. Z
V)
est
Soit
un
sous-monoi'de
pr6fixe
La
condition
sont v~rifi4es :
X_c
(resp.
ais&rnent a u s s i la p r o p o s i t i o n
(A,
B)
u n e b i s s e c t i o n de
A U B
www.bibliomath.com
suffixe).
suivante :
X ~ . Les
sont a l o r s v&rifi&es :
(2.3)
X e~ .
L e lecteur d & m o n t r e r a
PROPOSITION
suivantes
de
conditions
suivantes
66
(2.4)
tout m o t
de
A U B
strict d a n s
(2.5)
BAcA
(2.6)
B~'~A ~ _c A ~ U B ~
Nous
U B
prouvons
paragraphe
(A U B)\X
2. 3
Soit
Soit
x
f E (A U B)\X
est d a n s
c h e strict d e
(2.5)
et
maintenant
avec
b E B
et a E A
la p r e m i e r e
B . Notons
et la d4finition d e
par exemple
x : ~
une bissection de
l'6criture d e
f = b a = b'a'
Notons
p o u r le
f de
selon
b , il vient
donn~es
avec
deux
a, a' E A
et
lettre d e
b
f = ba
Ibl < Ib'I . Ii vient
~ { A~
X ~ . Tout mot
u n i q u e s o u s la f o r m e
avec
appartenant
Supposons
Supposons
B)
B . O n p e u t a l o r s d6finir
a = a I ... a p b I ... b
(A,
f = ba
D'apr~s
droit)
B) ;
rnaintenant la p r o p o s i t i o n s u i v a n t e f o n d a m e n t a l e
(2.7)
~-
(resp.
(resp.
3 :
PROPOSITION
la lettre
ne peut avoir un facteur gauche
f . D'aprAs
comrne
avec
(Z. 3)
Soit
(2. l) . D ' a p r ~ s
(2.4)
~critures de
et
p : 1
~ E B ~ . La propri~t6
eta
et
q = 0 .
a = al E A .
(Z. 7) :
= xa'
(2.4)
avec
prouve
C.Q.F.D.
www.bibliomath.com
on a
b, b' E B
b' : b x
(2.4)
le p l u s l o n g f a c t e u r g a u -
a E X+
ba 1 = f
et
x C X ~
~ : e
et
67
REMARQUE
Z. Z
On pourrait aussi d6duire
tion de s4rie c a r a c t 4 r i s t i q u e
o n a s s o c i e la s4rie
d ' u n e pattie
cette p r o p o s i t i o n
de
X ~ .
e n utilisant la n o -
A toute partie
~2 f de l'alg~bre a s s o c i a t i v e
I}<[ < < X > >
fEA
en variables non commutatives
X
sur l ' a n n e a u
s4ries f o r m e l l e s
__~ =
l'alg~bre l a r g e d u m o n o r d e
libre
X ~'~ . O n
appelle
de
X ~ ,
, alg~bre des
]K , qui est a u s s i
la s4rie c a r a c t 4 r i s t i q u e
de
A.
Si
~l = ~- , o u plus g ~ n 4 r a l e m e n t
n o n nulle, le c o u p l e
formelles
(A,
B)
si
~51 est u n a n n e a u
est u n e b i s s e c t i o n de
de caract4ristique
X ~ ssi o n a l'4galit~ d e s s4ries
(z.8)
(1
x_) -I =
(1
A ) -I
(1
n_) -1
ce qui 4quivaut g :
(z. 9)
B_A_+X=
A+
D ' o ~ la p r o p o s i t i o n
Nous
donnons
Celle-ci repose
PROPOSITION
Z. 3
maintenant
une construction
sur la p r o p o s i t i o n
g.4
Soient
X ~
suivante
et
(2. 3)
g4n4rale
et
(g. 5) .
des bissections
de
X ~ .
d e u x parties n o n v i d e s de
ssi les q u a t r e conditions
suivantes
X + . Alors
(A, B)
sont v4rifi4es :
U B ;
(i)
Xc__A
(ii)
A n B = ~) ;
(iii)
B Ac
(iv)
( A U B) _ X U B A
D'apr~s
et a u s s i les conditions
A U B
les p r o p o s i t i o n s
Z. 2
et
g. 3 , c e s conditions
www.bibliomath.com
sont n ~ c e s s a i r e s .
68
Nous
montrons
LE MME
qu'elles sont suffisantes g r a c e
Ce lemme
B~
LEMME
ais4ment
et e n utilisant la condition
g. Z
LEMME
gauche
se d @ m o n t r e
6crire
dtun mot
roots de
de
sur la l o n g u e u r
d e s roots
facteur droit de
r6currence,
(i) et le l e m m e
de longueur
f = bla I , a I E A
P
Par
ais6ment
de
a
_< n
a 1
A*
. T o u t facteur
A n X . Supposons
la v r a i e p o u r
est d a n s
B*.
bI E B
1 ...
Z. 1 .
f de
est v r a i e p o u r tout m o t
T o u t f a c t e u r droit p r o p r e
u
par r@currence
(iii) .
est d a n s
f = bkakak_
et
d e s roots
T o u t f a c t e u r droit d'un m o t
La propri6t@
tousles
sur la l o n g u e u r
B ~"
, e n utilisant la condition
Z. 3
par r@currence
Ce lemme
X*
U B*
se d 4 m o n t r e
X* c A*
de
suivants.
2. 1
B* A__cA
de
aux lemmes
de
et soit
f E A N X n+l . D ' a p r ~ s
et de p r o c h e
avec
bk E B N X
est de la f o r m e
D'apr~s
en proche
l'hypoth~se
(iv), o n peut
on arrive ~ :
ai E A
(1 -< i _< k ) .
u = U p a p _ 1 ... a I
de r ~ c u r r e n c e ,
avee
on a
l -< p -< k
A ~
o n obtient la p r e m i e r e
partie d u l e m m e
www.bibliomath.com
et p a r
sym~trie
le l e r n m e .
69
LEMME
2.4 .
B N A ~ = ~
Supposons
B Q A ~
ni 5
que tousles
A N B ~ . Soit
(l -< i _< p) .
D'aprAs
A N B~" = ~9 .
roots d e
f E. x n + l
(ii), o n a
X -:~ d e l o n g u e u r
N .B Q A "~'" . E c r i v o n s
p ~ 2 .
D'apr~s
est c o n t r a i r e 5 l ' h y p o t h ~ s e d e r 4 c u r r e n c e .
trie
N A N B ~, = ~) .
xn+l
condition
LE MME
(ii) . O n
Pour
_< n
f = ala z
le l e m m e
Ainsi
xn+l
n ' a p p a r t i e n n e n t ni
. ap ,
ai E A
2. 3 , a I E B ~,~ , ce qui
N A~
Q B = ~
et p a r s y r n 4 -
n = 1 , l'hypoth~se de r~currence
est e n fair la
a ainsi le l e m m e .
Z. 5
A ~ N
C'est une cons4quence
LEMME
2. 6
L'ensemble
D'apr~s
le l e r n m e
{e}
directe des lemmes
est la b a s e d e
Z. 3 ,
X {~ . II suffit d o n c d e d 6 m o n t r e r
n6rateurs
de
A {'- (resp.
Supposons
A ~
que
et
Z. 3
A '- et
et
Z.4
celle
de
B ~ .
B {~ sont d e s s o u s - m o n o r d e s
(resp.
B)
est le s y s t A m e
libres
minimal
de
de g6-
B~) .
: V f E X*
, IfI < n ,
f ~ A N AZA~
f = a l a 2 ... a p , a i E A , p > 2 . D ' a p r ~ s

b C B . D'apr~s
les l e m m e s
Z. 3
Notons
a I = bu
avec
- D'apr~s
~14ment
de
u E X+
et
2.4 ,
Soit
f E A N xn+l
(iv) o n p e u t @ c r i r e
aI
f = ba
tel q u e
avec
n e p e u t @ire f a c t e u r g a u c h e
le l e m m e
2. 3 ,
a = u a 2 ... a p
a E A ,
de
b .
est u n
A Z A ~ , ce qui contredit l ' h y p o t h ~ s e d e r @ c u r r e n c e .
La propri4t6
par r4currence
que
Les lemmes
~tant 4 v i d e m m e n t
A
est la b a s e d e
g . Z , 2 . 3 , Z. 5
vraie pour
A ~'-. P a r
de l o n g u e u r
sym4trie,
et la p r o p o s i t i o n
www.bibliomath.com
2. 1
on ale
I , on prouve
lemme.
montrent
que
A ~
et
70
]B~
sont d e u x
sous-monoi'des
alors la p r e u v e
IREMARQU]E
unique,
v~rifiant la condition
de la proposition
Z. 3
ce qui a priori n'~tait p a s
sation
de
de
n~cessite
Nous
pouvons
en
me
ESc,
de
THEOREME
[Sc,
par
f E (A U B)\X
Les
d~montrer
termine
(2. 7)
est alors
(i) , (ii) , (iii) , (iv) et
(2. 9) , c'est-~-dire
directement
que
(A,
B)
l'unicitd de la factori-
precedents.
donner
une construction
est plus c o m m o d e
M . ~P.
selon
conditions
~tablissent l'~galit~
maintenant
65]
g~n~rale
d e s bissections
p o u r la suite de ce travail que celle
Schiitzenberger.
Nous
retrouvons
aussi u n t h e o r Y -
65] .
Z. 1
Q N X ~ ~) . A l o r s
Soit
(P,
Q)
de
BcQ
X .''~. D e plus
et
X +
telle que
de parties de
(A,
__et B
X +
P n x ~ ~
B)
sont d o n n @ s
p a r la r @ c u r r e n c e
B1 = X N Q
A n + 1 = ( B n A n n P) U A n
]3n+ 1 = ( B n A n n Q) U B n
A =
B =
U An
n>l
(P,
p a r la r 6 c u r r e n c e
Q)
u n e partition de
ci-dessus
2.4 . Si
et
, alors
(A,
B)
Soit m a i n t e n a n t
(A',
X + . Les
sont n o n vides,
B')
de
de
et
www.bibliomath.com
d~finis
(iv) de la
si X N P = A 1 ~ ~) et
X ~'~ a v e c
X ~
Bn
(i) , (ii) , (iii) et
clest-&-dire
u n e bissection
U
n>_l
ensembles
v6rifient les conditions
e.._t
tel que :
AI = X N P
Soit d o n c
X N Q = B l ~ ~
u n e partition de
il existe u n couple u n i q u e
AcP
proposition
~vident.
les l e m m e s
X ~ . Cette c o n s t r u c t i o n
donn~e
de tout
X ~ . Toutefois
(Z. 7)
Z. 6
Z. 4 .
L a factorisation
l'unicit~ de cette factorisation
(2. Z) . L e l e m m e
telle que
A~
et
' c P
B c Q .
et
71
B' __q Q . O n a
r e n c e que
A n_c A'
Mais
et
AcA'
A' N X = A 1 et
et
B' N X = B I . Ii est alors ais4 de v4rifier p a r r 4 c u m -
B n _ C }5' . Ainsi
si d e u x bissections
B c B'
A _ c A'
(A, B)
et
et
(A',
il est alors ais4 de p r o u v e r
B _ c B' .
B')
que
de
X ~'~ sont telles que
A = A'
et
B = B'
C. Q. F . D .
O n peut forrnuler de m a n i ~ r e
THEOREME
Z. 1 bis
tes de parties de
(A I, B I)
(Construction des bissections).
X +
vdrifiant la r 4 c u r r e n c e
est u n e partition de
V n z 1 , ( A n + l , B n + I)
Bn An-i
A l o r s en notant
A =
Les
Bn}
An
tion de
(resp.
16g~rernent diff4rente le th6or~rne
Soient
2. 1 :
( A n ) e___t (B n)
des sui-
en parties n o n rides ;
est u n e partition de
U Bn_l
An U BnA n
U A n et B =
U
B n , (A, B) est u n e bissection de X ~.
n>l
n>_l
forrnent u n e partition de A (resp. B) . D e plus, route bissec-
X ~'~ s'obtient p a r cette construction.
REMAI~QUE
2.4
L e s suites
(An)
et
(B n)
du th4or~rne
correspondent
aux
suites not4es ici
U
A
1 _<i_<n
EXEMPLE
2.4
. Donnons
X = {a, b}
et construisons
une bissection possible de
et
U
B
1 _<i_<n
u n exernple de la construction du th4or~rne

les cinq p r e m i e r s
terrnes des suites
X ~ .
www.bibliomath.com
An
1 bis. Soit
et
Bn , pour
72
B 1
B2
ba
AZ
B3
B4
bbaa
bbaabaa
bbabaa
B5
A 1
baa
A 3
babaa
A4
bbaaa
bbaababaa
A5
bababaa
EXEMPLE
2.5
Nous
pouvons
l'exemple
2.2 . Elle c o r r e s p o n d
m a i n t e n a n t facilement
~ la construction
B 3
B4
B2
la bissection de
suivante :
B
B1
retrouver
A 1
ba
A 2
A 3
bZa
bZa Z
A4
bZa b a
b3
&
b3aba
B5
bZa b 2
b2a b Z
&
a b a
www.bibliomath.com
A 5
73
1 bis
O n poursuit la construction du t h 4 o r ~ m e
avec
= ~
pour
n > 5
et on
trouve ainsi :
B = [b, b Z a}
A = [a, ba} U B * A 4
L a bissection de l ' e x e m p l e
pour
g. i
est v r a i m e n t
la plus s i m p l e de toutes : B
n > 2 .
Z. Bissections
et bascules.
Afin de pouvoir d 4 m o n t r e r
ce chapitre,
bascule.
nous sommes
Ce paragraphe
au p a r a g r a p h e
amen4s,
suivant le t h d o r ~ m e
~ 41argir la notion de bissection par celle de
ne sert d o n c que de pr41iminaire
au suivant. E n fair les
b a s c u l e s interviennent aussi d a n s u n tout autre d o m a i n e ,

langages
et d e s a u t o m a t e s .
?
DEFINITION
2.2
Pour
L e lecteur se
reportera
U n e bascule est un triplet
sont d e u x e n s e m b l e s
disjoints et
a E A,
b E B ,
principal de
[Vi,
T = (A, B, ~)
u n e application de
nous noterons
~ savoir la th4orie des
~p(b, a)
B X A
par
74] .
d a n s lequel
dans
<b, a)
et
A U B .
lorsque a u c u n e
c o n f u s i o n nlest ~ craindre.
DEFINITION
Z. 3
morphisme
f(A) __qA'
Soient
f : T -. T'
,
f(S) c_ B'
vacX,
Nous pouvons
T = (A, B,
~p) et T~(A',
est une application de
A U B
B', <p') d e u x bascules.

dans
A' [j B'
Un
telle que
et
v D ~ B,
f(<b, a>)= <f(b), f(a)>
ainsi parler de la cat4gorie d e s bascules.
www.bibliomath.com
Une
sous-bascule
74
de
que
T = (A, B, ~) est d@finie par la d o n n 4 e de d e u x parties

<V, U > = [<v, u> , v C V , u E U ] __cU U V
avec le couple
U cA
, V_c B
telles
O n identifiera la s o u s - b a s c u l e
(U, V) .
O n peut d4finir "l'intersection" d'une famille de s o u s - b a s c u l e s

(T i = ( A i, Bi),i E I) de
comme
la s o u s - b a s c u l e
alors parler de la bascule e n g e n d r ~ e par une partie
T' = (q A i , ~ Bi) . O n peut

X
de
A U B . Celle-ci se
construit p a r r 4 c u r r e n c e : TI(X) = X ,
Tn+l(X) = [u E A U B, u = <b, a>
I~n notant
ple
avec
b E B N Tp(X), a E A A T (X), p + q = n+l}

q
T(X) =
U
Tn(X) , la s o u s - b a s c u l e e n g e n d r ~ e par X est alors le coun>_l
( A g T(X) , B A T(X)) . L e s ~ l ~ m e n t s de Tn(X) seront appel~s des X - p r o d u i t s
de bascule de d e g r ~
n .
Une congruence
d1~quivalence sur
b" E B ,
a' ~ a"
A U B
T = (A, B, ~)
de la bascule
T'
f . De m~me
selon
et B
et telle que : Vat, a" E A , v b ' ,
B', q0') d e u x bascules et f un r n o r p h i s m e
est une s o u s - b a s c u l e de
T' : c'est l'image
f(T)
on d4finit la notion d ' i m a g e r ~ c i p r o q u e d'une
f . Les morphismes
injectifs (resp. surjectifs, resp.
de bascules (en rant que categoric) c o r r e s p o n d e n t a u x cas o~ l'ap-
plication f est injective
2.6
et T ~ ( A ' ,
(f(A), f(B))
selon
s o u s - b a s c u l e de
isomorphisrnes)
T/~ .
f : T -~ T' . L e couple
EXEMPLE
saturant
et b' c; b" ~ <b', a'> ; <b, a) . O n a imrn~diaternent la notion de
bascule quotient
Soit
c; de bascule est d~finie par la d o n n ~ e d'une relation
(resp. surjective, resp. bijective).
Soit (A, B)
restriction du produit de
X*
u n e bissection du rnono~de libre

5
B A.
D ' a p r ~ s la proposition
T = (A, B, ~p) est une bascule.
www.bibliomath.com
X*.
Z.Z
Soit ~p la
le triplet
75
N o u s identifierons la bascule
N o u s dirons qu'une bascule
T = (A, B, ~)
identifi4e ~ une bissection de m o n o Z d e
NOTATION
de ayant
Soit
A U B
E A,
A ~:" X B ~
Nous
vb
E B
b.a=
Mo(T)
N o u s notons par
Mo(T)
le m o n o Z -
(b, a )
est le m o n o Z d e
ayant c o m m e
ensemble
et dont le produit est d6fini de la fa~on suivante.
~0 : B ":'~X A ~ -~ A~'~ U B ~'' par la r 4 c u r r e n c e
(z. 10)
peut ~tre
libre.
~tendons dlabord l'application
V a.,~ . . .
(A, B) .
g 4 n 6 r a t e u r s et d4fini par les relations :
Ii est ais4 de v4rifier que

sous-jacent
est une bascule libre ssi
T = (A, B, ~) une bascule.
comme
va
T = (A, B, q0) avec la bissection
ap E A
Y bl,
...
en une application
, bq E B
(b I... b q , e ) = b I... b q
Cp (e, a I ... ap) = a I ... ap
[p (b I ... bq, a I ... a p ) = cp~'~(bI ' ' "
b q-i (bq, al>, a z ... a P ) si (bq, a l > E B
~ ' ( b 1 ... b q- i ), (bq, a l > a 2 .. . a P ) si (bq, al)EA.
L e produit de
V~,
(z. ll)
Mo(T)
~' E A ~'~
est alors d4fini par :
V~,
~' E B *
(~, ~).(~', ~')= (~ ~(~, ~'), ~') si ~'(~, =') E A "

= (~, ~'(~, d) B') si ~0~(~, c~') E B ~
L'application
rnorphismes,
T -. M o ( T )
, ainsi qu'une c o r r e s p o n d a n c e
4vidente sur les
d4finissent un foncteur de la cat4gorie des bascules dans celle des
rnono rde s.
www.bibliomath.com
76
Lorsque
morphe
LEMME
la b a s c u l e
X ~'~ . Cette p r o p r i ~ t 4
2. 7
Une
bascule
est 4 v i d e m m e n t
caract4ristique
est fibre ssi
V n rue de caract4riser
Mo(T)
alg4briquement
Mo(T)
X ~ , alors
:
est u n m o n o Z d e
les b a s c u l e s
est iso-
fibre.
libres,
nous posons
la d@finition :
DEFINITION
A U B
2.4
On
appelle b a s e d ' u n e b a s c u l e
v~rifiant les d e u x
conditions
(i)
est e n g e n d r ~ e
(ii)
tout ~ l ~ m e n t
de
Remarquons
qulune bascule
alors u n s y s t ~ m e
On
par
X
minimal
PROPOSITION
2.5
Une
, B, ~) route partie
de
ne peut ~tre u n
X-produit
admet
de g ~ n ~ r a t e u r s
peut alors ~ n o n c e r
T=(A
de bascule de degr~
a u plus u n e b a s e
de
~ 2 .
et q u e celle-ci est
T .
bascule
T = (A,
B,
~)
est libre ssi
v~rifie les d e u x
conditions :
(z. 12)
(2.13)
Va,
Ces
admet
a' C A ,
conditions
R~ciproquement,
ayant une base
comme
syst~me
une base
Vb,
b' E B
sont ~ v i d e m m e n t
soit
X = A 1 U B l
T = (A,
<b, a> = <b', a'> . a = a' e_tt b = b'
n6cessaires.
B,
~)
une bascule
( A 1 _q A , B 1 _c B) .
de g~n~rateurs.
u n e factorisation u n i q u e c o m m e
D~montrons
v~rifiant
Le mono~de
q u e tout 61~rnent
produit d'~l~ments
de
(2.13)
Mo(T)
admet
f de
Mo(T)
admet
X . C e l a revient
www.bibliomath.com
et
~ le d ~ -
77
rnontr er p o u r
r~currence
LEMME
f E A U B . Notons
le l e m r n e
quill est ais4 d e d ~ r n o n t r e r
par
Z. 8
Soit
f = X l X Z ... x p
X . A/ors
rne
d'abord
T = (A,
B,
~)
une bascule,
u n e factorisation (sur
si f E A U B ,
est u n
Mo(T))
X-produit
X ~ A U B ,
de
f E Mo(T)
et
e n p r o d u i t dI414rnents
de b a s c u l e
et
x i de
sI4crit s o u s la for-
f = <b, a>
b =Xl
Supposons
q u e tout
p r o d u i t dt414rnents d e
f E A U B ,
Xp =
f = xI
... x i E
B ,
f E A U B
_< n
... X ' q ,
q / 1 ,
o u si p ~ 1 , q = I , o n aurait,
avecla
condition
se d e r 4 c u r r e n c e ,
(2.12) . L o r s q u e
Xi+l ... X p E A
i _< i < p
adrnette a u plus u n e factorisation
en nornbre
X!
a=
Soient d e u x factorisations
avec
p, q _< n+l
d'apr~s
et
le lernrne
xi,
2.8
X ! 3"
la p r e u v e
grace
(2.13),
on d4rnontre
au lemrne
C X . Si
il vient
p = q
et
que
Mo(T)
est i s o r n o r p h e
p = I,
une contradiction
= x'.
1
mine
de
p, q > 2 , dlapr~s ce rn~rne lernrne,
et la condition
Ainsi par r4currence,
cornrne
l'hypoth~-
(i -< i _< p) .
X ~'- , ce qui ter-
Z. 7 .
C. Q.F.D.
Nous
aurons
PROPOSITION
2.6
application
section de
a u s s i b e s o i n d e la p r o p o s i t i o n
Soit
S = (U,
f : X -~ U U V . A l o r s
V,
y)
une bascule,
il existe u n e et u n e
X ''~ , telle qulil existe u n r n o r p h i s r n e
ce r n o r p h i s r n e
Pour
suivante :
un ensemble
seule b a s c u l e
F : T -~ S
libre
prolongeant
T , bisf . D e plus
est unique
tout
u E U
, v E V
o n construit les p a r t i e s
et
U
la r 4 c u r r e n c e
et f u n e
suivante :
www.bibliomath.com
de
B
v
X +
par
78
A u,
f-1[u)'
f-l(v)
v, 1
(2. 14)
A
(X n+l ~ Bv,,i Au',j)

U
i+j=n+ 1
u'EU, v ' E V
--
u, n+l
<~,, u, >=u
(d4finition similaire p o u r
Au =
U
n~l
By, n+l ) et
A u, n
et
B=
Bv =
U B v, n
n>_l
Notons :
A=
Grace
p o u r tout
U
uEU
au t h @ o r ~ m e
u E U, v E V
A u, u E U ,
et
u E U
U
vEV
B
v
Z. i, on v@rifie par r @ c u r r e n c e
et que
(A, B)
B v, v E V , f o r m e n t
F : T = (A, B) -~ S
que
est u n e bissection de
une partition de
p a r la condition que p o u r
tel que
a E Au
v6rLfie p a r r @ c u r r e n c e
que ce p r o l o n g e m e n t
que
(resp. F(b)
F
ditions de la proposition
a E A
est l'unique
est u n m o r p h i s m e
est unique.
ais4ment
Au, n+l n Bv, n + l = ~
X ~ . D e plus les
A U B .
D@finissons
(resp. b E B) ,
v E V
tel que
de bascule,
L'unicit4 de la bascule
se d @ m o n t r e
que
F(a)
b E B v) O n
qui p r o l o n g e
(A, B)
est l'uni-
f , et
v@rLfiant les con-
par r@eurrence.
C. Q. F. D.
EXEMPLE
phisme
Z. 7
L a bissection
~ : X ~'"-~ IR
S = (U, V,
T = (A, B)
est, en rant que baseule,
de l ' e x e m p l e
2.3
l'image r 4 c i p r o q u e
d6finie p a r u n m o r de la bascule
4) avec :
q = s u p (~x)
xEX
U = [0,
q] ,
p =inf
v=
o[
(~x)
[p,
xEX
L'application
est la restriction de l'addition ~
www.bibliomath.com
[p, q]
79
REMAI~QUE
2.5
Dans
le cas otz U U V
A__ et ]3_ sont solutions d a n s
Au
et
<<X>>
est fini, les s6ries caract4ristlques
d'un s y s t ~ m e
d'~quations
en les i n c o n n u e s
Bv :
_
A
Z Au
uCU =
Z
vCV
=B =
(z. 15)
_~u
<v', u ' > : u
BY' A u ' +Au, 1

--
O n p e u t d'ailleurs v4rifier d i r e c t e m e n t
B A + X = A + B
3. B a s c u l e s
<v', u ' > = v
d a n s ce cas la relation
BY' A u ' +BY, 1
(2.9)
et algAbres de Lie libres.
est de d ~ m o n t r e r
m e n t a l p o u r la suite de ce travail ( t h 4 o r ~ m e
communiqu4
p a r Schiltzenberger.
cions u n e d 4 c o m p o s i t i o n
du m o d u l e
de Lie, les families basiques

tivement avec
et
(Proposition
lesquelles
___v
Lazard
--
L(X)
en s o m m e
4tant des e n s e m b l e s
i. 1) . Gelui-ci c o r r e s p o n d
fonda-
et dont 114nnnc4 n o u s avait 4t4

(A, B)
de
X ~ , nous asso-
directe de d e u x s o u s - a l g & b r e s
d'alternants
g~n4ralise le t h ~ o r & m e
est r4duit ~ u n e seule lettre.
sont r e m p l a c d e s
Z. 2)
A route bissection
B . Ce th~or&me
tion et de produit s e m i - d i r e c t
un r~sultat p r 4 1 i m i n a i r e
en bijection r e s p e c d'41imination de
en effet a u x bissections p o u r
L e s notions de p r o l o n g e m e n t
de d4riva-
utilis4es d a n s la p r e u v e d u th4or&rne d'4limination
ici p a r celles de bascule et d'alg~bre de Lie associ~e ~ u n e bas-
cule.
A route bascule
proposition
T , n o u s a s s o c i o n s u n e alg~bre associative
suivante :
www.bibliomath.com
IK(T>
p a r la
80
PROPOSITION
Z. 7
. Soit
T = (A, B, <0) une bascule.
not6e
]}((T) , ayant p o u r m o d u l e
alg~bre associative,
(c'est-g-dire
le m o d u l e
produit
prolonge
x.y
Ii existe une et une seule

sous-jacent
s o u s - j a c e n t ~ l'alg~bre du rnonoYde
c e u x de
]K(A)
e__t ] K ( B >
V c ~ 6 A *~ ,
V~
E B ''~
~.~ = ~ ~
(2.17)
Va
vb
E B
b.a = ab
(en identifiant
et c~ i ,
La preuve
LEMME
g. 9
repose
Soit
seul e n d o r n o r p h i s r n e
(2. 18)
(Z. 19)
Vu,
v C Y~"
distinctes de
et
1 8) -
sur le lernrne suivant :
T = (A, B, ~) u n e b a s c u l e et
P
[v(f) =
+ <b, a>
du m o d u l e
]K<Y>
V a E A,
vb
Y = A U B . Ii existe un et un
tel que :
A": B ''~.
C B,
P(ubav) = P(uabv) + P(u(b,
a>v)
a E A, b E B, f C Y~", notons
Vb, a(f) le n o r n b r e de factorisations
f de la forrne
(fl' fz' f3 C Y") N o t o n s
~
aEA, b E B
(z. z0)
Une
laisse stable les 616rnents de
Pour
bre
A ~'- B ''~) , dont le
et v6rifie les d e u x conditions :
(2.16)
E A
Ill(A> ] K ( B >
f = fl b fz a f3
a(f)] .
Pour
u, v E y-X-
on a :
Vb,
v(ubav) = v(uabv) + ]
r6currence
v(f) le norn-
v(f) , puis sur la l o n g u e u r des r n o t s ,
sur l'indice
prouve
que
e st u n i v o q u e r n e n t d6terrnin6.
R~ciproquernent,
(Z. 22), (2. g3)
soit
l'op4rateur d4fini p a r les trois conditions
suivantes :
www.bibliomath.com
(Z. ZI)
81
(2.21)
P(f) = f p o u r tout
(z. zz)
Supposons
Si
P(f)
ddinipour
~(f) = i > 1 ,
a 6 A,
f 6 A~'B"
tout
f 6 Y'- , IfI <n _
s'4crit d e m a n i ~ r e
y~
b 6 B , v E
. Alors
unique
d6finissons
P(f) : P ( u a b v ) + P ( u ( b ,
Ainsi
(2.23)
Par
P(f)
est d 6 t e r m i n ~
r@currence
module
IK(Y}
sur
,
Ii est clair q u e
A ~ B ~- , i s o m o r p h e
est d@fini sur
, avec
Ifl = n+l.
u E A '''-B~'",
par
sur
i (d'apr~s
(2.20) .
puis p a r e x t e n s i o n p a r lin@arit@ sur le

~((Y)
. Par
f 6 Y~'" ,
a}v) .
est u n p r o j e c t e u r
IK<A} ~((B}
f = ubav
P(f)
par r4currence
maintenant,
. Soit
sur le s o u s - m o d u l e
r~currence
sur
~u
de
et
]K<Y}
de b a s e
lul , o n peut
v~rifier :
(2.24)
~,
Soient
u i 6 A ~'"B '''~. O n
v ~ Y~
P(P(u)v)
= P(uv)
u, v E Y ~ , a E A , b E B ,
a successivement,
f = ubav
e n utilisant
et n o t o n s
(2.22),
P(u) = Z u i
i
(2.23) et (2. Z4) :
a v e c
P(f) : P ( P ( u ) b a v )
P(f) = E P ( u i a b v ) + E P ( u i (b, a}v)
1
P(f) : P ( P ( u ) a b v ) + P ( P ( u )
l(f) = P(uabv)
Ainsi
v~rifie
ne d4pend
(2. 19)
+ P(u
et le l e m m e
<b,
(b, a}v)
a}v)
est d 4 m o n t r ~ .
En
somme
p a s d e la f a ~ o n dont o n effectue les " r e t o u r n e m e n t s "
D4montrons
maintenant
Z. 7 . E n
www.bibliomath.com
le calcul de
ba .
identifiant le m o d u l e
P(f)
82
avec le sous-rnodule de
~<A> ~
]K(Y>
de base
A ~ B ~ , le produit
x.y
de
v~rifie les conditions de l'~nonc4 ssi :
(z. zs)
vu, v ~ ~ < ( A > ~ < 
C e produit est bien associatif car, d'apr~s
Vu,
, u . v : P(uv)
(Z. Z4)
et la condition duale de
(Z.24) :
v, w E ] K ( Y > , P(P(uv)w) : P(uP(vw)) : P ( u v w ) .
C. Q . F . D .
REMAI%QUE
g.6
ciative ayant
. E n fair il est clair que
A U B
comme
g4n4rateurs,
V a C A, V b
Soient
T = (A, B, ~0) et
jections c a n o n i q u e s
E B,
f : T -. T' , on associe le m o r p h i s m e
li6s par les relations
b a - a b -- <b, a)
et i' : A' U B' -~ ]K<T'>

]K<f> , unique m o r p h i s m e
i et i' les in-
. A tout m o r p h i s m e
d'alg~bre associa-
T'
~i'
~<<T> ~<(f>
T -~]K<T>
>~<T'>
et f ~ ]}<<f> d&finissent u n foncteur de la cat4gorie
des b a s c u l e s dans celle des alg~bres associatives.

(resp. surjective, resp. bijective)
L a proposition
~ l'alg~bre asso-
suivant c o m m u t a t i f :
i~
L e s applications
est i s o m o r p h e
T' = (A', B', %0') d e u x bascules,
i : A U B -. ~<<T>
tive rendant le d i a g r a m r n e
~(T>
2.7
permet
Enfin
]K<f>
est injective
ssi f l'est aussi.
de d 4 m o n t r e r
la proposition suivante :
www.bibliomath.com
83
PROPOSITION
2.8
Soit
alg~bre de Lie, notre

le produit de Lie
T = (A, B, ~) une bascule.
L(T) , ayant pour m o d u l e
ix, y]
(z. z6)
prolonge ceux de
V a E A,
D e plus
IK<T}
Soit @
V b ~ B,
et dont
et v6rifie :
L(T) .
L(A)
et
sous-jacent est
L(A) L(B), et
L(B) . O n a alors
V ~l' ~Z E L(B) ,
[~Z' [~I' ~I ]] ;
[~I' [~1' ~g]] = [[~1' ~i ]' GZ] - E[~l' G2]' : I ]
P a r lin4arit4, antisym4trie,
de
L(A) @ L(B)
[b, a] = (b, a)
[[~1' ~2]' GI ] = [~i' [~Z' ~i ]]
(z. z8)
e__t L(B)
une alg~bre de Lie dont le m o d u l e
V ~I' ~Z E L(A)
(z. z7)
sous-jacent
L(A)
est l'alg~bre enveloppante de
dont le produit de Lie prolonge ceux de
Ii existe une et une seule
L(A)
et ~i' ~Z
produit de Lie
de
[u, v]
et par r 4 c u r r e n c e
L(B),
de
les f o r m u l e s
sur le d e g r 4 des alternants
(2. Z7)
et (2.28)
~I' ~2
prouvent que le
est d 4 t e r m i n 4 d~s qu'il l'est pour
u E B, v E A .
N o u s avons ainsi l'unicit4 de l'alg~bre de Lie v4rifiant les conditions de l'4nonc4.
Soit
maintenant IKL(T } l'alg~bre de Lie associ~e ~ IK(T}
alg~bre de Lie de
L(A) G L(B) . E n
d4montr4
de
(Z. 27)
fair ce m o d u l e
grace a u x f o r m u l e s
l'alternant
b
IKL<T } engendr~e
c~ de
L(A)
que
(~.~ - ~ )
A U B . LWalg~bre
est une sous-alg~bre
(Z.27)
p r o u v e avec
B , puis une r @ c u r r e n c e
par
contient le m o d u l e
de Lie de
~ I L < T ) . Ceci est
et (Z. Z8) : une r 4 c u r r e n c e

(2.28)
que
sur le d e g r 4 de
(b.~-c~b) E L ( A ) ~ L ( B )
sur le d e g r @ de l'alternant
C L(A) G L(B)
et ~ la sous-
pour tout alternant
~ de
~ de
L(B)
pour tout
p r o u v e avec
L(A) . Ainsi
est une alg~bre de Lie r@pondant aux conditions de l'@nonc@.
Enfin m o n t r o n s
que
IK<T}
est l'alg~bre enveloppante de
www.bibliomath.com
L(T) . Soit
84
Y : A U B ,
i Itinjection canonique
j : L(T) -~IK<T) . Soit

dans
~IL . Soit fo
i : Y -~ ]K(Y) , et j l'injection canonique
~I une alg~bre associative et f un m o r p h i s m e
la restriction de
f ~
g ~ b r e associative rendant le d i a g r a r n m e
Y : AU
B_
A U B
et F
de
L(T)
llunique m o r p h i s m e
d'al-
f{ ~I
~<<Y)
On a : V a E A,
vb
C B , F(ba-ab) = f(b) f(a) - f(a) f(b) : f([b, a])
F(ba-ab) = f((b, a)) = F((b, a)) .
Ainsi
ba-ab-
s~annule sur llid6al de llalg~bre

(b, a)
]K(Y)
e n g e n d r 6 par les 6 1 6 m e n t s
(a E A , b C B) . D ' a p r ~ s la r e m a r q u e
au quotient, u n m o r p h i s m e
Z.6 , F
f- : ]K<T) -~ ~I . C e m o r p h i s m e
d~alg~bre associative rendant le d i a g r a m m e
L(T)
d6fini par p a s s a g e
est l'unique m o r p h i s r n e
) ~I
~<<T>
C. Q . F . D .
KEMAIkQUE
comme
Z. 7 .
g6n6rateurs
E n fait L(T)
Z.8
E A
Les formules
vb
E B
(2.27)
du crochet de Lie de d e u x alternants de

sition
~ Italg~bre de Lie ayant
A U B
et d~finie par les relations :
va
REMAIIQUE
[b,
a] = (b,
et (Z. 28)
L(A}
et
a)
p e r m e t t e n t le calcul effectif
L(B)
respectivement.
La propo-
Z. 8 p r o u v e que le r6sultat est ind6pendant de la fa~on dont o n d 6 c o m p o s e
www.bibliomath.com
les
85
alternant s.
Soient
T = (A, B, ~) et
les injections c a n o n i q u e s
morphisme
T' = (A', B', ~') d e u x bascules. N o t o n s
i : A U B -~ L(T) ,
f : T -~ T I , il existe u n et u n seul m o r p h i s m e
rendant le d i a g r a m m e
f
-~
L(T)
L(f) L(T')
T -~ L(T) , f-~ L(f)
L(f)
L(f)
li'
est un foncteur de la cat4gorie des bascules dans
celle des alg~bres de Lie . N o t o n s que

ssi
dlalg~bre de Lie
T'
i ~
L'application
P o u r tout
bijective)
i' : A' U B' -~ L(T') .
i et i'
f est injective
(resp. surjective, resp.
l'est aussi.
P o u r la suite de ce p a r a g r a p h e ,
n o u s a u r o n s besoin des l e m m e s
relatifs
a u x alg~bres de Lie libres que n o u s rappelons ci-dessous.
LEMME
Z. 10
U n e alg~bre de Lie
loppante fibre sur un e n s e m b l e
LEMME
Z. ii
[~, o ] .
mors
Soit @
[Bo,
est]ibre ssi elle a d m e t une alg~bre e n v e -
X _c (~ .
une al~bre
~Im est l i b r e s s i
Pour d4montrer
de Lie libre,
~ =
ce l e m m e ,
[0}
~ u n id4al de
contenu d a n s
on peut utiliser le l e m m e
suivant
(voir
7Z] , exercice 8, Z, ch. 2).
LEMME
2. IZ
Soit @ une alg~bre de Lie libre et M
l'espace de c o h o m o l o g i e
HZ(@,
M)
de d e g r 4
Z d__~e
un
~-module.
g valeurs d a n s
[0].
www.bibliomath.com
A/ors
M
est r@duit
86
L e thgor&rne fondarnental de ce p a r a g r a p h e
r e p o s e sur la proposition sui-
vante :
PROPOSITION
2.9
Soit
une bascule.
L e s trois conditions suivantes sont
@quivalente s :
(i)
(ii)
L(T)
(iii)
]K(T>
Dans
est une bascule libre ;
ce cas,
est une alg~bre de Lie libre ;

est une alg~bre associative libre.
si T
est isornorphe ~
est la bissection
L(X) , ] K ( T >
(A, B)
du rnonoZde libre
X * , alors
L(T)
~ ]K(X> .
N o u s d4rnontrons les lernrnes suivants.
LEMME
Z. 13
Soit
T = (A, B, %0) u n e bascule,
A / o r s la cornposante d a n s
somme
d161~rnents de
D'apr&s
LVMME
Z. 14
bre de Lie libre
Soit ~
canonique
d u produit
et
alternant
[b, c~] r e l a t i v e r n e n t
de
L(A) .
L(B) , est une
B .
la relation
. Soit
L(T)
b C B
(Z. Z8),
on ale
une bascule
isomorphe
libre
lernrne par
de base
r4currence
X . Alors
sur
L(T)
l~l .
est une algh-
L(X) .
u n e alg~bre de Lie,
f une application
i : X -~ L(T) . N o u s p r o l o n g e o n s d'abord
f : X-. ~
et i l'injection
f en u n e application
F : A U B ~ @ par la r @ c u r r e n c e :
(Z. 29)
Vu
E (A U B)\X , u
alors
Soit F
s'4crit de rnani~re unique
u = ba
(proposition 2. 3),
F(u) = [F(b), F(a)] .
(resp. F b) la restriction de
(resp. B)
www.bibliomath.com
"
D4signons par
fa
87
(resp. fb ) l'unique rnnorphisrne d'alg~bre de Lie
longeant
longe
Fa
(resp. F b) . Soit ~ le rnorphisme de module
"f : L(T) ~ ~ qui pro-
fa et fb " Pour rnontrer que ~ est un morphisrne d~alg~bres de Lie, il
suffit de prouver la condition
(Z. 30)
L(A) . @ (resp. L(B) -~ @) pro-
V0t a l t e r n a n t de
S u p p o s o n s que
(Z. 30)
L(A) ,
(Z. 30)
et ~ alternants de
L(A)
suivante :
V~
a l t e r n a n t de
s o i t v r a i e p o u r tout
et L(B)
L(B).
iEl' l
[~, ~]= ~
i
~Ii , ~': 4rant des alternants de
L(A),
[3I
-<
net
soit
]~[ = n+l. Ecrivons
Notons
jEJ' ~j
~! +
"
o~]) -- ~([3), Y(o~)] .
~, ~ a v e c
respectivernent avec
= [3', 3"] , ~' et ~" alternants de
llhypoth~se de r4currence,
L(B) , 7 ( [ 8 ,
z
JEJ"
~j'
~j
~j" des alternants de
L(B)
D'apr~s
il vient successivernent :
[3, ~] = [~', [~ , ~33 [~ , [~', ~]]

7([3, ~]) = z tF(~'),7(~)] + z [7(~,),i(~)]
iEI"
jEJ"
z [7(~ ) 7(=i)]
iEI'
~ [Y(~),7(~)]
jEJ'
7([~, ~])= [7(~'), 7([~", ~])]- [i(~"), 7([~', =])]

7([~, ~])
Ainsi par r4currence,
(2. 31)
[7(~), (~)]
d4rnontrer
V ~ a l t e r n a n t de
Par d4finition de F
(2. 30)
L(A),
revient ~ d4montrer
vb E B,
, (Z. 31) est vrai pour tout
(g. 31) vrai pour tout alternant
~ de
L(A)
f([b,
~ ] ) = [~(b), ~(~)] .
l~I de longueur
de degr6
1 . Supposons
_< n . Soit ~ alternant de
www.bibliomath.com
88
degr~
n+l
de
L(A), ~ = [~', ~"] , of', ~"
alternants de
Eb, ~] = [[b, ~'], ~"] - [ [ b ,
D ' a p r ~ s le l e m m e
~ " ] , ~']
L(A).
On a :
2. 13 , on peut 4crire :
[b, o~'] =
[b,
E e'i + E
b'.
iEI'
jE J, 3
cd'] =
ce". +
iEI"
jEJ"
Oei,' e"i 6tant des alternants de

poth~se de r 6 c u r r e n c e ,
b"
B . D ' a p r ~ s l'hy-
L(A) , b%, b".j des 4 1 4 m e n t s de
il vient :
Y(Eb, ~]) = z
[Y(~), (~")] + z
iEI'
- z
[7(b'j),Y(~")]
jEJ'
~(~,~),7(~,)] _ z
iEI"
[Y(b%),7(~')]
jEJ"
~([b, ~])= [Y(Eb, ~'3), 7(~")]- [7([b, ~"]), Y(~')]

-f([b, ct]) = ~(b), 7(~')] .
L ' h y p o t h ~ s e de r 4 c u r r e n c e
est v~rifi~e et -{ est un m o r p h i s m e
d'alg~bre de Lie
tel que -foi = f . O n v4rifie a i s 4 m e n t que e'est le seul.
LEMME
2.15 . Soit
fibre, alors
Soit X
cule
tels que
est une al$&bre de Lie
est une bascule libre.
un syst&me
m i n i m a l de g 4 n 4 r a t e u r s (en rant que bascule) de la bas-
T . S u p p o s o n s qu'un 4 1 4 m e n t
~ 2 . Onpeut
T = (A, B, q0) une bascule . Si L(T)
h de
soit un X - p r o d u i t de bascule de d e g r 4
donc trouver d e u x roots n o n vides
h = ~ (b I ... bq ,
est un s y s t ~ m e
minimal
a I ... ap)
a I . . ap E A *
(voir la d4finition de
de g4n4rateurs,
et bl ... b q E B *
en
(2. i0)). C o m m e
est 4gal ~ l'un des b i 6 B
aj E A . O n arrive ~ une contradiction en utilisant le fair que
www.bibliomath.com
L(T)
ou des
est une alg~bre
89
de Lie fibre et que les produits de bascule d~finissant

(Z. 10)
deviennent ici des crochets d'alg~bre de Lie d a n s
b a s e de
la bissection de
bascule
L(T)
X ~' d4finie par la proposition
est i m a g e de
T'
de
Cet id4al est lqd4al de
i : X -~ A U B , et
2.6
selon un m o r p h i s m e
est donc i m a g e h o m o m o r p h e
de ce m o r p h i s m e .
forme
L(T) . Ainsi
selon
est une
(voir d4finition Z.4) .
D'autre part, soit i l'injection canonique
Lie
p~e(bl...bq , a l . . . a p)
relativement
f prolongeant
T' = (A', B')

i et
T . La
i . L'alg~bre de
L(T') . Soit ~ l'id4al de
L ( T I) , n o y a u
L ( T I) e n g e n d r 4 par les 4 1 4 m e n t s de la
[b I, a l l -
[b 2, a2] , avec
a I, a 2 E A', b I, b 2 E B'
et
<f(bl), f(al)> = <f(bz), f(a2)>
D ' a p r ~ s le l e m m e
2. ii
Z. 14,
p r o u v e alors que
cule fibre et le l e m m e
Les lemmes
proposition
L(T')
est libre. C o m m e
f est un i s o m o r p h i s m e
~[L(T'),
L(T')],
de bascule. Ainsi
le l e m m e
est une bas-
est d 6 m o n t r 6 .
g. i0, Z. 14, 2. 15
et la proposition
2.8
p r o u v e n t alors la
Z. 9
C. Q. F. D.
Nous pouvons
m a i n t e n a n t 4 n o n c e r le t h ~ o r ~ m e
principal de ce chapitre.
P o u r ceci nous introduisons les notations suivantes.
DE'FINITION
sage de
2.5
Soit
T = (A, B)
l'application
une bissection de
[[ : A U B -, M ( X )
d~finie par r ~ c u r r e n c e
des roots :
VxEX
Ilx=x
X ~ . O n appelle parenth~-
www.bibliomath.com
sur la longueur
90
v f 6 (A U B ) \ X ,
llf = (I~b, l~a) d a n s lequel
ghent l'unique @criture de
f = ba
a E A
et b E B
sous la f o r m e
(2.7) .
L o r s q u ' u n e confusion est & craindre nous noterons aussi

noterons aussi p o u r
f E A U B ,
if] = ~o[l(f) . ( R a p p e l o n s que
canonique du m a g m a
libre
dans
M(X)
T H E O I < ~ M~ E
2. Z
de p a r e n t h 4 s a g e
ibis
Soit
T = (A, B)
[A]
~ est l'application
[A]
et
[B]
se fair tr~s s i m p l e -
une bissection du m o n o r d e libre
L e s s o u s - a l g ~ b r e s de Lie libres
ques
[IT . N o u s
donnant la construction g@n4rale des bissections.
II . Alors l'application
p e c t i v e m e n t par
II par
L(X) ) .
L a construction des families d'alternants

m e n t avec le t h @ o r ~ m e
d4si-
i N ] = ~oIl(A)
~I] : A U B -~ L(X)
(A)
e__t (B)
e t [ B ] = ~I~(B)
e_~t [ B ] . b e m o d u l e
L(X)
de
est injective.
L(X)
admettent comme
est la s o m m e
X ~,
e n g e n d r @ e s resfamilles basi-
directe des m o d u l e s
~(A) ~(B).
D a n s l'alg~bre associative
dr4es par
[A]
tires
e_t [ B ] . L e m o d u l e
[A]
e_t [ B ]
]K<EA]) ~<([B])
REMARQUE
g. 9
sont libres et a d m e t t e n t c o m m e
L([A])
Lie
s'identifie au produit tensoriel des m o d u l e s
Si B
est une partie de l'alphabet
X , n o u s r e t r o u v o n s bien le
[La,
60] ,
@ n o n c @ d a n s la proposition
r~duit ~ u n e seule lettre. D a n s
ce cas
(et s e u l e m e n t dans ce cas),
est un ideal de
L([B])
KEMARQUE
~I(X)
families basiques r e s p e c -
th4or~me d'@limination de L a z a r d
pour
] K ( X > , les s o u s - a l g ~ b r e s associatives e n s e n -
et
L(X)
et
L(X)
i. 1
est le produit s e m i - d i r e c t des alg~bres de
L([A]) .
2. i0
L a fin du t h 6 o r ~ m e
2.2
peut s'6noncer aussi sous la f o r m e
www.bibliomath.com
91
tout f E ~ I ( X >
a I ... ap b I ... bq
avec
Z. ii
Le th6or&me
du t h 6 o r & m e
de P o i n c a r 6 . Birkoff-Witt
2. 17
qui suivent.
LEMME
Z. 16
Z.2
Soit
2. Z
apparai't aussi c o m m e
I T ] = ([A],
[B],
une bissection de m o n o Z d e
8) avec
IT]
morphisme
est une bascule et l'application

de bascule
Z.Z
libre
2.16
sont vraies d a n s ce cas.
e([b], [~]): E[b], [~]]
f : ~ollT : A U B -~ [ A ] U [ B ]
est un
f : T -~ I T ] .
P a r d~finition de l'alg~bre associative associ6e ~ une bascule, l'alg~bre

I<[T]>
n'est p a s autre c h o s e que
~I<X> . D ' a p r ~ s la proposition
est une alg~bre de Lie libre 6gale ~

tatif suivant
(i, j, i-, ~
~<T>
L([T])
commu-
d6signant les injections c a n o n i q u e s c o r r e s p o n d a n t e s
i~
L(T)
2.8 ,
L(X) . O n peut 6crire le d i a g r a m m e
fl~ches) :
IT]
~ i
L(f)~
L([T]) : L(X)
~.<f> ~<<[T]> : ~<<X>
www.bibliomath.com
et
X ~'~ telle que
8 d6fini par :
v[~]~ [A], V[b] [ ~ ] ,

Alors
une certaine f o r m e
si l'on 6tablit les d e u x l e m m e s
[ A ] N [ B ] = ~) . A l o r s les conclusions du t h 6 o r ~ m e
Soit
de produits
pour les bissections.
sera d 6 m o n t r 6 ,
T = (A, B)
somme
a i E [ A ] , bj E ~ B ] .
REMARQUE
Le th6or~me
unique c o m m e
aux
92
Le morphisme
de b a s c u l e
l'alghbre de Lie
~c
[L(T),
L([T])
la proposition
Z. 17
Notons
2.7
Soit
et
T = (A,
T I = T . Soit
X * , T i = ( A i, B i) ,
est i m a g e
le n o y a u du m o r p h i s m e
f est un i s o m o r p h i s m e .
LEMME
L([T])
Z. 9, L(T)
@rant aussi fibre, le l e m m e
que les propositions
de
@tant surjectif,
L(T) . Soit
L(T)] . D'aprhs
L'alg~bre
Ainsi
Z. 8
B)
,oll T
d@montrent
est u n e alg~bre de Lie libre.

prouve
alors que
les c o n c l u s i o n s du t h @ o r ~ m e
une bissection de
n >_ I et s u p p o s o n s
X* . Alors
[A] Q [B] = ~.
1 ~< i _< n , v@rifiant les trois conditions suivantes :
-"7
----/
--7
i _< i < n
A i + I Q XI = A i N X I
(2. 33)
vi ,
I ~ i < n
%OIIT.(A i n XI) N ~OI~T.(B i N Xl) = @5 ;
si
---r
--~
Bi+ I n XI = B i Q X I
"---$
1 _<i<n
Z.Z .
d4finie u n e suite de bissections
vi ,
Vi,
~ = [0} .
est injective. Ii est alors clair
(Z. 32)
(Z. 34)
de
L(f) . II est clair que
Z. II
L'application
homomorphe
% O H T ( A i N xi+l) N ~ol]T.(B i N xi+l) = @

i
, alors
Ti+ 1 = T i
DIapr~s
X*
Z. I b i s
d o n n a n t la construction des bissections de
, il est clair que l'on peut toujours t r o u v e r une bissection
que la suite
Par
le t h 4 o r ~ m e
T 1 ..... T n + 1 v~rifie e n c o r e
r~currence
les conditions
on construit airlsi u n e suite
D'apr~s
(Z. 32)
T n + 1 de
(2.3Z),
X ~'~ telle
(2.33) et (2.34) .
(Ti), i >_ 1 de bissections de
il existe u n u n i q u e couple
T' = (A', B')
X* .
de parties de
X +
v~rifiant la condition :
----2
(Z. 35)
vi > I
A' n x I
"---
=
Ai N X l
II est alors clair que

truction,
"--T
et
BIn X I = Bi N X I
T' = (A', B I) est u n e bissection de
on a :
www.bibliomath.com
X* . Par cons-
93
---7
(2. 36)
~OIIT,
et
~OIIT.
coincident sur
XI n (A' U B')
pour tout
i >_ 1
Ainsid'apr~s
cette condition et (2. 33) , la bissection
poth~se du l e m m e
(Z. 34) ,
Z. 16
et donc
Ti+ 1 = T i pour tout
Les lemmes
2.16
~OlIT,
v~rifie l'hy-
est une application injective. DVapr~s
i >_ 1 . O n a bien
et 2.17
T' = (A', B')
[A]N
[ B ] - q5 et le l e m m e
prouvent le t h ~ o r & m e
2.2 .
C. Q . F . D .
www.bibliomath.com
Z. 17.
CHAPITRE
FACTORISATIONS
BASIQUES
III
DES
MONOI'DES
LIBRES
DES
ALGEBRES
DE
i. Factorisations des m o n o Z d e s
ET
FAMILLES
LIE LIBRES.
libres.
L a notion de factorisation de m o n o Z d e
ce travail ; elle a 6t6 introduite sous sa f o r m e
fibre est l'objet f o n d a m e n t a l de tout

g6n6rale par M . - P .
Sch~tzenberger
[sc, 65] :
DEFINITION
3. 1
g r o u p e libre
X +
Soit ~ = (Yj,
e n g e n d r 6 par
J . N o u s dirons que
de
X +
J E J) une famille de parties n o n vides du d e m i -
X , index6e par un e n s e m b l e
est une factorisation du m o n o ~ d e
a d m e t une et une seule 6criture sous la f o r m e
(3. i)
EXEMPLE
614ment,
f = fl "'" fp '
3. I
P ~ l , fi E Y'Ji avec
Factorisation
compl&tes.
X~
ssi tout m o t
Jl >-''" ->Jp
Lorsque
on retrouve les factorisations c o m p l ~ t e s
libre
chaque
n'a qu'un seul
du chapitre I (D4finition 1.4)
www.bibliomath.com
95
p o u r lesquelles n o u s a v o n s d o n n ~ de n o m b r e u x
EXEMPLE
3. g
Bissections.
Lorsque
l'ensemble
on retrouve les bissections du chapitre
EXEMPLE
3.3
tions d e s s o m m e s
Factorisations
de Spitzer.
factorisation d'un s o u s - e n s e m b l e
Soit
~(f)/]f] = r
]R . P o u r
et que
Soit
et o r d o n n 4 e
Alors
soit
~(u)/]u 1 < r
la partie de
ESc, 65~
du m o n o F d e
r E IR
~ = (Yj ,
libre e n g e n d r 4
en
par
[Sp, 56]
libre
X~
]R , qui a 4t4
d a n s le g r o u p e o r d o n n 4 des
l'ensemble
d e s roots
f de
tels que
strict n o n vide
Un mot
~ . Cette,propri4t4
f = X l X 2 ... x n
(i, ~(x I ... xi)) ,
sous la f o r m e
X~
de
f.
e st n o n
que n o u s appellerons
est 4vidente avec une
est r e p r @ s e n t @ par une ligne
l -< i _< n
et le point
(0, 0) . L a fac-
(3. i) est d o n n @ e p a r les points de rencontre

c o n v e x e d e s points situ@s en d e s s o u s
gne.
Le mot
X +
r E ]R p o u r lesquels
est u n e factorisation de
cette ligne bris@e avec l'enveloppe
Par
une
de la faqon suivante :
]R forrn4e des r4els
J E J)
graphique.
d e u x ~14ments,
p a r llordre induit.
bris@e joignant les points

torisation de
Spitzer a d@fini
p o u r tout facteur g a u c h e
factorisation de Spitzer r e l a t i v e m e n t
interpretation
a exactement
E n liaison avec la th4orie d e s fluctua-
F.
du m o n o Z d e
X z~ en
~ un m o r p h i s m e
r4els additifs
vide,
rnots de
et constructions.
II .
de variables al~atoires,
4tendue ~ t o u s l e s
exemples
exemple,
soit
~(a)=-
1 ,
f = aZc2b3c
b agb a
X = [a, b, c}
~(b)=O
et
~ : X ":~-~]R
d4fini p a r :
~(c)=Z
est r e p r 4 s e n t ~
graphiquernent
www.bibliomath.com
par :
de
de la li-
98
fl
f4
f2
I I! J ~ /
II
\/
Fig.
Le m o t
f s'4crit sous la forrne
f = fl f2 f3 f4 f5
3. i.
(3. I) :
fz = b3 c E Y I / Z
f3 = b C Y O
'
Lorsque
est de cardinal
f4 = a2 b E Y - Z / 3
'
f5 = a E Y-1
Z , routes les factorisations de Spitzer sont
alors identiques (~ part la factorisation triviale

phisme
avec
fl = a2 c2 E Y I / Z
~ dont la restriction ~
~ = (X)
correspondant
~ un m o r -
est une application constante) et lion retrouve
la factorisation introduite ~ l'exemple
i. 12
en vue de d6/inir les bases de Spitzer-
Foata.
EXEMPLE
notons
3.4
Y
J
. El@ments
l'ensemble
des
saillants. Soit X = J = [I, Z, . . . .

rnots
tres lettres sont strictement

factorisation
de
X "~" .
Soit
de
X "~" c o r n r n e n ~ a n t
sup4rieures
f = fl
...
par
~ j . Alors
l'4criture
n]
et pour
et dont
routes
j E J
les
au-
~ = (Yj , J E J) est une
d'un
mot
de
X+
sous
la for-
P
me
( 3 . 1) L e s
appelle
les
premigres
~lgments
saillants
lettres
de
des
f ,
roots
f.
i
ctest-~.-dire
sont
les
alors
lettres
www.bibliomath.com
exactement
de
ce que
nlayant
Iron
aucune
97
lettre strictement plus petite A leur gauche.
EXEMPLE
3.5
Trissections.
O n t r o u v e r a d a n s la thAse de l'auteur
[Vi, 74]
une construction g6n6rale des trissections c'est-~-dire des factorisations

: (Zj , j E J)
avee
IJ] : 3 .
N o u s rappelons d'autres caract6risations des factorisations de m o n o ~ d e s

fibres, d u e s ~ M . - P .
Schl~tzenberger
PROPOSITION
Soit ~ : (Yj , J E J) u n e famille de parties n o n rides de
X +
3. 1
index6es p a r u n e n s e m b l e
torisation de
[Sc, 65] :
tc~lement ordonn6
J . L a famille
est une fac-
X {'" ssi elle v6rifie d e u x des trois conditions suivantes :
(Fa I) Tout m o t
f E X+
admet
au m o i n s une factorisation sous la f o r m e
f E X+
a d m e t au plus une factorisation sous la f o r m e
(3. 1) .
(Fa Z) Tout m o t
(Fa 3) Toute classe de conju~aison de

u n et u n seul
(3. 1).
X ~'- a une intersection n o n vide avec
Y!'. D e plus c h a q u e s o u s - m o n o Z d e
J
Y!" v6rifie la condition

J
(u s )
Vu,
NOTATIONS
torisation
vE
X ~',
uv
E Y~j __et v u
E Yj ~ u
E YJ'j__et v E Y{'j
N o u s d o n n o n s quelques notations g6n6rales relatives ~ une fac-
~ = (Yj , j 6 J) du m o n o r d e
L'ensemble
libre
X ~'~.
sera appel6 support de
S u p p (5) . L'ensernble des roots

C o n t (3) L e s e n s e m b l e s
f ~'f l'application de
et not6
U Y
sera appel6 le contenu de 3 et notd
jEJ j
f o r m e n t une partition de C o n t (3) et n o u s notons
J
C o n t (3)
"f est l'unique
sur
J = S u p p (3) d6finie par :
j E J tel que
f E Y
www.bibliomath.com
98
E n fair les e n s e m b l e s
fibres
Y~"
J
seront appel~s les facteurs de
f = fl "'" fp l'unique 4criture de

sera not4
d'habitude
[n]
d4signe
rdguli~res
gauches
Le but de ce paragraphe
de Lazard
ceci nous introduisons
les d4finitions
DEFINITION
3.2
une application
(3.2)
Soit 3
J C J , soit
K
11 de
3.3
(3. i) . L e p-uplet
l'ensemble
et families
totalement
(fl'''''fp)
ordonn4
des entiers
ainsi
basiques.
la g4n4ralisation
que du th4or~me
de la d4finition
1. 1 c o r r e s p o n d a n t .
Pour
suivantes.
Cont (3) d a n s le m a g m a
X es . U n p a r e n t h ~ s a g e de
fibre
M(X)
est
telle que :
6o11(f) = f .
Soit 3 = (Yj , J E J) une factorisation de
% = ( Z k, k E K.)
J
la somme ordinale
= ( Z k, k C K)
une f a c t o r i s a t i o n
du sous-monorde
X ~
et, p o u r tout
libre
~! .
J
Z K . Alors il est clair que la famille

jEJ
j
est une factorisation
d e X"' . N o u s d i r o n s q u e ~ e s t l a c o m p o s S e
par les factorisations
Soit d'autre
~j .
part
jO E J . L o r s q u e
estlafactorisationtriviale
qj = (Yj)
dirons e n c o r e que
REMARQUE
et
est la suite vide.
une factorisation de
g f E C o n t (3)
DEFINITION
~j
et les s o u s - m o n o ~ d e s
Enfin, soient f E X +
est de donner
1. 1 d e s f a c t o r i s a t i o n s
d_~e 3
3(e)
n].
Z. F a c t o r i s a t i o n s
Notons
sur
f sous la f o r m e
3(f) . N o u s c o n v e n o n s que
Comme
[I, 2 . . . . .
sont des c o d e s
3. 1
est la c o m p o s 4 e
de
pour tout
de
3
j E J\[J0 } , la factorisation
Y~'~j ( c ' e s t - ~ - d i r e
1Kjl = 1)
par lafactorisation
II est clair que la relation "~tre c o m p o s ~ e
tion dlordre sur 11 e n s e m b l e
Fac(X)
des factorisations de
www.bibliomath.com
%0
de
nous
Y~J0
d e " est une rela-
X ~'~. O n prouverait
99
(voir
[Vi, 74]) :
Fac(X)
est un inf-demi-treillis complet.
U n e partie de
Fac(X)
Fac(X)
a d m e t une borne sup~rieure ssi elle est major~e.
est un e n s e m b l e inductif.
L e s factorisations c o m p l ~ t e s sont en fait les ~l~ments m a x i m a u x
Reprenons
= (Zk, k E K)
les factorisations
de la d6finition
de a etpourtout jEJ,
Pour
J E J , notons
soit n%:Cont(%)~M(Zj)
l]j la restriction de
Y.
Soit maintenant
Y?
J
~j = (Z k, k E Kj)
3.3 . Soit l]~ : Cont (~) -. M ( X )
m a n i ~ r e unique en un m o r p h i s m e
f E
~ = (Yj , J E J),
de m a g m a
nj
ll~ &
de
Fac(X).
et
un parenth6sage
unparenth~sagede %
Yj . Cette application s'~tend de
~j rendant le d i a g r a m m e
commutatif :
) M(X)
f E Cont (~) et j l'unique @l@ment de
J tel que
. N o u s dAfinissons :
(3.3)
DEFINITION
3.4
parenth~sage de
sages
. L'application
II : Cont (~) -~ M ( X )
d4finie par
et sera appel~ parenth~sage c o m p o s ~
de
E~
(3. 3) est un
par les parenth~-
l~j.
EXEMPLE
3.6
. Le lecteur se repportera ~ l'exemple
i. 12 des factorisations
et bases de Spitzer-Foata.
E n particulier, on peut d~finir des parenth~sages de factorisations en

composant
s u c c e s s i v e m e n t des bissections entre elles, ainsi que leurs parenth~-
www.bibliomath.com
100
sages canoniques.
D E Ft I N I T I O N
que
Ceci nous
3.5
Soit
1~ est d i c h o t o m i q u e
de factorisations
(3.4)
Pour
tout
T i de
grand
REMARQUE
X '~
(3.6)
et
Z ~'~
In. *
1
s'~crivant
~n = ~
~i+l
en d ~ s i g n a n t
par
d u s u p p o r t de
Notons
sous
la
avec
II est alors clair que

M.
est u n s o u s - m o n o Z d e
de
facteurs
de
suite finie
conditions
X~,
. Nous
; = (~i) ,
dirons
1 -< i _< n ,
est c o m p o s 4 e
Z ~'"
rn.
1
de
~i
le facteur de
a v e c u n e bissection
~i
i n d e x 4 p a r le plus
~i "
~ = (Yj, j E In])
forme
V(f) = (fl .... 'fp)
i _< i ~ n ,
~14ment
ssi il existe u n e
X ~'~ v4rifiant les d e u x
i ,
3.2
1~ u n e factorisation
~ gauche
51 = (X)
(3. 5)
de
de
conduit 5 la d4finition suivante
et soit
M.I l ' e n s e m b l e
des mots
fl E YJl ..... fp E Yjp
et Jl >-''"
dichotomique
X ~'" p o u r tout
i C [n] . D a n s
ce cas,
mJp
>i
~ gauche
ssi
la suite
= (~i) , ainsi que les bissections

sont u n i q u e s
M.
et d 4 t e r m i n 4 e s
T i v4rifiant les conditions
est u n s o u s - m o n o Z d e
libre,
de b a s e
Zi) . L a bissection
successives
X ~'"= Z 2
(3.5)
Z.
et alors
L a d4.finition
positions
et
par :
= (YI'''''Yi-I'
(3.4)
3.5
exprime
simplement
de bissections
= Z 3
T i est la bissection
que
(Zi+l,
est o b t e n u e
Yi ) de
Z~.1
p a r les c o m -
, ..
= Zi+ 1 Y
, "'"
www.bibliomath.com
, Z ~n-i
n Y ~n-I
"
101
A v e c les m ~ m e s
tion
Z. 5)
notations,
de la bissection
~i par la r 4 c u r r e n c e
T i de
DEFINITION
1 _< i < n
3.6
L'application
IIn
Z'l'~-i" N o u s d ~ . f i n i s s o n s
(d6fini-
un parenth4sage
lii d e
(3.7) :
- I~I est l'injection canonique

- P o u r tout i ,
soit lIT le p a r e n t h 4 s a g e canonique

1
X _. M ( X ) ;
Ill+I est le p a r e n t h 6 s a g e c o m p o s 4
Soit ~
IIi par
une factorisation d i c h o t o m i q u e ~ g a u c h e ~
d4finie par la r 6 c u r r e n c e
canonique ~ g a u c h e de
de
(ou s i m p l e m e n t
(3.7)
sera appel4e
le p a r e n t h 4 s a g e de
liT..
1
n facteurs.
lorsque a u c u n e
confusion n'est ~ craindre).
REMARQUE
3. 3 .
O n dAfinirait d u a l e m e n t les notions de factorisation dichoto-
m i q u e ~ droite et de p a r e n t h 4 s a g e canonique ~ droite.
EXEMPLE
3.7
Reprenons
la factorisation
~ = (Yj, j E In])
relative a u x 4 1 4 m e n t s saillants. D ' a p r & s la r e m a r q u e
3.2 , a
tion d i c h o t o m i q u e ~ gauche. E n effet l ' e n s e m b l e not4
de l'exemple
est une factorisa-
M i est ici l ' e n s e m b l e des
roots f f In] ~'" dont toutes les lettres sont des entiers sup4rieurs ou 4 g a u x ~
E n fait,
de
est aussi d i c h o t o m i q u e g droite. E n dfinissant
M i , on v6rifie ici que
3.4
N.I est l ' e n s e m b l e des rnots de
i .
N i , la notion duale
[n] ~'~ dont la p r e m i & r e
lettre est inf4rieure ou 4gale ~ i , ce qui est bien u n s o u s - m o n o r d e .
Notons
Ilg (resp. IId) le p a r e n t h 4 s a g e
. P o u r tout m o t
f = x I ... Xp
de
C o n t (5) (avec
Ilg(f) : (...((x I, x 2) . . . . .
n -- 5
(resp. droit) de
x i E In]) , on a :
Xp_l) , Xp) .
P a r contre le lecteur v4rifiera directement,

pour
canonique g a u c h e
qu'avec les dAfinitions pr4c~dentes,
et
www.bibliomath.com
102
f = 1 5 3 5 Z 4 3 5 4
on
a alors
E C o n t (5)
nd(D = ((u, v), w)

avec
u=(1,
5)
v=(3,
5)
w = ((2, 4) , ((3,
DEFINITION
de
3.7
X* , soient
Soient
n > 1 et
dent & lrordre

talement
(n, Y)
5), 4))
$ = ( Y j , j C if)
Y une pattie
ssi il existe
et
de
Q = (Zk,
k E K)
X . Nous dirons
une bijection
croissante
que
deux factorisations
IY e t
(~ c o r n c i -
~ de llensemble
to-
ordonn~
fin, Y = [j E J ,
totalement
sur l ' e n s e m b l e
Yj f] y n / i D
ordonn~
K n , y = [ k E K,
Z k C] ynT{ ~ ?
et v4rifiant la condition
(3.8)
REMARQUE
(3.9)
D~FINITION
V j C ffn, Y
3.4
p o u r tout entier
Yj n y n =
L a condition
vf E yn
3.8
'
(3.8)
~quivaut & :
~(f) = ~(f) .
U n e factorisation
n > i
Zq0(j ) n y n
de
X*
et p o u r route pattie finie
est dite r4guli~re

Y
de
gauche
ssi
X , il existe u n e factori-
www.bibliomath.com
103
sation d i c h o t o m i q u e ~
EXEMPLE
3.8
g a u c h e de
X*
coZncidant avec
3.7
et
3.8
&
~ l'ordre
N o u s v e r r o n s avec les critAres du p a r a g r a p h e
factorisations de Spitzer de 1 7 e x e m p l e
Lorsque
3.3
(n, Y) .
suivant que les
sont r6guli~res gauches.
est un alphabet fini, on peut se restreindre dans les d6finitions
Y = X . L o r s q u e de plus
est une factorisation compl~te,
le lec-
teur v6rifiera a i s 6 m e n t que l'on retrouve les factorisations de L a z a r d du chapitre

I (d6.finition I. i) .
LEMME
3. i .
Soit X
fini et 3
est r6guli~re g a u c h e ssi 3
Le lemme
une factorisation
LEMME
3.2
1.Z
permettant
Soit 3
se g6n6ralise
II : C o n t (3) -, M ( X )
parenth6sage
3.9
I~
coincident sur
tel que
corncidant avec
gauches :
X * . Ii existe u n et
de
et p o u r route
~ l'ordre
(n, Y)
et de
IIQ , on a :
Cont (3) r] y n
(3. i0)
r4guli~res
associ6
(3. i0) :
P o u r une factorisation r6guli~re g a u c h e
II d6fini p a r la condition
nique ~ g a u c h e de
Si 3
de
canonique & g a u c h e (d4finition 3.6)
I] et
D E ,F I N I T I O N
aux factorisations
n >_ 1 , p o u r route pattie finie
factorisation d i c h o t o m i q u e ~ g a u c h e
parenth6sage
de d6-finir la n o t i o n de p a r e n t h 6 s a g e
une factorisation r4guli~re g a u c h e de
P o u r tout entier
X* . Alors
est une factorisation de L a z a r d .
de L a z a r d ,
u n seul p a r e n t h 4 s a g e
une factorisation c o m p l ~ t e de
de
X ~ ~ , itunique
sera appel6 le p a r e n t h 6 s a g e
cano-
est une factorisation r6guli&re g a u c h e c o m p l & t e sur un alphabet fini,
on retrouve alors]a d6finition
l.Z
du p a r e n t h 4 s a g e associ@ ~ une factorisation de
Lazard.
www.bibliomath.com
104
Nous
sornnrnes en m e s u r e
ainsi que celle du t h 4 o r ~ m e
i.i
d'4noncer la g4n~ralisation du th4or~rne
classique de Poincar~-Birkhoff-Witt
THEOREME
3. i
II son p a r e n t h 6 s a g e
jective. P o u r
Soient
canonique.
THEOREME
sous-jacents
3. Z
IT son p a r e n t h ~ s a g e
Soient
adrnet
[Yj]
duits de la f o r m e
adrnet
sous-jacent ~
par
L(X)
[Yj]
est s o m m e
directe
3 = (Yj, j E J) une factorisation r4guliAre g a u c h e et

Pour
f C Cont (3), notons
associative de
u C ]K(X>
~l(X>
engendrde
YoH(f) = If]
par
[Yj]
est libre et
s'@crit de m a n i ~ r e
unique c o r n m e
somme
de pro-
u I ... Up
modules
engendr~e
c o m r n e famille basique.
Tout @l@ment
En somme,
est in-
j ~ L([Yj]) .
canonique.
L a sous-alg~bre
j d_~e L(X)
Le m o d u l e
aux
y[l : Cont (3) -+ L(X)
yo[I(f) -- If]
de Lie libre
c o r n m e famille basique.
des m o d u l e s
A/ors l'application
f E Cont (3), notons
L a sous-alg~bre
[Yj]
3 = (Yj, j E J) une factorisation r4guli&re gauche et
le m o d u l e
avec
u i E [Yji ] e_~t 31 k ' ' "
sous-jacent i
]K<X>
>- Jp
"
s'identifie au produit tensoriel des
~<[Yj]>.
jEJ
C e d e u x th~or&rnes ne sont qu'une simple c o n s e q u e n c e
c'est-g-dire lorsque
du t h @ o r & m e
2. 2
est une bissection . O n passe en effet facilement de IA au
cas des factorisations dichotorniques
~ gauche par "composition
successives",
puis au cas des factorisations r@guli&res g a u c h e s en rernarquant que les t h @ o r & m e s

3.1
et
3. Z
sont vrais d&s qu'ils le sont pour routes les farnilles de la f o r m e
www.bibliomath.com
105
[[Yj N F] , j 6 J]
avec
p a r t i e f i n i e de
Cont
($)
C. Q . F . D .
3. E n s e m b l e s
de Hall et caract6risations
risation r6guli~re g a u c h e
g6n6rales
3. i
et
3. Z
3. g
[Vi,
Nous
3.9
est de r e n d r e plus m a n i a b l e
et d u p a r e n t h 6 s a g e
et 4
74]
associ6,
introduites afin de p r o u v e r
~ partir du chapitre
paragraphes
l'auteur
des factorisations
I . Nous
p o u r les d 4 m o n s t r a t i o n s
g6n6ralisons
la d4finition
gauches.
les notions de facto-
sans revenir a u x d@/initions
directement
II . C e p a r a g r a p h e
d u chapitre
r6guli~res
les th6or~rnes
g6n4ralise les r6sultats des
renvoyons
le lecteur & la th~se de
cornpl~tes.
i. 3 des e n s e m b l e s
de Hall p a r :
DEFINITION
M(X)
.
3. I0
et a
Nour
Soit
(H, J, S)
u n e application de
dirons que
(H,
J, ~)
u n triplet avec
dans un ensemble
est un e n s e m b l e
partie d u m a g m a
fibre
totalement o r d o n n 6 p a r
de Hall ssi on a les trois condi-
tions suivantes :
(Ha 1 )
XcH
( H a Z)
vh
= (u, v) E H \ X
uEH,
h E H
ssi on a l e s
trois conditions
v6H
~u<~v
v E X
VU E H,
( H a 3)
Lorsque
nition
H = J
et ~
ou
Vv E H,
est l'identit6,
v = (v', v")
(u, v) E H ~
avec
~ v' _< s u
u_<~(u, v)
on retrouve les e n s e m b l e s
I. 3 .
www.bibliomath.com
de Hall de la d6fi-
106
N o u s g@n@ralisons le t h ~ o r ~ m e
1.2
et le l e r n m e
PROPOSITION
(Hag)
1.6
3. Z .
de la d~finition
1.2 , ou plus p r ~ c i s ~ m e n t la proposition
par :
Soit (H, J, a) u n triplet v4riiiant les conditions
(Ha I ) et
3. i0 . Soit ~(H, J, ~) la farnille de parties de
X + d~finie
par
~(H, J, ~) = (Yj, j E J) a v e c
Alors
condition
~(H, J, a)
Y.j = 6(a-l(j))
est u n e factorisation de
pour
j E J.
X ":'~ ssi (H, J, ~)
v6rifie la
(Ha 3) .
D a n s ce cas
tr~tion k H
de
~(H, J, 7) est une factorisation r4gulibre gauche.
6 : M(X) ~ X +
L a res-
est bijective et l'application r ~ c i p r o q u e est le pa-
r e n t h 4 s a g e canonique g a u c h e de
~(H, J, a)
(d~finition
3.9)
L a p r e u v e de la condition n 4 c e s s a i r e est tout & fait analogue & celle du

lernme
1.6 .
P a r contre la p r e u v e de la condition suffisante, c'est-~-dire la g4-
n4ralisation de la proposition
partie finie de
1.2
est n e t t e m e n t plus d41icate. P o u r
n ~ i et Y
X , on construit des bissections successives (grace au t h ~ o r ~ m e
g. i) telles que la factorisation c o m p o s 4 e
coincide avec
~(H, J, a)
& l'ordre
(n, Y) . L a difficult4 provient du fair que l'on ne sait pas & priori que la restriction & H
de
6 : M ( X ) -.X +
chapitre
III de
est bijective. O n se r e p p o r t e r a & la proposition
i du
[Vi, 7 4 ] .
O n g6n6ralise sans difficult6 la proposition
i. 3 par la proposition suivan-
te, qui p r o u v e alors qutil y a 6quivalence entre les notions de factorisations r 4 g u li~res g a u c h e s et d ' e n s e m b l e s de Hall.
PROPOSITION
K
3.3
son parenth~sage.
Soit ~ = (Yj, j E J) une factorisation r4gulibre g a u c h e et

Soit H = l~(Cont (~)) e__t ~ : H ~ J d~finie par :
www.bibliomath.com
107
pour
h E H
ensemble
alors
~ h = j unique
6 h E Y" Alors
3
J E J tel que
(H, J, o)
est un
de Hall.
REMARQUV
3.5
O n peut d~rnontrer qu'une factorisation r4guli~re gauche est
caract~ris4e par son contenu.

un e n s e m b l e
de Hall
Ainsi si H
(H, J, q) , alors
est une pattie de

et q
M(X)
tel qu'il existe
sont uniquernent d4terrnin~s (& un
isornorphisrne pr&s).
Nous pouvons
ches en g4n4ralisant
Rappelons
caract4riser
la proposition
1.8
que pour un p-uple
k(~) = fl
PROPOSITION
sirnplernent
3.4
et
les factorisations
par la proposition
r4guli~res
gau-
suivante.
%0 = (fl ..... fp) , nous notons
p(~p) = fp
Soit ~ = (Yj, j E J) une factorisation de
X ~' . L e s huit con-
ditions suivantes sont 6quivalentes :
(i)
est r4~uli&re gauche (d6.finition 3.8) ;
(ii)
Ii existe un e n s e m b l e
(iii)
(resp. (iii') P o u r route d4corni)osition en s o m m e
de Hall
l'ensernble des rnots
f de
~(f) = (fl ..... fp)
est un sous-rnonorde
(iv)
f C x+ ,
(iv')
Y f E Cont (~),
(v)
vf E X + ,
(v')
v f E Cont (~) ,
(resp.
~ = ~7(H, J, c;) ;
ordinale
avec
Ji E J''
sous-rnonoi'de) de
X ~ ;
]ko~(f) l -< T~o~(f g)[ ;
V g E Cont (~) ,
V g E X~
tel que
tel que :
' fi E YJi
libre
V g E X~"
X ~
(H, J, ~)
] f[ -< I ;~~(f g)] ;
Xo~(f) -< Xo~(f g) ;
V g E Cont (~) , f g E Cont (~) ~ f -< f g
www.bibliomath.com
j = j1 + j,, ,
108
i. 3 , puis les implications sui-
O n rnontre a i s 6 m e n t l'analogue du lernrne

vante
L'irnplication
n > i et Y
(v') = (i) se d6rnontre par r 6 c u r r e n c e .
pattie finie de
X , la factorisation
une factorisation dichotornique ~ g a u c h e

par r 6 c u r r e n c e une suite de bissections,
coincide ~ l'ordre
. A v e c le th6or~rne
3.9
avec
2. 1 , on construit
~ l'ordre
L e s factorisations de Spitzer de l'exernple
risations r6guli~res gauches.
(n, Y)
"s'ins6rant" entre celles d~finissant
et telle que la factorisation cornpos6e coincide avec
EXEMPLE
O n s u p p o s e que p o u r
3.3
(n, Y) .
sont des facto-
P a r exernple, il est ais6 de v6rifier graphiquernent
la condition
(v t) . E n fait ces factorisations v6rifient les conditions duales de la
proposition
3.4
et sont donc aussi r~guli~res droites.
Adin de r e n d r e plus c o m m o d e
l'appl~ation des th6or~rnes
peut g6n6raliser sans difficult6 les propositions
1.9
et
i. i0
3.1
et
3. g , on
et ainsi caract6ri-
ser siraplement le p a r e n t h 6 s a g e canonique associ6 ~ u n e factorisation r6guli~re

g a u c h e sans revenir aux d~finitions du p a r a g r a p h e
Z ou a u x e n s e m b l e s
de Hall
associ6s.
PROPOSITION
3.5
th6sage canonique.
~(g)
Soit ~
Pour
une factorisation r6guli~re g a u c h e et II son p a r e n -
f C C o n t (~)\X , notons
f = g x
(fl..... fp)
Alors
IIf = (I~fl, (Zf Z ..... (If fp, x)...)).
www.bibliomath.com
avec
x E X
et
109
PROPOSITION
3.6
th6sage canonique.
lon 8
Soit $
Pour
une factorisation r6guliAre g a u c h e et I~ son p a r e n -
f E Cont ($)\X , notons
facteur g a u c h e strict de
f appar~enant &
f : ~(f) ~(f) avec
C o n t (5) . A l o r s
~(f) le plus
~(f) 6 C o n t (5)
e__}_t rl f = (~Io~(f), I~o~(f))
EXEMPLE
3. i0
L e th6or&rne
3. I, les propositions
alors de retrouver les farnilles basiques du lernrne
3.4
1.16
tion de Spitzer. N o u s a v o n s ainsi d6rnontr6 la proposition
et
3.6
perrnettent
associ6es & la factorisaI. 13
d6finissant les
b a s e s de Spitzer-Foata.
O n pourrait @vidernrnent d~finir les b a s e s de Spitzer-Foata sur un alphabet

quelconque
associ4es & une factorisation de Spitzer relative & un rnorphisrne
: X ~ _ IR .
N o u s terrninons ce p a r a g r a p h e par une b r ~ v e g6n6ralisation du p a r a g r a p h e

5 du chapitre
I .
DEFINITION
3. ii
U n e factorisation de
X ~'' est dire r~guli~re ssi elle est r ~ g u -
l i ~ r e gauche et r g g u l i ~ r e d r o i t e .
L a proposition
PROPOSITION
3.7
3.4
et la proposition duale perrnettent dI~noncer :
Soit ~ = (Yj, j E J) une factorisation de
X ~'~. L e s conditions
suivantes sont ~quivalentes :
(i)
(ii)
est r4guli~re ;
P o u r route d 4 c o m p o s i t i o n en s o m m e
existe une factorisation
k E I~i , le sous-rnonorde
ordinale
~ = (Zk, k E K)
Zk
~(f) = (fl ..... fp} avec
J =
E
(avec Jk / ~) )' il
kEK
d__~e X ~'' telle que, pour tout
est l'ensernble des rnots f d__~e X ~''~ tels que
fi E YJi ' et Ji ~ K ;
www.bibliomath.com
110
(iii)
V f E C o n t (3) ,
~f g E C o n t (3) ,
f < g ~ f g C C o n t (3) ;
(iv)
~/f E C o n t (3) ,
V g C C o n t (3) ,
f g E C o n t (3) ~ f -< f g -< g
EXVMPLES
3. ll
sont s i m p l e m e n t
L e s factorisations
les factorisations
sens de la d4finition
Iqous a v o n s
Iien
l'exernple
5 , chapitre
et r ~ g u l i ~ r e s
I ,
au
sont r4guli~res.
selon les 414rnents
saillants de
3.4.
3.8
Soit
(a)
F = X U If E X +
(b)
Vu
EF,
d'une factorisation
e u<@
X +
ordonn4
f = u v
v~e
r4guli~re
et g 4 n 4 -
avec
u_<e
perrnet de d o n n e r
X ''~ , g4n4ralisant
e__t 0
u n e application
surjective
v4rifiant les d e u x conditions
u E F ,
uv_<@
3.8
de
u n e partie de
tels que
3 = (a-l(j), j C J)
L a proposition
totalement
vvEF,
r4guli~res
le c o n t e n u
i. 14 :
dans un ensemble
risations
de Spitzer
est de rn~rne de la factorisation
PROPOSITION
Alors
qui sont ~ la lois c o m p l ~ t e s
vu que les factorisations
raliser la p r o p o s i t i o n
du p a r a g r a p h e
3. 1 1 .
O n peut c a r a c t 4 r i s e r
de
r~guli~res
v E F
e___t @ u < @ v}
r4$uli~re
de
X ~'" .
u n e construction
g4n4rale
d e s facto-
celle relative a u x factorisations
com-
pletes.
Remarquons
X:"
admet
enfin
u n e factorisation
(voir
[Vi,
compos4e
74])
que route factorisation
r6guli~re
et c o m p l ~ t e .
www.bibliomath.com
r4gruli~re
de
111
I~Eh4ARQUE
3. 6.
les chapitres
N o u s t e r m i n o n s ce m @ m o i r e
3. Z
recouvrant
II et III.
La deuxi~me
r~me
par quelques r e m a r q u e s
pattie du t h 6 o r ~ m e
3. i implique la d e u x i ~ m e
en route g4n4talit4. E n effet le t h 6 o r ~ m e
peut s'4crire sous la f o r m e
pattie du th4o-
de P o i n c a r 6 - B i r k h o f f - W i t t
plus g4n4rale suivante ( c o m m u n i c a t i o n
personnelle de
P . Cartier) :
Soit
u n e alg~bre de Lie et 9/ son alg~bre enveloppante.
J E J , des s o u s - a l g ~ b r e s de Lie de
dules)
. Alors
jEJ J
telles que
soit la s o m m e
~/ est le produit tensoriel (de m o d u l e s )
Soient
,
J
directe (de m o -
~/ .
jEJ
J
D'autre part, on peut g4n4raliser la notion de bascule du chapitre

me
suit. Soit J u n e n s e m b l e
ensemble
<b, a> . L a proposition
Z.7
ciative ayant p o u r m o d u l e
]K<Aj>
II corn-
totalement o r d o n n 4 et (Aj , j ~ J) une partition d'un
en parties n o n rides. P o u r tout j et k
on se d o n n e une application
Aj A k -~ A
4 1 4 m e n t s de
net4e e n c o r e c o m m e
avec
j < k ,
le produit de bascule
se g4n4ralise et on peut construire une alg~bre asso-
sous-jacent le produit tensoriel (de m o d u l e s )
et telle que :
jEJ
Vj, k C J
, j <k
V a j E Aj ,
Yak
E Ak
, on a
aj . a k = a k aj + (aj, ak> .
L a proposition
2.8
se g4n4ralise aussi.
Toutefois il n'y a pas d'analogue de la proposition

damental
Z. 9
et du t h 4 o r ~ m e
g.2 . L e s seules factorisations qui c o r r e s p o n d r a i e n t ~ ce m o d u l e
les factorisations r~guli~res du dernier p a r a g r a p h e du chapitre
seraient
Ill. k4ais m ~ m e
p o u r celles-ci, il est n ~ c e s s a i r e de revenir ~ la d 4 c o m p o s i t i o n en bissections

successives,
pour aboutir a u x t h ~ o r ~ m e s
3. 1 et
3. g .
www.bibliomath.com
fon-
112
Remarquons
enfin que les relations
(2. 16)
et (Z. 17) de la proposition
conduisent ~ un algorithme permettant d'~crire tout m o t de

factorisation relativernent & ]K <~A]> ]K <(B]>
U n e application r~p~t~e de cet algorithme
sant une factorisation de Z a z a r d
re de tout m o t
nSmes
u E X~
(avec
(A, B)
selon son unique

bissection de
X~").
selon les dLff~rentes bissections c o m p o -
$ = (Yj, j ~ S), p e r m e t
selon la f o r m e
X~
Z. 7
du t h ~ o r ~ m e
de donner l~unique ~critu-
3. g . Z e s coefficients des m o -
u I ... Up , u i C [Yji ] , j] e ... >_ jp , sont des entiers positifs (puisqu'ils
le sont pour chaque bissection d'apr~s
(2. 17)).
www.bibliomath.com
BIB L I O G R A P H I E
[Bo, 72]
N. B O U R B A K I ,
Groupes et alg&bres de Lie, chapitre Z, alg~bres
de Lie libres, H e r m a n n (197Z).
[CP, 69]
P. C A R T I E R
et D. F O A T A ,
Prabl~mes combinatoires de c o m m u t a -
tion et r6arrangements,
Lecture Notes in Math., n85,
Springer Verlag (1969).

[CFL,
58]
K.T. C H E N ,
R. II. F O X
et R.C. L Y N D O N ,
Free differential calcu-
lus, IV, The quotient groups of the lower central series,

Ann. of Math., 68, l (1958), 81-95.
[Co, 71]
P.M.
COHN,
[Fo, 65]
D. F O A T A ,
Free rings and their relations, Academic Press, (1971).

Etude alg6brique de certains probl~mes d'analyse c o m -
binatoire et du calcul des probabilit6s, Publ. Inst. Statist.

Univ. Paris, 14 (1965), 81-Z41.
[Fo, 75 ]
D. F O A T A ,
Studies in enumeration, Institute of Statistics M i m e o
Series n974, Chapel Hill, North Carolina (1975).

[FS, 71]
D. F O A T A
et M . P . S C H f 3 T Z E N B E R G E R ,
O n the principle of equiva-
lence of Sparre Andersen, Math. Scand., Z8 (1971), 308-316.

EGo, 69]
Y.M.
GORCHAKOV,
C o m m u t a t o r Subgroups, Sibirski Matematiches-
ki Zhurnnal, 10, 5 (1969), 1023-1033.

[HAM, 50]
M. H A L L ,
A basis for free Lie rings and higher commutators in
free groups, Proc. A m e r .
Math. Soc., 1 (1950), 575-581.
www.bibliomath.com
114
[HAM,
59]
M. H A L L ,
Theory of groups, The MacMillan Company,
(1959).
[HAP, 333
P. H A L L ,
A contribution to the theory of groups of prime power or-
der, Proc. London Math. Soc., Z, 36 (1933), Z9-95.

[Hau, 06]
F. H A U S D O R F F ,
Die symbolische Exponentialformel in der Gruppen-
theorie, Leipziger Bet., 58 (1906), 19-48.
[Ja, 62]
N. J A C O B S O N ,
Lie Algebras, Interscience Publishers, John Wiley
(196Z).
La, 54 ]
M. L A Z A R D ,
Sur les groupes nilpotents et les anneaux de Lie,
Annales Sci. ENS,
[La, 603
M. L A Z A R D ,
3, 71 (1954), i01-190.
Groupes, anneaux de Lie et probl~me de Burnside,
Inst. Mat. dell. Universita R o m a
ELy, 543
R.C. L Y N D O N ,
(1960).
O n Burnside~s problem, I, Trans. A m e r .
Math.
Soc., 77 (1954), ZOZ-Zl5.

[Ma, 35]
W. MAGNUS, Beziehungen zwischen Gruppen und Idealen in einem

speziellen Ring, Math. Ann., 111 (1935), Z59-280.
[Ma, 37]
W. M A G N U S ,
I~ber Beziehungen zwischen hDheren Kommutatoren,
J. Grelle, 177 (1937), I05-115.

[Ma, 55]
W. M A G N U S ,
O n the exponential solution of differential equations for
a linear operator, C o m m .
pure and appl. math., 7 (1955),
649-673.
[Mi, 74]
J. M I C H E L ,
Th~se de 3e cycle, Publication math4matique de
l'Universit4 d'Orsay, n55 (1974).

[Mi, 74']
J. M I C H E L ,
Bases des alg~bres de Lie et s4rie de Hausdorff,
s4minaire Dubreil (alg~bre) Z7e ann4e, n6, 9 p., I.H.P.,

Paris (1974).
www.bibliomath.com
115
[Mi, 76]
J. M I C H E L ,
Calculs dans les alg~bres de Lie libres : la s~rie de
Hausdorff et le probl~me de Burnside, in Ast~risque 38-39,

Journ~es algorithmiques de lIENS Ulna, (1976), 139-148.
[MKS,
66]
W. M A G N U S ,
A. K A R R A S S
et D. S O L I T A R ,
Combinatorial Group
Theory, John Wiley, (1966).
[MW, 5Z]
H. M E I E R - W U N D E R L I ,
Note on a basis of P. Hall for the higher
c o m m u t a t o r s in free groups, C o m m .
Math. Helv. 26
(1952), i-5.
ESc, 58]
M.P. SCHI~TZENBERGER,
Sur une propri~t~ combinatoire des al-
g~bres de Lie libres pouvant ~tre utilis~e dans un probl~me

de Math~matiques appliqu~es, S~minaire Dubreil-Pisot,
annie 1958-1959, I.H.P., Paris (1958).
[Sc, 65]
M. P. S C H U T Z E N B E R G E R ,
Proc. A . M . S . ,
[Sc, 71]
M.P. SCHUTZENBERGER,
O n a factorisation of free mono~ds,
16, l (1965), 21-24.

Sur les bases de Hall, Notes manuscrites,
(1971)o
[Sh, 68]
R.A. S C H O L T Z ,
M a x i m a l and Variable W o r d - L e n g t h c o m m a - f r e e
codes, I E E E Trans. on Inf. Th., (1969) 300-306.
ESi, 58]
V
V
A.I. S I R S O V , Subalgebras of free Lie algebras, Mat. Sbarnik N.S.,
33, 75 (1953), 441-452.
[Si, 6Z]
V V
A.I. SIRSOV, O n bases for a free Lie algebra, Algebra i Logika
S4m.,
ESp, 56]
F. S P I T Z E R ,
I, (1962), 14-19.
A combinatorial l e m m a
lity theory, Trans. A m e r .
[Vi,
72]
G. V I E N N O T ,
and its applications to probabi-
Math. Soc., 82 (1956), 323-339.
Factorisations des monordes libres, bascules et alg~-
bres de Lie libres, colloque sur les anneaux et les demigroupes, S6minaire Dubreil, g5e ann6e, n55, 8 p., I.H.P.,
Paris (1972).
[Vi, 73]
G. V I E N N O T ,
Factorisationsdichotomiques des monoi'des libres et
alg~bres de Lie fibres, C.R. Acad. Sci. Paris, Z76 A (1973)
www.bibliomath.com
116
511-514 ; U n e g~n4ralisation des ensembles de Hall, C . R .
Acad. Sci. Paris, 276 A (1973)599-602, Factorisations
r4guli~res des mono['des fibres et alg~bres de Lie fibres,
C.R.
Evi, 74]
G. VIIgNNOT,
Acad. Sci., Paris, 277 A (1973), 493-496.
Alg~bres de Lie libres et mono['des libres, Th~se de
Doctorat, Univ. Paris VII, (1974).

[Vi, 74']
G. VIEIX~OT,
U n e th4orie alg4brique des bases et familles basiques
des alg~bres de Lie libres, s4minaire Dubreil (alg~bre),

Z7e ann4e, n5, 17 p., (1974).
[Vi,
74"]
G. VI]~NNOT,
Factorisations des mono['des libres et bases des al-
g~bres de Lie fibres, Journ~es Montpellier, Cahiers Math4matiques de l~Universit4 de Montpellier, n3, 157-180.
Evi, 75]
G. V I E N N O T ,
Quelques bases et familles basiques des alg~bres de
Lie libres c o m m o d e s
Journ6es L i m o g e s
pour les calculs sur ordinateurs,
"Utilisation des calculateurs en M a t h 6 m a -
tiques pures",(1975), Bull. Soc. ~Jiath. Prance,
~6moire
49-50 (1977), Z01-Z09.
[Wa, 69]
M.A.
WARD,
Basic c o m m u t a t o r s ,
Philos. Trans. Roy. Soc.
London, A Z64, (1969), 343-41Z.

Ewi, 37]
E. W I T T ,
Treue Darstellung Lieschen Ringe, J. Grelle, 177,
15Z-160.
www.bibliomath.com
1937),
INDEX
alg~bre associative
TERMINOLOGIQUE
associ~e ~ une bascule
80 (Prop.2.7)
alg~bre associative libre
12
alg~bre enveloppante
12
alg~bre de Lie associ~e ~ une bascule
83 (Prop.2 8)
alg~bre de Lie libre
12
alternant
13
bascules
73 (d~f.2.2)
bascule engendr~e
74
congruence de bascule
74
bascule libre
75, 76 (Prop.2.5)
bascule quotient
74
image d'une bascule
74
image r@ciproque d'une bascule
74
intersection de sous-bascules
74
morphisme de bascule
73 (D~f.2 3.)
sous-bascule
73
X-produit de bascule de degr~ n
74
base de Chen-Fox-Lyndon
15, 21 (Ex.l 4),
23 (Ex.l.6), 50 (Leme 1.13), 50 (Prop.l.!2)

base de Hall
14, 22 (Ex.l.5)
base de Meier-Wunderli
15 (Rem. l.l)
base de ~ir~ov
17
base de Spitzer-Foata
52 (Ex.l.12)
www.bibliomath.com
118
base (d'une bascule)
76 (D~f 5.4)
base (d'un sous-monoide libre)
II
bissections
62 (D~f.2.1.)
construction g~n~rale
71 (Th4or&me 2bis)
bissections associ4es au principe de Sparre Andersen
63 (Ex 2.3)
Chen-Fox-Lyndon-~ir~ov
voir base ou factorisation
Chemin minimal de ~ X
52
code
Ii
code pr~fixe
(suffixe)
65
"collecting process" de P.Hall
14
composition de factorisations
98 (D~f.3.3)
composition de parenth~sages
99((D~f 3.4)
congruence de bascule
74
conjugaison
ii
conjugu~ (d'un mot)
Ii
conjugu4 propre (d'un mot)
ii
contenu (d'une factorisation)
97
degr4 (d'un mot, d'un alternant)
I0
demi-groupe libre
I0
d4parenth6sage
i0
d4rivation
i0
~l~ments saillants
96 (Ex.3.4)
~l~ments de Lie
13
ensemble de Hall
14, 24 (Th~or~me 1.2),
24 (Prop.l.2), 33 (Prop.l.3) ,105 (D~f 3.10)
www.bibliomath.com
119
facteur (d'une factorisation)
98
facteur (d'un mot)
ii
facteur gauche, droit, facteur propre (d'un mot)

factorisation (de monoide libre)
ii
94 (D4f.3.1)
factorisation coincidant a l'ordre (n,Y)
102 (D~f.3.7)
factorisation compl&te
36 (D4f 1.4)
factorisation compl~te r~guli~re
49 (D4f 1.5),
autres caract~risations: 49 (Prop.l.ll)

construction g4n4rale:
57 (Prop.l.14)
factorisation compos~e
98 (DEf. 3.3)
factorisation de Chen-Fox-Lyndon-~ir~ov
15, 21 (Ex.l.4),
23 (Ex 1.6), 37~ 41, 50 (Lemme 1.13)

factorisation de Lazard
20 (D~f i.i),
autres caract~risations: 43 (Prop.l.7), 44 (Prop.l.8), 35 (Cor.l.l)

factorisation de Spitzer-Foata
52 (Ex.l.12)
factorisation selon les ~lements saillants
96 (Ex.3.4)
factorisation dichotomique ~ gauche
I00 (D6f 3.5)
faetorisation r4guli@re
109 (D~f 3oll,Prop 3 7)
famille basique
Hall
13
voir base ou ensemble de Hall
image de bascule
74
image r~ciproque de bascule
74
intersection de sous-bascules
74
Lazard
voir
lemme d'&limination de Lazard
www.bibliomath.com
18 (Prop.1.1)
120
voir
lexicographique
mot
lexicographique standard
longueur (d'un mot)
i0
magma libre
i0
Meier-Wunderli
15 (Remarque I.i)
(base de)
monolde libre
i0
morphisme de bascule
73
mot lexicographique standard
15, 21 (Ex.I.4),37 ~ 41
parenth4sage
98 (Def.3.2)
(d~finition g4n~rale)
parenth4sage compose
99 (D~f.3.4)
parenth~sage d'une bissection
89 (D~f 2.5)
parenth4sage d'une factorisation de Lazard
22 (D6f 1.2),
autres caract~risations: 47 (Propl.9,1.10), 24 (Prop.l.2)

parenth~sage d'une factorisation dichotomique
I01 (D~f 3.6)
parenth~sage d'une factorisation r~guli~re gauche
103 (D~f 3.9), 108
(Prop.3.5), 109 (Prop. 3.6)

pr~fixe (sous-monoide pr~fixe)
65
primitif (mot primitif)
12
12
(classe primitive de conjugaison)
~ir~ov
voir base de ~ir~ov
sous-mono'ide libre
II
sous-mon~ide pr~fixe
64
Sparre Andersen (bissection associ~e au principe de Sparre Andersen) 63 (Ex.2.3)

Spitzer
voir factorisation de Spitzer
Spitzer-Foata
voir factorisation ou base
support
de Spitzer-Foata
(d'une factorisation)
www.bibliomath.com
97
121
trissection
97 (Ex. 3.5)
Witt
13
(formule de Witt)
www.bibliomath.com
INDEX
DES
NOTATIONS
Notations g~n~rales
[n] = {I,2 .....n~
~EI
E\P =
cardinal de l'ensemble E
[uem, u~P}
~n
pour P i ,
.n
ielN, suite de parties de E,
qn/d
= ~
P.l
ie[n]
fonction de Moebius sur

~, I, ~, ~, C resp. anneau des entiers positifs, anneau des entiers, corps des
rationnels, des rdels, des complexes.
St~'uctures libres.
M(X)
*
X ou Mo(X)
magma libre
i0
monoide libre
I0
pour A ~ X
,A
aous-mono~de engendr@ par A
Ii
X+ = X * ~ { e ~
demi-groupe libre
I0
~<X >
alg~bre associative libre
12
~<<X>>
alggbre des s4ries formelles en variables non commutatives
L(X)
alg~bre de Lie libre
Xn, Mn(X), Ln(X) composantes homogenes resp. de X* , M(X),
10,13
L(X)
Ill
longueur du mot f
i0
mot vide
lO
h=(u,v) e M(X), kh=u , ~h=v
lO
~h , Ch
g
pour
a p p l i c a t i o n canonique
M(X) --~X* ddparenthdsage 10
application canonique
M(X) --,-L(X)
www.bibliomath.com
13
67
123
/
serle caract~ristique de
AE_X
67
alg~bre de Lie.
[U~V]
crochet de Lie
U L
alg~bre associative associ4e A l'alg~bre de Lie L
ad.x
12
12
alg~bre enveloppante de
12
d~rivation
14
y---~[x,y]
notations g@n@rales sur les factorisations.

~=(Yj, jeJ)
factorisation de monoide libre
94 (D6f 3.1)
Supp(~) = J
support
97
Cont(~)
f
=?Yj contenu
~f
~(f)
Fac(X)
application
97
Cont~)~Supp(~
unique factorisation du mot f selon

*
ensemble des factorisations de X
~: C o n t ( ~ M ( X )
parenth6sage d'une factorisation
97
98
99
22 (DSf 1.2), 89
(Def.2.5), 98 (Def 3.2), i01 (Def.3 6), 103 (Def 3.9)

If] = to~(f)
crochetage d'un mot par
notations sur les bascules

<b,a >
produit de bascule
73
Mo(T)
monoide engendr~ par une bascule
75
K < T >
alg~bre associative engendr~e par une bascule
80 (Prop.2 7)
L(T)
alggbre de Lie engendr~e par une bascule
83 (Prop 2 8)
www.bibliomath.com
124
Conditions sur les factorisations

(Hal),(Ha2),(Ha3)
ensembles de Hall
14, 24
(Ha~)
condition de Hall
14
(Ha")
condition de Meier-Wunderli
15
(~a~) (La~)
20 (D~f I.I)
(Fal) , (Fa2) , (Fa 3)

(Us)
factorisation
condition sur un code
www.bibliomath.com
41, 42, 97 (Prop 3.1)

97

Algebres de Lie Libres Et Monoides Libres

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Algebres de Lie Libres Et Monoides Libres

Încărcat de

Drepturi de autor:

Formate disponibile

Lecture Notes in

Algebres de Lie Libres

Library of Congress Cataloging in Publication Data

Viennot, Gerard, 19~5Bases des algebres de Lie libres et factorisations

AMS Su bject Classifications (1970): 05-00, 08 A10,16 A 68,17-04,17 B 99,

4quivalente, des bases et familles basi-

ques des alg~bres de Lie fibres.

66]. L'origine e n e s t le travail de P. Hall

l'~tude de certains p-groupes.

Ii n'est pas question i~ d'alg~bre de Lie, m a i s de

calculs profonds sur les c o m m u t a t e u r s

it~r~s et la suite centrale descendante

du groupe libre. Les travaux f o n d a m e n t a u x de M a g n u s

confine sous-alg~bre de l'alg~bre

formelles en variables non cornmutatives

II m o n t r e que la filtration naturelle de

d~croissante de sous-groupes du groupe libre

d6.finit une suite

qui est pr~cis~ment la suite

Witt compl~te ces r~sultats et donne la d i m e n s i o n des corn-

(ou "formules de Witt"). C e s travaux

autres sur la correspondance entre groupes et alg~bres

de Lie. Citons seulement celui de M.

et les applications impor-

tantes dans l'approche du c4l~bre p r o b l & m e de Burnside pour les groupes.

U n autre t h 6 o r ~ m e important dans la correspondance

affirmant que la s6rie

infinie d'alternants (ou

de l'alg~bre de Lie libre engendr6e par

m u l e est jalonn4e des n o m s de Poincar6,

entre groupes et alg~-

dorff qui le p r e m i e r prouvera de m a n i ~ r e pr4cise la "formule" en se plagant dans

qui sera reprise plus tard par

061 . Zes coefficients de cette s6rie ont 4t4 a b o n d a m m e n t

depuis. U n calcul ou une expression de ceux-ci d6pend de la base de l'alg~bre de

[Mi, 74] [Mi,

76] U n autre e x e m p l e d~appli-

cations pratiques est celui de la r~solution d'4quations diff~rentielles,

la solution exponentielle de l'~quation diff~rentielle lin~aire dans une alg~bre de

55] [Mi, 74]

ou certaines ~quations de la th$orie quantique des

L a d4termination d'une base de l'alg~bre de Lie libre ne semble a p p a r a ~ r e

50], et est connue sous

appelle le "collecting process",

c'est-&-dire un proc4d4 de calcul permettant d'4cri-

re de m a n i ~ r e unique tout m o t du groupe libre c o m m e

P. Hall d~finit ce qu'il

produit de certains comrnuta-

groupe de la s4rie centrale descendante.

apparaissant dans ce proc~d~ sont totalement ordonn~s et sont appel~es c o m m u t a t e u r s

Si l'on r e m p l a c e les parentheses d~finissant l'it~ration des c o m m u t a t e u r s

trouver une base est li4e ~ la notion de roots lexico-

de c8t6 la traduction en termes

~ celle de certaines familles de roots du monoi'de

nant qu'une structure aussi p a u v r e que le m o n o r d e libre a p p a r a i s s e c o m m e

m e n t a l e p o u r l'4tude des alg~bres de Lie libres.

sont des parties de

X ~'' est une famille

et Jl > "'" > Jp " L e t h 4 o r ~ m e

est, en rant que m o d u l e ,

et qui est une famil3

D e plus l'alg~bre de Lie

r4duit ~ u n seul 414ment,