Barre utilisateur

[ID: 1255] [Date de publication: 12 février 2021 16:56] [Catégorie(s): Endomorphismes inversibles ] [ Nombre commentaires: 1] [nombre d'éditeurs: 1 ] [Editeur(s): Emmanuel Vieillard-Baron ] [nombre d'auteurs: 3 ] [Auteur(s): Emmanuel Vieillard-Baron Alain Soyeur François Capaces ]

Solution(s)

Solution(s)

Exercice 206
Par Emmanuel Vieillard-Baron Alain Soyeur François Capaces le 12 février 2021 16:56

Supposons que \(f\) est nilpotent d’ordre \(n\in\mathbb{N}^*\). Alors par linéarité de \(f\) il vient que : \[\left(\mathop{\mathrm{id}}\nolimits-f\right)\circ \left(\mathop{\mathrm{id}}\nolimits+f+f^2+\dots+f^{n-1}\right)=\left(\mathop{\mathrm{id}}\nolimits+f+f^2+\dots+f^{n-1}\right) - \left(f+f^2+\dots+f^{n-1}+f^n\right) =\mathop{\mathrm{id}}\nolimits\] par télescopage et car \(f^n=0\). De même \(\left(\mathop{\mathrm{id}}\nolimits+f+f^2+\dots+f^{n-1}\right)\circ\left(\mathop{\mathrm{id}}\nolimits-f\right)=\mathop{\mathrm{id}}\nolimits\) donc \(\mathop{\mathrm{id}}\nolimits-f\) est inversible et .