14 ABRAHAM BROER
Proposition 2.1. Esoit un ensemble non vide. Supposons que f2SEest tel que l’ensemble
{x2E;f(x)6=x}est fini. Alors fest une composition finie de cycles deux à deux disjoints.
En particulier, si la cardinalité de Eest finie, alors chaque permutation dans SEest une compo-
sition finie de cycles deux à deux disjoints.
Par exemple, dans S9on a
123456789
785643129
!=(1,7) (2,8) (3,5,4,6) = (1,7) (2,8) (3,5,4,6) (9).
Démonstration. On va procéder pas induction sur la cardinalité de l’ensemble {x2E;f(x)6=x}.
Si c’est 0,alorsfest l’identité, qu’on peut écrire comme un 1-cycle (e),pourn’importequele2E.
Supposons que fne soit pas l’identité et soit nla cardinalité de Y:= {x2E;f(x)6=x}(donc
n>0). Supposons enfin par hypothèse d’induction que, si g2SEest tel que |{x2E;g(x)6=x}| <
n,alorsgpeut s’écrire comme une composition finie de cycles deux à deux disjoints.
Fixons y2Y, c’est-à-dire, f(y)6=y.D’abordf(y)2Yaussi, car sinon f(f(y)) = f(y)et donc
f(y)=(f1f)(f(y)) = f1(f(f(y))) = f1(f(y)) = y,
une contradiction.
Considérons la suite d’éléments de Y:
y, f(y),f2(y):=f(f(y)),f3(y):=f(f(f(y))),...
Ils existent n1<n
2tels que fn1(y)=fn2(y), car sinon l’ensemble Yserait infini. Après la compo-
sition avec (f1)n1, on obtient un entier positif m(= n2n1)tel que y=fm(y). Choisissons un
tel mde façon minimale. Alors par l’argument précédent les éléments
y, f(y),f2(y),...,fm1(y)
sont tous différents et font partie de Y, donc mn.
Définissons le m-cycle := (y, f(y),f2(y),...,fm1(y)) et posons h:= f1.Alorsf=h
et, pour notre élément yfixé, on a (y)=f(y). Nous allons montrer que {x2E;h(x)6=x}est un
sous-ensemble inclus dans Ymais strictement plus petit que lui.
Si x62 Y,alorsf(x)=xet xn’est pas un des éléments de {y, f(y),f2(y),...,fm1(y)}, donc
(x)=xet 1(x)=x. On conclut que h(x)=x.Ilsuitque{x2E;h(x)6=x}✓Y. Par contre,
f(y)2Y, pour notre élément fixé y:
h(f(y)) = (f1)(f(y)) = (f1)((y)) = f(1((y))) = f(y).
De même façon h(fi(y)) = fi(y)pour 0im. On conclut que {x2E;h(x)6=x}est un
sous-ensemble inclus dans Ymais strictement plus petit que lui.
Il est possible que hest l’identité. Dans ce cas f=est un m-cycle. Supposons hne soit pas
l’identité. Alors, on peut utiliser l’hypothèse d’induction et conclure que hpeut s’écrire comme un
produit de cycles deux à deux disjoints, disons h=12...s. On peut supposer que chaque
cycle utilisé est de longueur >1(car on peut éliminer les 1-cycles et il restera au moins un cycle,
car hn’est pas l’identité). Si xest utilisé dans un des cycles, alors h(x)6=x(pourquoi ?) et donc x
n’est pas de la forme fi(y)pour 0i<m. Donc aussi les cycles jet sont disjoints.