\noindent\textbf{Teorema 1:}

Sea A un anillo, entonces:\\

\begin{centerline}
\centerline{$0\xrightarrow{O} L \xrightarrow{f} M \xrightarrow{g}
N\dotso\alpha$}
Es una sucesi\'on exacta de A-m\'odulos si y solo si la sucesi\'on\\
\centerline{$0\xrightarrow{O_*} Hom(X,L) \xrightarrow{f_*} Hom(X,M)
\xrightarrow{g_*} Hom(X,N)\dotso\beta$}
es una sucesi\'on exacta de A-m\'odulos para todo A-m\'odulo X.
\newline
\begin{Prueba:}\\
$(\Rightarrow)$ P.D. ($\beta$) es una sucesi\'on exacta.
Sea: X un A-m\'odulo (arbitrario)
P.D.: \centerline{a) $Im(O_*)=Ker(f_*)$\\
b) $Im(f_*)=Ker(g_*)$}
Demostremos a):
($\supset$)Sea $\varphi \in Ker(f_*)$ (arbitrario)
\centerline{ $\Rightarrow$ $(f_*)_{(\varphi)}=0$}
\centerline{$\Rightarrow$ $fo\varphi=0$}
Sea $x\in X$ (x:arbitrario)
\centerline{$\Rightarrow (fo\varphi)_{(x)}=O_{(x)}$}
\centerline{$\Rightarrow f_{(\varphi_{(x)})}=0$}
\centerline{$\Rightarrow f_{(\varphi_{(x)})}=f_{(0)\dotso(\triangle)
}$ (pues f es homomorfismo)}
\textbf{Afirmaci\'on 1:} f es inyectiva
en efecto:
Como $(\alpha)$ es una sucesi\'on exacta, entonces:
\centerline{$Ker(f)=Im(O)$}
$Im(O)=\{a\in L/ a=O_{(0)}\}$
$Im(O)=\{a\in L/ a=0\}$
$Im(O)=\{0\in L\}=\{0\}$
\centerline{$\Rightarrow Ker(f)=\{0\}$}
\centerline{porlo tanto: f es inyectiva}
Regresando en $ (\triangle)$:
\centerline{$f_{(\varphi_{(x)})}=f_{(0)}$}
Como f es inyectiva, entonces:
\centerline{$\varphi_{(x)}=0$}
\centerline{$\varphi=O$}
\centerline{$\varphi\in \{0\}$}
\centerline{$Ker(f_*)\subset \{0\}\dotso (\triangle \triangle)$}
\textbf{Afirmaci\'on 2:} $Im(O_*)=\{0\}$
en efecto:
$Im(O_*)=\{ \psi \in Hom(X,L)/ \psi={O_{*}}_{(0)}\}$
$Im(O_*)=\{ \psi \in Hom(X,L)/ \psi=OoO\}$
$Im(O_*)=\{ \psi \in Hom(X,L)/ \psi=O\}$
$Im(O_*)=\{ O \in Hom(X,L)\}$
$Im(O_*)=\{0\}$
\newpage
regresando en $(\triangle \triangle)$:
\centerline{$Ker(f_*)\subset Im(O_*)$}\\
($\subset$)P.D.: $Im(O_*)\subset Ker(f_*)$\\
\textbf{Afirmaci\'on 3:}
$f_*$ es un homomorfismo
en efecto:
sean $\varphi, \psi\in Hom(X,L)$ , $a\in A \cap x\in X (x:arbitrario)$
Entonces:
$[{f_*}_{(\varphi + a\psi)}]_{(x)}=[fo(\varphi + a\psi)]_{(x)}$
$[{f_*}_{(\varphi + a\psi)}]_{(x)}=f_{({(\varphi + a\psi)}_{(x)})}$
$[{f_*}_{(\varphi + a\psi)}]_{(x)}=f_{(\varphi_{(x)} + a\psi_{(x)})}$

$[{f_*}_{(\varphi + a\psi)}]_{(x)}=f_{(\varphi_{(x)})} +
f_{(a\psi_{(x)})}$
$[{f_*}_{(\varphi + a\psi)}]_{(x)}=f_{(\varphi_{(x)})} +
af_{(\psi_{(x)})}$
$[{f_*}_{(\varphi + a\psi)}]_{(x)}=(fo\varphi_{(x)}) +
a(fo\psi_{(x)})$
$[{f_*}_{(\varphi + a\psi)}]_{(x)}=(fo\varphi_{(x)}) +
a(fo\psi_{(x)})$
$[{f_*}_{(\varphi + a\psi)}]_{(x)}=(fo\varphi_{(x)}) +
a(fo\psi_{(x)})$
$[{f_*}_{(\varphi + a\psi)}]_{(x)}=[{f_*}_{(\varphi)}]_{(x)} +
a[{f_*}_{\psi)}]_{(x)}$
$[{f_*}_{(\varphi + a\psi)}]_{(x)}=[{f_*}_{(\varphi)} +
a{f_*}_{(\psi)}]_{(x)}$\\
Como $x\in X$ es arbitrario, entonces:\\
${f_*}_{(\varphi + a\psi)}={f_*}_{(\varphi)} + a{f_*}_{(\psi)}$\\
\centerline{$\therefore f_* es homomorfismo$}
Continuando con la prueba:\\
Como $f_*$ es homomorfismo
\centerline{$\Rightarrow {f_*}_{(O)}=O$}
\centerline{$\Rightarrow O\in Ker(f_*)$}
\centerline{$\Rightarrow \{0\}\subset Ker(f_*)$}
\centerline{$\Rightarrow Im(O_*)\subset Ker(f_*)$
(por la
afirmaci\'on 2)}\\
Por lo tanto: \centerline{$\Rightarrow Im(O_*)= Ker(f_*)$}\\
Demostremos b):\\
($\subset$)P.D.: $Im(f_*)\subset Ker(g_*)$\\
Sea $\varphi \in Im(f_*)$ (arbitrario)\\
\centerline{$\Rightarrow \varphi= {f_*}_{(\psi)}$, para alg\'un $\psi
\in Hom(X,L)$}
\centerline{$\Rightarrow \varphi= fo\psi$}
Sea $x \in X$ (arbitrario), entonces:\\
\centerline{$\Rightarrow \varphi_{(x)}=(fo\psi)_{(x)}$}
\centerline{$\Rightarrow \varphi_{(x)}=f_{(\psi_{(x)})}\in Im(f)$}
\centerline{$\Rightarrow \varphi_{(x)}\in Im(f)$}
\centerline{$\Rightarrow \varphi_{(x)}\in Ker(g)$, (pues ($\alpha$)
es una sucesi\'on exacta)}
\centerline{$\Rightarrow g_{(\varphi_{(x)})}=0$}
\centerline{$\Rightarrow (go\varphi)_{(x)}=0$}
\centerline{$\Rightarrow go\varphi=O$}
\centerline{$\Rightarrow {g_*}_{(varphi)}=O$}
\centerline{$\therefore Im(f_*)\subset Ker(g_*)\dotso(1)$}
($\supset$)P.D.: $Ker(g_*)\subset Im(f_*)$
Sea $\varphi \in Ker(g_*)$ (arbitrario)\\
\centerline{$\Rightarrow {g_*}_{(\varphi)}=O$}
\centerline{$\Rightarrow go\varphi=O$}
Sea $x\in X$ (arbitrario)
\centerline{$\Rightarrow (go\varphi)_{(x)}=O_{(x)}$}
\centerline{$\Rightarrow g_{(varphi_{(x)})=0$}
\centerline{$\Rightarrow \varphi_{(x)}\in Ker(g)= Im(f)$, (pues
($\alpha$) es exacta)}
\centerline{$\Rightarrow \varphi_{(x)}\in Im(f)$}
\centerline{$\Rightarrow Im(\varphi)\subset Im(f)$}
Sea $n\in Im(\varphi) \Rightarrow \exists x\in X/ n=\varphi_{(x)}$\
pero: $n\in Im(\varphi)\subset Im(f) \Rightarrow n\in Im(f)$\\
\centerline{$\Rightarrow \exists a\in L/ n=f_{(a)}$}
Entonces:
para cada $x\in X, \exists a\in L/ \varphi_{(x)}=f_{(a)}$
definimos:\\
\centerline{$\psi: X\rightarrow L$}
\centerline{
$x\mapsto \psi_{(x)}=a$}\\

i)P.D.: \psi esta bien definido\\

sean $x_1, x_2 \in X y x_1=x_2$\\
$\psi_{(x_1)}=a$\\
$\Rightarrow f_{(\psi_{(x_1)})=f_{(a)}=\psi_{(x_1)}$
$\Rightarrow f_{(\psi_{(x_1)})=\psi_{(x_1)}$
$\Rightarrow f_{(\psi_{(x_1)})=\psi_{(x_2)}$
$\Rightarrow f_{(\psi_{(x_1)})=\f_{(a)}$
$\Rightarrow f_{(\psi_{(x_1)})}=f_{(\psi_{(x_2))}}$\\
Como f es inyectiva, entonces:\\
\centerline{$\psi_{(x_1)}=\psi_{(x_2)}$}
\centerline{$\therefore \psi est\'a bien definido$}\\
ii)P.D.: $\psi$ es homomorfismo\\
sean $x_1, x_2 \in X y b\in A$\\
\psi_{(x_1+bx_2)}=a
$\Rightarrow f_{(\psi_{(x_1+bx_2)}}=f_{(a)}$
$\Rightarrow f_{(\psi_{(x_1+bx_2)}}=\varphi_{(x_1+bx_2)}$
$\Rightarrow f_{(\psi_{(x_1+bx_2)}}=\varphi_{(x_1)}+b\varphi_{(x_2)}$,
(pues \varphi es homomorfismo)
$\Rightarrow
f_{(\psi_{(x_1+bx_2)}}=f_{(\psi_{(x_1)})}+bf_{(\psi_{(x_2)})}$
$\Rightarrow f_{(\psi_{(x_1+bx_2)}}=f_{(\psi_{(x_1)}+b\psi_{(x_2)})}$,
(pues f es homomorfismo)\\
Como f es inyectiva, entonces:
\centerline{$\psi_{(x_1+bx_2)}=\psi_{(x_1)}+b\psi_{(x_2)}$
\centerline{$\psi$ es homomorfismo}\\
iii)P.D.: $\varphi=fo\psi$\\
Sea $x\in X$ (arbitrario)\\
$(fo\psi)_{(x)}=f_{(\psi_{(x)})}=f_{(a)}=\varphi_{(x)}$
Como x es arbitrario, entonces:\\
\centerline{$fo\psi=\varphi$}\\
continuando con la demostraci\'on:\\
\centerline{$\varphi=fo\psi$}
\centerline{$\varphi={{f_*}_{\psi}}\in Im(f_*)$}
\centerline{$\varphi\in Im(f_*)$}\\
\centerline{$\therefore Ker(g_*)\subset Im(f_*)\dotso(2)$}\\
Por lo tanto, de (1) y (2) se obtiene:\\
\centerline{$Im(f_*)=Ker(g_*)$}\\
por lo tanto de a) y b):
($\beta$) es una sucesi\'on exacta\\
$(\leftarrow)$ P.D.:\centerline{a) $Im(O)=Ker(f)$\\
b) $Im(f)=Ker(g)$}
Demostremos a):\\
Sea $X=Ker(f)$\\
centerline{$i: X\rightarrow L$ (homomorfismo inclusi\'on)}
centerline{$x\mapsto i_{(x)}=x$}\\
$\Rightarrow i\in Hom(X,L)$
Luego:
$[{f_*}_{(i)}]_{(x)}=(foi)_{(x)}=f_{(i_{(x)})}=f_{(x)}$
Como $x\in X=Ker(f)$
$\Rightarrow x\in Ker(f)$
$\Rightarrow f_{(x)}=0$\\
Entonces:\\
${f_*}_{(i)}=O$
$\Rightarrow {f_*}_{(i)}={f_*}_{(O)}$ (pues f_* es homomorfismo)\\
Como la sucesi\'on ($\beta$) es exacta $\Rightarrow f_*$ es inyectiva
Entonces:
\centerline{$i=O$}
\centerline{$O: X\rightarrow L$}
\centerline{$x\mapsto O_{(x)}=x$}
$\Rightarrow L={0}$ (m\'odulo cero)
Como i es el homomorfismo inclusi\'on

$\Rightarrow X={0}$ (m\'odulo cero)

Luego:
$Ker(f)={0}\dotso(\square)$
\textbf{Afirmaci\'on 4:}
$Im(O)={0}$
en efecto:
$Im(O)=\{a\in L/ a=O_{(0)}\}$
$Im(O)=\{a\in L/ a=0\}$
$Im(O)=\{0\in L\}$
$Im(O)={0}$\\
Volviendo en ($\square$), se tiene:\\
\centerline{$Ker(f)=Im(O)$}\\
Demostremos b):
($\subset$)P.D.: $Im(f)\subset Ker(g)$
En efecto:\\
Sea $X=L$
entonces: $Hom(L,L)=\{f:L\rightarrow L/ f es homomorfismo\}$
adem\'as:
\centerline{${g_*}o{f_*}: Hom(L,L)\rightarrow Hom(L,N)$}
Sea
${id}_L \in Ker({g_*}o{f_*})$\\
\centerline{$\Rightarrow {({g_*}o{f_*})}_{(id_L)} = O$}
\centerline{$\Rightarrow {g_*}_{({f_*}_{(id_L))}} = O$}
\centerline{$\Rightarrow {g_*}_{(fo{id_L)}} = O$}
\centerline{$\Rightarrow {g_*}_{(f)}=O$}
\centerline{$\Rightarrow gof=O$}\\
Sea a\in L (arbitrario)\\
$\Rightarrow (gof)_{(a)}=O_{(a)}$
$\Rightarrow (g_{(f_{(a)})}=0$
$\Rightarrow f_{(a)} \in Ker(g)$
$\Rightarrow Im(f)\subset Ker(g)$\\
($\supset$)P.D.: $Ker(g)\subset Im(f)$
Sea $X=Ker(g)$\\
\centerline{$i:X\rightarrow M$ (homomorfismo inclusi\'on)}
\centerline{$x\mapsto i_{(x)}=x$}
$\Rightarrow i\in Hom(X,M)$\\
Luego:
$[{g_*}_{(i)}]_{(x)}=(goi)_{(x)}$
$[{g_*}_{(i)}]_{(x)}=g_{(i_{(x)})}$
$[{g_*}_{(i)}]_{(x)}=g_{(x)}$\\
Como $x\in X=Ker(g)$\\
$\Rightarrow x\in Ker(g)$
$\Rightarrow g_{(x)}=0$\\
\centerline{${g_*}_{(i)}=O$}
\centerline{$i\in Ker(g_*)=Im(f_*)$ (pues ($\beta$) es una sucesi\'on
exacta)}
\centerline{$i\in Im(f_*)$}
\centerline{$\exists \psi\in Hom(X,L)/ i={f_*}_{(\psi)}$}
\centerline{$i=fo\psi$}\\
Sea $x\in X$ (arbitrario)\\
\centerline{$\Rightarrow i_{(x)}=(fo\psi)_{(x)}$}
\centerline{$\Rightarrow i_{(x)}=f_{(\psi)_{(x)}}\in Im(f)$}
\centerline{$\Rightarrow i_{(x)}\in Im(f)$}
\centerline{$\Rightarrow Im(i)\subset Im(f)\dotso(*)$}\\
\textbf{Afirmaci\'on 5:}
$Im(i)=Ker(g)$
en efecto:
$Im(i)=\{m\in M/ m=i_{(x)}; para alg\'un x\in X\}$
$Im(i)=\{m\in M/ g_{(m)}=g_{(i_{(x)})}; para alg\'un x\in Ker(g)\}$
Como
$x\in Ker(g)$
\centerline{$\Rightarrow g_{(x)}=0$}\\
Adem\'as:
\centerline{$i:X\rightarrow M$
\centerline{$x\mapsto i_{(x)}=x$}

Entonces:
$Im(i)=\{m\in M/ g_{(m)}=g_{(i_{(x)})}=g_{(x)}=0\}$
$Im(i)=\{m\in M/ g_{(m)}=0\}$
$Im(i)=Ker(g)$
Reemplazando en (*):
\centerline{$Ker(g)\subset Im(f)$}\\
Por lo tanto, de ($\subset$) y ($\supset$):\\
\centerline{$Im(f)=Ker(g)$}
Entonces:
la sucesi\'on ($\alpha$) es una sucesi\'on exacta de A-m\'odulos.

\end{Prueba}