Comincio con l'andata che mi sembra più facile (tieni conto che sono pessimo in algebra e affini, purtroppo
).
Sia \( \displaystyle M'\stackrel{u}{\longrightarrow} M\stackrel {v}{\longrightarrow} M''\longrightarrow 0 \) esatta, allora per ogni \( \displaystyle A \) -modulo \( \displaystyle N \) la sequenza
\( \displaystyle 0\longrightarrow \text{Hom}_A(M'', N)\stackrel{\bar{v}}{\longrightarrow}\text{Hom}_A (M, N)\stackrel{\bar{u}}{\longrightarrow}\text{Hom}_A(M', N) \) è esatta.
Proof: Le ipotesi sono:
1. \( \displaystyle v:M\longrightarrow M'' \) è suriettiva
2. \( \displaystyle Im(u)=Ker(v) \)
dobbiamo provare che:
a) \( \displaystyle \bar{v}:\text{Hom}_A (M'', N)\longrightarrow \text{Hom}_A(M,N) \) è iniettiva
b) \( \displaystyle Im(\bar{v})=Ker(\bar{u}) \)
a)Dalla suriettività di \( \displaystyle v \) , abbiamo che per ogni \( \displaystyle m''\in M'' \) esiste \( \displaystyle m\in M \) tale che \( \displaystyle v(m)=m'' \) , quello che però a noi preme è dimostrare che la funzione \( \displaystyle \bar{v} \) è iniettiva. Se \( \displaystyle \bar{v}(f)=0 \) segue che \( \displaystyle f(v(m))=0 \) cioè \( \displaystyle f(m'')=0\, \forall m''\in M'' \implies f=0 \) , e questo grazie alla suriettività di \( \displaystyle v \) . Ciò dimostra l'iniettività, credo sia ok, nel caso vi siano falle, fammelo notare
\( \displaystyle a)_2 \) Un altro modo con cui dimostrare l'iniettività di \( \displaystyle \bar{v} \) potrebbe essere il seguente (?):
Siano \( \displaystyle f, g\in \text{Hom} (M'', N) \) tali che \( \displaystyle \bar{v}(f)= \bar{v}(g)\implies f\circ v= g\circ v \) . Dalla suriettività di \( \displaystyle v \) segue che esiste un' inversa destra di \( \displaystyle v \) , che chiamo, con molta fantasia, \( \displaystyle v^{-1} \) . Componendo a destra, membro a membro, in \( \displaystyle f\circ v= g\circ v \) si ha che \( \displaystyle f\circ v\circ v^{-1}= g\circ v\circ v^{-1}\implies f=g \) , ancora una volta ho l'iniettività.
(Nota, questa parte prendetela con le pinze, ho la sensazione che vi sia qualche cosa da controllare, l'ho inserita semplicemente per mettermi alla prova
)
b)Dimostreremo la doppia inclusione:
- \( \displaystyle Im(\bar{v})\subseteq Ker(\bar{u}) \)
Sia \( \displaystyle g\in Im(\bar{v}) \) tale funzione si può scrivere come \( \displaystyle g= f\circ v= \bar{v}(f) \) , con \( \displaystyle f \in \text{Hom}_A (M'', N) \) . Componiamo \( \displaystyle g \) con \( \displaystyle \bar{u} \) :
\[ \bar{u}(g)= \bar{u}(\bar{v}(f))= f\circ v\circ u=0\]
L'ultima uguaglianza si giustifica affermando che \( \displaystyle v\circ u=0 \) , questo perché \( \displaystyle Im(u)=Ker(v) \) . Grazie a queste considerazioni, spero di poter affermare che:
\( \displaystyle Im(\bar{v})\subseteq Ker(\bar{u}) \) .
- \( \displaystyle Ker(\bar{u})\subseteq Im(\bar{v}) \) :
Sia \( \displaystyle g\in Ker(\bar{u})\implies \bar{u}(g)= g\circ u = 0\implies Im(u)\subseteq Ker(g) \) , poiché per ipotesi abbiamo che \( \displaystyle Im(u)=Ker(v) \) segue che: \( \displaystyle Ker(v)\subseteq Ker(g) \) . Qui sono bloccato! Il problema qui è che non è detto che ci sia una funzione \( \displaystyle f\in \text{Hom}_A (M, N) \) che soddisfa i miei bisogni, maurer mi ha suggerito di costruirne uno facile, appena mi sovviene completerò questa parte, intanto, assicuratemi, o negatemi, la correttezza di questa parte.
Spero di non aver fatto disastri...