12.08.2013 Views

TH`ESE présentée pour obtenir le grade de DOCTEUR Domaine ...

TH`ESE présentée pour obtenir le grade de DOCTEUR Domaine ...

TH`ESE présentée pour obtenir le grade de DOCTEUR Domaine ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

48 Chap. 1 – Part. 1.3<br />

permutation <strong>de</strong>s maj<br />

σ = 71548326 4 15<br />

σ c = 28451673 3 13<br />

(σ c ) r = 37615482 4 17<br />

Tab<strong>le</strong>au 7<br />

Par exemp<strong>le</strong>, par σ = 71548326, on a <strong>le</strong> tab<strong>le</strong>au 7 :<br />

Soit id r <strong>le</strong> retournement <strong>de</strong> la permutation id, on fixe une route ζ <strong>de</strong> id r ,<br />

par exemp<strong>le</strong>, la plus petite route ζ = 1213214321 · · · (n−1)(n−2) · · · 4321.<br />

D ÉFINITION 9.1. — Soit σ ∈ Sn, <strong>le</strong> ζ-retournement [σ] r et <strong>le</strong> ζcomplément<br />

[σ] c <strong>de</strong> σ sont définis par<br />

et<br />

(i)<br />

(ii)<br />

(iii)<br />

(iv)<br />

( id σ)<br />

( id σ)<br />

retournement<br />

↦−−−−−−−−−−−−→ ( idr<br />

r )<br />

complément<br />

↦−−−−−−−−−−→ ( idc<br />

σ c +1 )<br />

σ<br />

Tζ<br />

↦−−→ ( id<br />

[σ] r)<br />

Tζ<br />

↦−−→ ( id<br />

On vérifie que <strong>le</strong>s <strong>de</strong>ux applications σ ↦→ [σ] c et σ ↦→ [σ] r sont bijectives.<br />

LEMME 9.2. — Avec <strong>le</strong>s notations précé<strong>de</strong>ntes, on a<br />

exc σ = exc[σ] r ;<br />

<strong>de</strong>n σ + <strong>de</strong>n[σ] r = n · exc σ;<br />

exc σ + exc[σ] c = n − 1;<br />

<strong>de</strong>n σ + <strong>de</strong>n[σ] c = n(n − 1)/2.<br />

Par exemp<strong>le</strong>, <strong>pour</strong> σ = 71548326, <strong>le</strong>s tab<strong>le</strong>aux 8 et 9 suivants montrent<br />

que [σ] r = 68273154, [σ] c = 35714682 et vérifient ce <strong>le</strong>mme.<br />

[σ]<br />

c) .<br />

permutation exc <strong>de</strong>n-codage <strong>de</strong>n<br />

( id σ) = ( 12345678<br />

71548326) 3 00203242 13<br />

r ( idr<br />

r<br />

σ ) = (87654321 62384517) 3 01120412 11<br />

Tζ ( id<br />

[σ] r) = (12345678 68273154) 3 11<br />

Tab<strong>le</strong>au 8

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!