Block a user
64589681fc
Añadida la primera de las tres partes de la demostración que comentamos el profesor Artal y yo: Der(f) = <det(Phi) d_1^d_2^...^d_n>.
8a36d0daca
Comienzo y esqueleto del apartado en sicigias e introducción al capítulo del Criterio de Saito.
6d36dd168c
Añadida la definición de base de Gröbner y el teorema que garantiza que sirven para determinar la pertenencia a un submódulo.
3dc699a7f5
Cambio de localización del Lema de Dickson, del Teorema de la Base de Hilbert; inclusión de la proposición que demuestra que K[x_1, ..., x_n]^r es noetheriano; y definición del algoritmo de la división para submódulos en general.
69ec383c44
Terminada la definición del algoritmo de la división de un elemento de K[x_1, ..., x_n]^r entre otro y el ejemplo asociado.
aa0387125b
Inclusión de la definición de secuencia exacta y los convenios para expresar dentro de estas que una función es inyectiva o sobreyectiva.
cd1b27b67a
Añadido el ejemplo de módulo reflexivo. He elegido que como ejemplo se demuestre que cualquier espacio vectorial de dimensión finita es reflexivo.
d815937e9d
Añadido del paquete <<parskip>> para separar los párrafos con un espacio y no con el indentado de la primera línea.
07d4abc8a8
Aclaración de la noción de divisibilidad entre monomios de un módulo: ahora, la definición de divisibilidad se da en general para módulos y, en base a esta, se explica para el caso de los monomios.
8c9cac6cf1
Cambio de la definición de módulo reflexivo para que esta exija que M y M** sean isomorfos por medio del homomorfismo natural entre ellos y no solo isomorfos.
c2d36176b8
Hemos suprimido las premisas <<A es un anillo>> de cada proposición o definición para indicarlo una sola vez al inicio de todas.