a) On suppose que f est cyclique. Montrer que tout endomorphisme induit par f est cyclique et que l’ensemble des sous-espaces de E stables par f est fini.
b) On suppose que l’ensemble des sous-espaces de E stables par f est fini. Montrer que f est cyclique.
a) Choisissons x E tel que E = {P(f)(x);P C[X]}.
∙ Soit F un sous-espace vectoriel de E stable par f et posons
∙ Notons l’ensemble (fini) des diviseurs unitaires de μf et l’ensemble des sous-espaces vectoriels de E stables par f. L’application D : →, FDF est injective puisque F = {(PDF )(f)(x);P C[X]}. Par conséquent, est également fini.
b) Redémontrons le classique
Lemme 1.Soit K un corps infini et E un K-espace vectoriel. Soit (G1,…,Gs) une famille finie de sous-espaces vectoriels stricts de E. Alors G1 ∪… ∪ Gs≠E.
Démonstration. On suppose par l’absurde que E = G1 ∪…∪Gs. Quitte à supposer s minimal, on peut supposer que ∀i {1,…,s}, Gi ⁄⊂⋃ j≠iGj.
Comme G1 ≠ E et s ≥ 2, on dispose de a1 G1 \⋃ j≠1Gj et as Gs \⋃ j≠sGj. Soit D la droite affine {(1 - t)a1 + tas∣t K}. Pour i {1,…,s} soit
Ti := {t K∣ (1 - t)a1 + tas Gi}.
Comme K = T1 ∪… ∪ Ts est infini, l’un des Ti est infini, mais alors Gi rencontre la droite D en deux points distincts (puisque a1≠as) ce qui exige D ⊂ Gi. Mais alors a1 et as sont tous deux dans Gi ce qui est absurde. __
Pour x E, notons Fx le plus petit sous-espace vectoriel de E stable par f et contenant x, soit Fx := {P(f)(x);P C[X]}. L’ensemble des Fx, x E, est fini et ⋃ xEFx = E puisque x Fx . D’après le lemme, il existe x E tel que Fx = E et f est donc cyclique.
Remarque : le résultat reste vrai sur tout corps infini.
[Liste des corrigés]