On se place dans où est un corps de caractéristique nulle (typiquement ou ).
Pour la question 1, écrire et identifier les puissances de dans l'équation . On pourra procéder par récurrence sur l'indice des coefficients.
Pour la question 2, utiliser la décomposition en sous-espaces caractéristiques (lemme des noyaux appliqué au polynôme caractéristique scindé sur ) pour se ramener à l'étude de blocs de la forme avec .
Pour extraire une racine de , on pourra chercher tel que , ce qui revient à résoudre avec .
Inversion locale formelle pour les matrices nilpotentes.
Décomposition d'un endomorphisme en somme de composantes sur ses sous-espaces caractéristiques.
Utilisation du fait que tout polynôme à coefficients complexes est scindé.
1. Construction de la matrice pour un polynôme de valuation 1.
Soit avec puisque la valuation de est 1.
On cherche sous la forme . Puisque est nilpotente, l'est aussi (car c'est un polynôme en sans terme constant).
L'équation s'écrit :
Comme , on peut travailler dans l'algèbre , qui est de dimension finie. Identifions les coefficients devant chaque puissance pour .
On peut donc déterminer les par récurrence :
Il existe donc bien une matrice telle que .
2. Existence d'une racine carrée pour une matrice inversible.
Soit . Le polynôme caractéristique est scindé sur . D'après le théorème de décomposition en sous-espaces caractéristiques, est semblable à une matrice diagonale par blocs :
Chaque bloc correspond à la restriction de à l'espace . On peut écrire chaque bloc sous la forme :
Cherchons une racine carrée pour chaque bloc . On peut factoriser par :
Il suffit de trouver une matrice telle que . Cette équation est équivalente à :
Posons . Ce polynôme est de valuation 1 car et . D'après la question 1., il existe une matrice nilpotente telle que :
Finalement, la matrice est une racine carrée de . En recollant les blocs, on construit une racine carrée pour :
Attention : ce raisonnement ne s'applique pas si n'est pas inversible. Par exemple, la matrice n'admet pas de racine carrée dans . En effet, si , alors , donc est nilpotente. Pour une matrice , cela impliquerait , soit , ce qui est absurde.