Sixto
|
5240b6b8a7
|
Merge branch 'main' of riemann.unizar.es:Sixto/TFG_Sixto
|
2025-06-11 09:49:40 +02:00 |
|
Sixto
|
62bbeb92da
|
Merge
|
2025-06-11 09:46:45 +02:00 |
|
|
|
6e8060e660
|
pdf
|
2025-06-11 09:43:23 +02:00 |
|
Sixto
|
9bac8e59f4
|
Cambio de la extensión de escalares.
|
2025-06-11 09:42:58 +02:00 |
|
|
|
4ecd7b2505
|
pdf
|
2025-06-11 09:41:57 +02:00 |
|
|
|
e160be7380
|
if
|
2025-06-11 08:01:56 +02:00 |
|
Sixto
|
02332d294a
|
Casi todos los últimos cambios. Faltan el de la inyección a la extensión de cuerpo y lo de que el dual es reflexivo.
|
2025-06-11 02:43:28 +02:00 |
|
Sixto
|
37ad5118ce
|
Resto de correcciones incluidas y resumen.
|
2025-06-11 02:19:49 +02:00 |
|
|
|
b7219fac47
|
merge
|
2025-06-11 00:16:46 +02:00 |
|
|
|
0fb2492fc5
|
alguna corrección
|
2025-06-11 00:14:57 +02:00 |
|
Sixto
|
c108dd743d
|
Cambio en el ejemplo de reflexividad de un espacio vectorial.
|
2025-06-11 00:10:25 +02:00 |
|
Sixto
|
21a2d5118e
|
Cambio de la definición de aplicación bilineal y reflexividad.
|
2025-06-10 23:24:29 +02:00 |
|
Sixto
|
0e01c8b660
|
Cambios relacionados con la torsión.
|
2025-06-10 23:07:33 +02:00 |
|
Sixto
|
942a058c7d
|
Introducción.
|
2025-06-10 21:48:59 +02:00 |
|
Sixto
|
a30299b5f1
|
Cambio de lugar de la sección del Producto Exterior.
|
2025-06-10 18:28:29 +02:00 |
|
|
|
8e222aa96c
|
antes de 4.2
|
2025-06-10 14:05:16 +02:00 |
|
|
|
8d83525f68
|
fusion
|
2025-06-10 11:46:22 +02:00 |
|
|
|
4bc134a0ac
|
hasta Saito
|
2025-06-10 11:39:44 +02:00 |
|
Sixto
|
0f6a173f72
|
Corrección de los comentarios.
|
2025-06-10 11:27:05 +02:00 |
|
|
|
24ae7f7e44
|
cambios y comentarios de Kike y Jorge
|
2025-06-09 13:11:12 +02:00 |
|
|
|
f8427045bb
|
cambios y comentarios de Kike y Jorge
|
2025-06-09 13:08:41 +02:00 |
|
Sixto
|
ec32f6c844
|
Explicación más detallada de la división compuesta y cambio de los tachones horizontales por diagonales.
|
2025-06-09 12:33:58 +02:00 |
|
Sixto
|
4c74f25e7f
|
Eliminación de la sección sobre graduación de anillos.
|
2025-06-09 00:50:06 +02:00 |
|
Sixto
|
dc6aa53e98
|
Reescritura del capítulo sobre el Criterio de Saito.
|
2025-06-09 00:48:13 +02:00 |
|
Sixto
|
0f6223f61c
|
Reescritura de la sección de sicigias.
|
2025-06-08 19:20:12 +02:00 |
|
Sixto
|
d35f166844
|
Reescritura del ejemplo del algoritmo de la división simple.
|
2025-06-08 18:08:58 +02:00 |
|
Sixto
|
fb4825a853
|
Reescritura del comienzo del capítulo de las Bases de Gröbner y pequeños cambios en el capítulo de Módulos.
|
2025-06-08 16:54:36 +02:00 |
|
Sixto
|
b327e50f13
|
Demostraciones de los teoremas de sicigias.
|
2025-06-08 01:15:31 +02:00 |
|
Sixto
|
9da233b95a
|
Finalizada la demostración de que det(\Phi) = f.
|
2025-06-07 21:46:06 +02:00 |
|
Sixto
|
84d8bc9fdb
|
La otra implicación del Criterio de Saito.
|
2025-06-07 12:18:49 +02:00 |
|
Sixto
|
cd8da06919
|
Apéndice con el ejemplo a mano y a ordenador.
|
2025-06-05 19:06:16 +02:00 |
|
Sixto
|
c6de7dd6f6
|
Ejemplo de módulo no reflexivo.
|
2025-06-04 13:29:07 +02:00 |
|
Sixto
|
144beb20b7
|
Varias correcciones menores.
|
2025-06-03 10:34:48 +02:00 |
|
Sixto
|
344aba43b8
|
Incluida la referencia al software Singular.
|
2025-06-03 00:13:57 +02:00 |
|
Sixto
|
ce0816c036
|
Diagrama que ilustra el concepto de proyectivo y diagrama que ilustra el concepto de sucesión exacta.
|
2025-06-03 00:03:23 +02:00 |
|
Sixto
|
43c08478b9
|
Demostración de una de las direcciones de la demostración de Saito.
|
2025-06-02 20:38:19 +02:00 |
|
Sixto
|
a6a56697be
|
Cambio de la definición del comando <<derivaciones>> para que se escriba siempre en letra recta.
|
2025-06-02 16:02:49 +02:00 |
|
Sixto
|
652f77fbd2
|
Inclusión de una referencia en el texto cuando se indica que vamos a explicar la demostración de Vallés.
|
2025-06-02 14:32:30 +02:00 |
|
Sixto
|
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>.
|
2025-06-02 14:16:02 +02:00 |
|
Sixto
|
5e4d31c966
|
Varios.
|
2025-06-01 17:30:56 +02:00 |
|
Sixto
|
5ffddfe108
|
Añadida la bibliografía inicial aunque todavía sin referencias dentro del texto.
|
2025-05-28 01:10:18 +02:00 |
|
Sixto
|
8a36d0daca
|
Comienzo y esqueleto del apartado en sicigias e introducción al capítulo del Criterio de Saito.
|
2025-05-27 11:31:59 +02:00 |
|
Sixto
|
9007b2828b
|
Añadido el algoritmo de Buchberger.
|
2025-05-26 22:53:59 +02:00 |
|
Sixto
|
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.
|
2025-05-26 16:44:39 +02:00 |
|
Sixto
|
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.
|
2025-05-25 20:11:43 +02:00 |
|
Sixto
|
ee3eeefc65
|
Mejorada la explicación del ejemplo anterior.
|
2025-05-24 23:01:07 +02:00 |
|
Sixto
|
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.
|
2025-05-24 22:50:06 +02:00 |
|
Sixto
|
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.
|
2025-05-24 18:18:50 +02:00 |
|
Sixto
|
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.
|
2025-05-24 13:37:17 +02:00 |
|
Sixto
|
d815937e9d
|
Añadido del paquete <<parskip>> para separar los párrafos con un espacio y no con el indentado de la primera línea.
|
2025-05-22 20:39:55 +02:00 |
|
