Soit un -espace vectoriel de dimension finie et . On dit que est semi-simple si tout sous-espace vectoriel de stable par admet un supplémentaire stable par .
Pour le sens direct de la question 1, utiliser une base de vecteurs propres et le théorème de la base incomplète.
Pour la question 2(a), considérer la restriction de à et son polynôme caractéristique. Pour la 2(b), procéder par l'absurde en considérant un facteur irréductible de degré .
Pour la question 3, si est semi-simple, considérer la somme de tous les sous-espaces propres. Si , utiliser l'existence d'un supplémentaire stable et le résultat de la question 2.
Pour la question 4, identifier les sous-espaces stables de pour cette rotation.
Lien entre diagonalisabilité et existence de bases de vecteurs propres.
Propriété de la restriction d'un endomorphisme à un sous-espace stable.
Structure des sous-espaces stables pour les endomorphismes semi-simples.
Résolution.
Attention à ne pas oublier l'hypothèse " scindé" pour conclure à la diagonalisabilité. Le contre-exemple de la rotation montre que la semi-simplicité seule ne suffit pas sur un corps non algébriquement clos.