Isomorphisme
dans Algèbre
Soit $E$ un $K$-ev de dimension finie et $F_1,\dots,F_k$ des sev de $E$. Soit $f:F_1\times\dots\times F_k\rightarrow E^{k-1}$ l'application linéaire définie par $f(x_1,\dots,x_k)=(x_2-x_1,\dots,x_k-x_1)$. La question est de montrer que $\ker(f)$ est isomorphe à $\cap_{i=1}^k F_i$.
Je trouve $\ker(f)=\{(x_1,\dots,x_k)\in F_1\times\dots\times F_k \mid x_1=\dots=x_k\}$. Mais ensuite je bloque pour trouver l'isomorphisme.
Je trouve $\ker(f)=\{(x_1,\dots,x_k)\in F_1\times\dots\times F_k \mid x_1=\dots=x_k\}$. Mais ensuite je bloque pour trouver l'isomorphisme.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
En sens inverse, vois-tu une façon d'associer un élément $(x_1,\dots,x_k)$ du noyau de $f$ à un élément $x$ de l'intersection ?
Posons $g:\ker(f)\rightarrow\cap_{i=1}^k F_i$ défini par $g(x_1,\dots,x_k)=x_1$. Alors :
$g$ est linéaire car c'est la restriction-corestriction de la projection $F_1\times\dots \times F_k\rightarrow F_1$ qui est linéaire.
$g$ est injectif car si $g(x_1,\dots,x_k)=0$ alors $x_1=\dots=x_k=0$
$g$ est surjectif car si $y\in\cap_{i=1}^k F_i$ alors $y=g(y,\dots,y)$ avec $(y,\dots,y)\in\ker(f)$.