Download (PDF, 801KB) - Blog Kerios
Download (PDF, 801KB) - Blog Kerios
Download (PDF, 801KB) - Blog Kerios
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
C(2;1),ona=u22X. 3.4.LECASN=1:LESCODESNON-INTERPRETES Puisqueet2X,lecodeestnon-interprete. Dem^emelorsqu'onposeu1=w1etu2=,commelesous-monodeXverie 57<br />
Exemple3.4.1L'ensemblefaaab;aabb;abbbgestuncodenon-interprete(doncun code(1;2)et(2;1)-limite)maisiln'estpas(1;1)-limite(u0=a;u1=aab;u2=b). <br />
degenerateursestuncodenon-interprete. tr^emementpur: Corollaire3.4.3Unsous-monodeestextr^emementpurssisonensembleminimal Ennnousexplicitonslarelationentrecodenon-interpreteetsous-monodeex-<br />
Preuve.Ilsutderemarquerqueladenitiondesmonodesextr^emementpursest celledesmonodesquiverientC(1;2)etC(2;1).Deplusunmonodetrespurest libredonc,commetoutmonodeextr^emementpuresttrespur,ilestlibre. veloppenon-interpreteeapartird'unensemblequelconque.Cetteensemblejoueen faitunr^oleanalogueaceluiduliberateur(cf.[BPPR79]). Nousdenissonsdanslasuiteunensemblequinouspermettrad'obtenirl'en-<br />
SoitNA,nousnoterons: P(N)=N:P(N)1\S(N)[S(N)1:N\P(N) <br />
egalementw2P(Z)etuw2Z.Onobtientdoncu2Z:P(Z)1.D'ou existew2P(X)telqueuw2X,maiscommeonaXZetP(X)P(Z),ona Deplus,ilestclairqueS(X)S(Z)puisqueXZ.Onadonc clairquesiXZalorsP(X)P(Z).Deplus,pourtoutmotudeX:P(X)1il Remarquonstoutd'abordquesiXZalorsP(X)P(Z).Eneet,ilest<br />
Onprouvedem^emeque X:P(X)1\S(X)Z:P(Z)1\S(Z): X:P(X)1Z:P(Z)1:<br />
OnadoncP(X)P(Z)lorsqueXZ. S(X)1:X\P(X)S(Z)1Z\P(Z):
Change language