anello di matrici

[Gary_Baldi]

Mi è sfuggito che il topic starter ha chiesto se si può dimostrare che $gamma$ è iniettivo senza dover mostrare che $Kergamma=(0)$. Ecco, sì, la risposta sta nel mio precedente post.
Si può fare usando altre definizioni equivalenti di funzione iniettiva, ad esempio: $f:A->B$ iniettiva se e solo se $f(a)=f(b) rArr a=b$ oppure $a!=b rArr f(a)!=f(b)$ (contronominale della prima) o ancora $AA y in B, |f^(-1)({y})|<=1$.
Io l'ho fatta (nel post precedente) utilizzando la prima delle tre, ma si può fare anche con le altre due (provare per credere).