On dit que $u \in L(E)$ est semi-simple si tout sous-espace $F$ stable par $u$ admet un supplémentaire stable par $u$.
On montre que $u$ est semi-simple si et seulement le polynôme minimal de $u$ est sans facteurs carrés.
Ce développement se recase dans les leçons sur les extensions pour la version de Tom.