– Existence : soit k= deg(πu), soit x∈E.
On note Pxle polynôme unitaire engeandrant l’idéal :
{P∈K[X]/ P (u)(x)=0}
et
Ex:= {P(u)(x)/ P ∈K[X]}.
Soit x∈Etel que Px=πu(une preuve de l’existence d’un tel xest
donnée en fin de document).
Le sous-espace vectoriel F:= Exest de dimension ket est stable par u.
On pose :
e1=x, e2=u(x), . . . , ek=uk−1(x).
Alors (e1, . . . , ek)forme une base de Fcar deg(Px) = k(plus de détails
sont donnés en fin de document).
On complète (e1, . . . , ek)en une base (e1, . . . , en)et on considère la base
duale (e∗
1, . . . , e∗
n).
On note G= Γ◦où Γ = vect({t
ui(e∗
k), i ∈N})(orthogonal vis-à-vis du
dual).
Gest un sev de Estable par ucar Γest stable par t
u.
Montrons F⊕G=E:
–F∩G={0}:
On remarque que l’on a, pour i+j≤k,
ht
ui(e∗
k), eji=he∗
k, ui(ej)i(1)
=he∗
k, ei+ji
=δi+j,k.
Donc si y∈F∩G,ht
ui(e∗
k), yi=e∗
k−i(y) = 0 pour 0≤i≤k−1, donc
y= 0.
–dim F+ dim G=n:
On a πt
u=πudonc dim Γ ≤k(on peut aussi dire que (id, u, . . . , uk)
est liée donc (e∗
k,t
u(e∗
k),..., t
uk(e∗
k)) aussi), donc dim G=n−dim Γ ≥
n−k.
D’où dim F+ dim G≥n, d’où le résultat.
On note P1le polynôme minimal de u|F(πu=Px=P1) et P2le polynôme
minimal de u|G, on a P2|P1car P1=πu.
Puis on recommence sur u|G.
– Unicité : soient F1, . . . , Fret G1, . . . , Gsvérifiant les hypothèses du théo-
rème.
On note Pi=πu|Fiet Qj=πu|Gj.
2