Utoya a écrit:mathelot

J'ai un peu de mal à voir de quelle manière ça peut m'être utile pour calculer
)
. Après, je t'avoue que je me plonge seul dans le programme de deuxième année de prépa afin de m'avancer un peu, et par conséquent, je ne maîtrise pas encore mon cours à 100%.
L'application

est bijective d'après la preuve donnée par
mathelot. Comme tu as démontré que cette application est un endomorphisme, c'est donc un isomorphisme et de là tu conclues pour
)
et
)
.
Pour revenir à la preuve de
mathelot, d'une façon générale une application f de A dans B est bijective SSI
Pour tout y dans B, l'équation d'inconnue x: f(x) = y, admet solution unique.
Dans ton exemple, on résoud l'équation
= M')
c'est à dire l'équation

, et comme

est inversible on compose à gauche par

et on obtient la solution unique
