diff --git a/TFG_Sixto_José_Martínez_Gan.pdf b/TFG_Sixto_José_Martínez_Gan.pdf
index 2fc4329..2e2f7c5 100644
Binary files a/TFG_Sixto_José_Martínez_Gan.pdf and b/TFG_Sixto_José_Martínez_Gan.pdf differ
diff --git a/TFG_Sixto_José_Martínez_Gan.tex b/TFG_Sixto_José_Martínez_Gan.tex
index 70e8dd7..8f2de0b 100644
--- a/TFG_Sixto_José_Martínez_Gan.tex
+++ b/TFG_Sixto_José_Martínez_Gan.tex
@@ -339,11 +339,19 @@ urlcolor=black]{hyperref}
 			y viceversa, es decir, para cualquier vector $w$ de $V$, $v \mapsto \productoescalar{w}{v}$ es un elemento de \Hom{K}{V}{K}. Esta biyección es un isomorfismo de \modulo{K}s, por lo que tenemos que $V$ es isomorfo a \dual{V} y, por consiguiente, a \dualdual{V} también. Con esto hemos demostrado que \dualdual{V} es un \espaciovectorial{K} de la misma dimensión de $V$, pero para verificar que este sea reflexivo debemos cerciorarnos de que la aplicación $\psi$ sea un isomorfismo. Para ello, basta darse cuenta que el kernel de esta es necesariamente el vector nulo, que se corresponde con evaluar todas las aplicaciones de \dual{V} en el $\mathbf{0}$, y por lo tanto $\psi$ es inyectiva; como $V$ y \dualdual{V} son de la misma dimensión, concluimos que $\psi$ es un isomorfismo.
 		\end{ejemplo}
 		\begin{ejemplo}
-			\todo[inline]{Poner ejemplo de un módulo no reflexivo.}hgfh
+			\todo[inline]{Poner ejemplo de un módulo no reflexivo.}
 		\end{ejemplo}
 		
-	\section{Secuencias Exactas}
-	
+		En ocasiones, encadenaremos homomorfismos y podemos necesitar expresar las relaciones entre las imágenes y los núcleos de las distintas aplicaciones. Para expresar esto, utilizaremos las sucesiones exactas.
+		\begin{definicion}
+			Diremos que una expresión del siguiente estilo:
+			\begin{equation*}
+				\dots \xrightarrow{\phi_k} M_k \xrightarrow{\phi_{k+1}} M_{k+1} \xrightarrow{\phi_{k+2}} M_{k+2} \xrightarrow{\phi_{k+3}} \dots
+			\end{equation*}
+			es una sucesión exacta si se cumple que $\imagen \phi_i = \ker \phi_{i+1}$ para todo $i$.
+			
+			Para indicar que una aplicación $\phi : M \rightarrow N$ es inyectiva, escribiremos $0 \rightarrow M \xrightarrow{\phi} N$; y para indicar que es sobreyectiva, $M \xrightarrow{\phi} N \rightarrow 0$.
+		\end{definicion}
 \chapter{Bases de Gröbner y Syzygias}
 	
 	A partir de este momento nos fijaremos en $\Kx^n$ ya que sus elementos son los involucrados en el módulo de derivaciones. En particular nos fijaremos en sus submódulos.