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

Commit Graph

  • 60ca641435 pdf main Jorge Martin Morales 2025-06-16 11:57:45 +0200
  • 5298950019 pdf Jorge Martin Morales 2025-06-16 11:57:08 +0200
  • 10bc6ed904 Merge branch 'main' of riemann.unizar.es:Sixto/TFG_Sixto Enrique Artal 2025-06-11 20:03:47 +0200
  • 52caca3c90 biblio Enrique Artal 2025-06-11 20:03:26 +0200
  • fd61ba825f Traducción del primer párrafo. Sixto 2025-06-11 20:00:39 +0200
  • 3f0e196bd5 Terao Enrique Artal 2025-06-11 19:45:26 +0200
  • 07b86ad2d9 guardar Enrique Artal 2025-06-11 19:19:29 +0200
  • c0c87d48b3 25 páginas. Sixto 2025-06-11 19:02:24 +0200
  • 7301db970c Carnicería de espacios. Sixto 2025-06-11 18:47:19 +0200
  • e087ba1572 Resúmenes. Sixto 2025-06-11 17:38:59 +0200
  • 170f117a34 Cambio de la cita de Faenzi. Sixto 2025-06-11 16:40:37 +0200
  • bc28394974 Pequeño cambio para posicionar bien el diagrama de duales. Sixto 2025-06-11 16:31:12 +0200
  • 5c94b31aa7 Todos las correcciones del cuerpo (resumen todavía sin cambiar. Sixto 2025-06-11 16:07:33 +0200
  • fa9e605508 Cambio de los productos tensoriales por fracciones. Sixto 2025-06-11 15:50:05 +0200
  • 59ebf05573 Nota rango de un ideal es siempre 1. Sixto 2025-06-11 15:30:16 +0200
  • 4f2e5da8e9 Nota sobre reflexivo implica libre de torsión. Sixto 2025-06-11 15:24:58 +0200
  • e500550155 Merge. Sixto 2025-06-11 15:21:15 +0200
  • 59673dfe22 Ejemplo de libre de torsión no libre. Sixto 2025-06-11 15:18:41 +0200
  • b5a1a77988 Cambio de lo de las resoluciones. Sixto 2025-06-11 15:06:38 +0200
  • efe538013c . Enrique Artal 2025-06-11 13:05:15 +0200
  • 8e3a2327f0 pdf Enrique Artal 2025-06-11 12:14:29 +0200
  • 942a33487f Merge. Sixto 2025-06-11 11:42:49 +0200
  • 0ae1a4e0c2 Cambio del resumen. Sixto 2025-06-11 11:40:12 +0200
  • 15b9869652 fusion Enrique Artal 2025-06-11 11:27:07 +0200
  • 2efbd8df5a figura Enrique Artal 2025-06-11 11:24:56 +0200
  • 0dc46a2d51 Merge con Resoluciones. Sixto 2025-06-11 11:24:24 +0200
  • 79c64d6b53 Eliminación de la demostración del Criterio de Buchberger. Sixto 2025-06-11 11:21:03 +0200
  • de01b01626 fusion2 Enrique Artal 2025-06-11 10:57:04 +0200
  • de0b30514c fusion Enrique Artal 2025-06-11 10:54:35 +0200
  • bbe0ea5d9e pdf Jorge Martin Morales 2025-06-11 10:52:36 +0200
  • b2a98babd2 errores en la intro Jorge Martin Morales 2025-06-11 10:50:20 +0200
  • 12f6e6255c Añadido un poco de resoluciones. Resoluciones Sixto 2025-06-11 10:49:49 +0200
  • 2683b19f77 más Enrique Artal 2025-06-11 10:47:32 +0200
  • 5240b6b8a7 Merge branch 'main' of riemann.unizar.es:Sixto/TFG_Sixto Sixto 2025-06-11 09:49:40 +0200
  • 62bbeb92da Merge Sixto 2025-06-11 09:46:45 +0200
  • 6e8060e660 pdf Jorge Martin Morales 2025-06-11 09:43:23 +0200
  • 9bac8e59f4 Cambio de la extensión de escalares. Sixto 2025-06-11 09:42:58 +0200
  • 4ecd7b2505 pdf Jorge Martin Morales 2025-06-11 09:41:57 +0200
  • e160be7380 if Enrique Artal 2025-06-11 08:01:56 +0200
  • 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. Sixto 2025-06-11 02:43:28 +0200
  • 37ad5118ce Resto de correcciones incluidas y resumen. Sixto 2025-06-11 02:19:49 +0200
  • b7219fac47 merge Enrique Artal 2025-06-11 00:16:46 +0200
  • 0fb2492fc5 alguna corrección Enrique Artal 2025-06-11 00:14:57 +0200
  • c108dd743d Cambio en el ejemplo de reflexividad de un espacio vectorial. Sixto 2025-06-11 00:10:25 +0200
  • 21a2d5118e Cambio de la definición de aplicación bilineal y reflexividad. Sixto 2025-06-10 23:24:29 +0200
  • 0e01c8b660 Cambios relacionados con la torsión. Sixto 2025-06-10 23:07:33 +0200
  • 942a058c7d Introducción. Sixto 2025-06-10 21:48:59 +0200
  • a30299b5f1 Cambio de lugar de la sección del Producto Exterior. Sixto 2025-06-10 18:28:29 +0200
  • 8e222aa96c antes de 4.2 Enrique Artal 2025-06-10 14:05:16 +0200
  • 8d83525f68 fusion Enrique Artal 2025-06-10 11:46:22 +0200
  • 4bc134a0ac hasta Saito Enrique Artal 2025-06-10 11:39:44 +0200
  • 0f6a173f72 Corrección de los comentarios. Sixto 2025-06-10 11:27:05 +0200
  • 24ae7f7e44 cambios y comentarios de Kike y Jorge Jorge Martin Morales 2025-06-09 13:11:12 +0200
  • f8427045bb cambios y comentarios de Kike y Jorge Jorge Martin Morales 2025-06-09 13:08:41 +0200
  • ec32f6c844 Explicación más detallada de la división compuesta y cambio de los tachones horizontales por diagonales. Sixto 2025-06-09 12:33:58 +0200
  • 4c74f25e7f Eliminación de la sección sobre graduación de anillos. Sixto 2025-06-09 00:50:06 +0200
  • dc6aa53e98 Reescritura del capítulo sobre el Criterio de Saito. Sixto 2025-06-09 00:48:13 +0200
  • 0f6223f61c Reescritura de la sección de sicigias. Sixto 2025-06-08 19:20:12 +0200
  • d35f166844 Reescritura del ejemplo del algoritmo de la división simple. Sixto 2025-06-08 18:08:58 +0200
  • fb4825a853 Reescritura del comienzo del capítulo de las Bases de Gröbner y pequeños cambios en el capítulo de Módulos. Sixto 2025-06-08 16:54:36 +0200
  • b327e50f13 Demostraciones de los teoremas de sicigias. Sixto 2025-06-08 01:15:31 +0200
  • 9da233b95a Finalizada la demostración de que det(\Phi) = f. Sixto 2025-06-07 21:46:06 +0200
  • 84d8bc9fdb La otra implicación del Criterio de Saito. Sixto 2025-06-07 12:18:49 +0200
  • cd8da06919 Apéndice con el ejemplo a mano y a ordenador. Sixto 2025-06-05 19:06:16 +0200
  • c6de7dd6f6 Ejemplo de módulo no reflexivo. Sixto 2025-06-04 13:29:07 +0200
  • 144beb20b7 Varias correcciones menores. Sixto 2025-06-03 10:34:48 +0200
  • 344aba43b8 Incluida la referencia al software Singular. Sixto 2025-06-03 00:13:57 +0200
  • ce0816c036 Diagrama que ilustra el concepto de proyectivo y diagrama que ilustra el concepto de sucesión exacta. Sixto 2025-06-03 00:03:23 +0200
  • 43c08478b9 Demostración de una de las direcciones de la demostración de Saito. Sixto 2025-06-02 20:38:19 +0200
  • a6a56697be Cambio de la definición del comando <<derivaciones>> para que se escriba siempre en letra recta. Sixto 2025-06-02 16:02:49 +0200
  • 652f77fbd2 Inclusión de una referencia en el texto cuando se indica que vamos a explicar la demostración de Vallés. Sixto 2025-06-02 14:32:30 +0200
  • 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>. Sixto 2025-06-02 14:16:02 +0200
  • 5e4d31c966 Varios. Sixto 2025-06-01 17:30:56 +0200
  • 5ffddfe108 Añadida la bibliografía inicial aunque todavía sin referencias dentro del texto. Sixto 2025-05-28 01:10:18 +0200
  • 8a36d0daca Comienzo y esqueleto del apartado en sicigias e introducción al capítulo del Criterio de Saito. Sixto 2025-05-27 11:31:59 +0200
  • 9007b2828b Añadido el algoritmo de Buchberger. Sixto 2025-05-26 22:53:59 +0200
  • 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. Sixto 2025-05-26 16:44:39 +0200
  • 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. Sixto 2025-05-25 20:11:43 +0200
  • ee3eeefc65 Mejorada la explicación del ejemplo anterior. Sixto 2025-05-24 23:01:07 +0200
  • 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. Sixto 2025-05-24 22:50:06 +0200
  • 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. Sixto 2025-05-24 18:18:50 +0200
  • 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. Sixto 2025-05-24 13:37:17 +0200
  • d815937e9d Añadido del paquete <<parskip>> para separar los párrafos con un espacio y no con el indentado de la primera línea. Sixto 2025-05-22 20:39:55 +0200
  • 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. Sixto 2025-05-22 20:37:45 +0200
  • 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. Sixto 2025-05-22 20:03:12 +0200
  • 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. Sixto 2025-05-22 19:42:32 +0200
  • 99b7cdc847 Revisión 20 mayo Sixto 2025-05-22 19:33:04 +0200
  • df6f88ea47 Carpeta de Figuras. Sixto 2025-05-06 13:19:42 +0200
  • 3f8e29e664 Eliminar ciencias.png Sixto 2025-05-06 13:17:34 +0200
  • 9b87b1ff66 Eliminar logoUZ.png Sixto 2025-05-06 13:17:24 +0200
  • 3a0ad96bed Subir archivos a "/" Sixto 2025-05-06 13:15:59 +0200
  • 81742156ec Initial commit Sixto 2025-05-06 13:14:14 +0200