Sixto/TFG_Sixto
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Inclusión de una referencia en el texto cuando se indica que vamos a explicar la demostración de Vallés.

Browse Source
This commit is contained in:
Sixto 2025-06-02 14:32:30 +02:00
parent 64589681fc
commit 652f77fbd2
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
TFG_Sixto_José_Martínez_Gan.pdf
View File

Binary file not shown.

4
TFG_Sixto_José_Martínez_Gan.tex
View File

@ -739,10 +739,10 @@ urlcolor=black]{hyperref}
\end{definicion}
El criterio de Saito nos da una forma bastante rápida de determinar si \derivaciones{f} es o no libre.
\begin{teorema}[Criterio de Saito]
\begin{teorema}[Criterio de Saito] \label{Criterio de Saito}
Sea $f$ un polinomio de \Kx{} y $\delta_1, \delta_2, \dots, \delta_n$ derivaciones de \derivaciones{f}. Entonces, \derivaciones{f} es libre si y solo si $\det\left( \delta_1, \delta_2, \dots, \delta_n \right) = uf$ donde $u$ es una unidad de $K$, es decir, un elemento de $K \setminus \left\lbrace 0 \right\rbrace$.
\end{teorema}
En este capítulo explicaremos la demostración de este resultado que aparecen en [\textsc{Referencia al artículo de Vallés}]. Pero primero, deberemos ilustrar algunas construcciones que se utilizan en dicha demostración.
En este capítulo explicaremos la demostración de este resultado que aparecen en \cite{VALLES}. Pero primero, deberemos ilustrar algunas construcciones que se utilizan en dicha demostración.
\section{Producto Exterior}
De cara a la demostración del Criterio de Saito, utilizaremos una operación que nos será de gran ayuda: el producto exterior. Para entender esta, necesitaremos entender primero el producto tensorial. En esencia, el producto tensorial aparece en el siguiente contexto: supongamos que $M$, $N$ y $O$ son \modulo{A}s donde $A$ es un anillo y tenemos una aplicación $b : M \times N \rightarrow O$ que es bilineal, o sea, que $b\left( \bullet, n \right)$ y $b\left( m, \bullet \right)$ son homorfismos de \modulo{A}s para cualquier $m \in M$ y $n \in N$; nos gustaría encontrar un \modulo{A} $E$ a partir de $M \times N$ en el cual exista un homomorfismo de \modulo{A}s $b' : E \rightarrow O$ que se comporte como $b$. En resumen, queremos que para cada $\left( m, n \right)$ en $M \times N$ exista un elemento $m * n$ en $E$ de forma que $b'\left( m*n \right) = b\left( m, n \right)$. Esta es la motivación de la construcción del producto tensorial.