1
Endomorphismes semi-simples
Définition 1. Soit Eun K-espace vectoriel de dimension finie. On dit que f∈ L(E)est semi-
simple si pour tout sous-espace Fde Estable par f, il existe un supplémentaire Sde Fstable par
f. De même on dira que M∈ Mn(K)est semi-simple si uMl’endomorphisme canoniquement
associé est semi-simple.
Théorème 1. Soit Eun K-espace vectoriel de dimension finie et f∈ L(E). Alors notant µfle
polynôme minimal de f, on a :
fest semi simple ⇐⇒ µfest produit de polynômes irreductibles unitaires deux à deux distincts.
Pour les besoins de la démonstration, on démontrera le lemme suivant :
Lemme 1. Si µfest irreductible alors fest semi-simple.
Démonstration. Soit F6=Eun sev de Estable par f. Considérons alors x1∈E\F(qui est
donc non nul car 0∈F) et posons Ex1={P(f)(x1)|P∈K[X]}qui est naturellement stable
par fcar pour tout P∈K[X],f◦P(f)est encore un polynôme en f.
Objectif 1. Montrons que F⊕Ex1.
Ix1={P∈K[X], P (f)(x1) = 0}est un idéal non nul de K[X]car µf∈Ix1et comme K[X]
est principal, il existe un unique polynôme unitaire π1∈K[X]tel que Ix1= (π1) = π1K[X].
Alors, π16∈ K∗car on aurait alors Ix1=K[X], absurde puisque comme x16= 0, on a 16∈ Ix1. Le
polynôme minimal de fvérifiant µf(f)=0L(E)on a en particulier :
µf∈Ix1et π1|µf=⇒µf=π1comme µfest irreductible avec π1, µfunitaires.
On en déduit donc que π1est irreductible. Supposons par l’absurde qu’il existe y∈Ex1∩Favec
y6= 0. Comme y∈Ex1, on peut écrire y=P(f)(x1)avec P∈K[X]et donc P6∈ Ix1. On en
déduit que π1-Pet π1étant irreductible,Pet π1sont premiers entre eux. Comme K[X]est
principal, il existe U, V ∈K[X]et une relation de Bezout du type U P +V π1= 1. En spécialisant
en f, on a :
U(f)◦P(f) + V(f)◦π1(f) = Id =⇒U(f)(P(f)(x1)) + V(f)(π1(f)(x1)) = U(f)(y) = x16= 0.
Comme y∈Fet que Fest stable par f, on en déduit que U(f)(y)∈Fet donc x1∈F, absurde.
D’où, Ex1∩F={0}.
Conclusion : Si E=F⊕Ex1, alors on a le résultat attendu, sinon on considère x2∈E\(F⊕Ex1)
et comme précédemment on a F⊕Ex1⊕Ex2. Comme Eest de dimension finie, on obtient en
un nombre fini d’étapes, une décomposition E=F⊕Ex1⊕. . . ⊕Exravec chaque Existable par
fet donc le résultat attendu en posant S=Ex1⊕. . . ⊕Exr.
Passons à la démonstration du théorème.
Démonstration. :
Objectif 2. Montrons que fsemi-simple =⇒µfest sans facteur multiple.
Supposons par l’absurde que µfait un facteur carré, alors µf=M2Navec M, N ∈K[X],
deg(M)>0. Posons F=Ker(M(f)) qui est naturellement stable par f. Par simplicité de f,
il existe un supplémentaire de Fstable par fque l’on note Set considérons x∈S. Montrons
qu’on a alors MN(f) = 0, en prouvant que M N(f)s’annule sur Fet Savec F⊕S=E. Pour
commencer montrons que M N(f)(x) = 0, en prouvant que M N(f)(x)∈F∩S.Or, on a :
0 = µf(f)(x) = M(f)◦MN (f)(x) =⇒MN (f)(x)∈Ker(M(f)) = F
Or, Sest stable par f, on a donc MN (f)(x)∈Set donc MN (f)(x)∈S∩F={0}ie
MN (f)(x) = 0. On en conclut donc que MN(f)|S= 0 et si x∈F, on a :
MN (f)(x) = N(M(f)(x)) = 0 car x∈Fet K[f]commutatif
soit NM (f)|F= 0 et finalement NM (f)=0L(E), d’où µf|NM , absurde.
Objectif 3. Montrons que µfsans facteur multiple =⇒fsemi-simple.