Sixto
0 Followers · 0 Following
  • Joined on 2025-05-06
Repositories
1
 Projects Packages Public Activity Starred Repositories
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 20:00:43 +02:00
fd61ba825f Traducción del primer párrafo.
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 19:02:27 +02:00
c0c87d48b3 25 páginas.
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 18:47:22 +02:00
7301db970c Carnicería de espacios.
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 17:39:01 +02:00
e087ba1572 Resúmenes.
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 16:40:39 +02:00
170f117a34 Cambio de la cita de Faenzi.
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 16:31:14 +02:00
bc28394974 Pequeño cambio para posicionar bien el diagrama de duales.
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 16:07:36 +02:00
5c94b31aa7 Todos las correcciones del cuerpo (resumen todavía sin cambiar.
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 15:50:07 +02:00
fa9e605508 Cambio de los productos tensoriales por fracciones.
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 15:30:19 +02:00
59ebf05573 Nota rango de un ideal es siempre 1.
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 15:25:02 +02:00
4f2e5da8e9 Nota sobre reflexivo implica libre de torsión.
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 15:21:25 +02:00
e500550155 Merge.
59673dfe22 Ejemplo de libre de torsión no libre.
b5a1a77988 Cambio de lo de las resoluciones.
Compare 3 commits »
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 11:43:14 +02:00
942a33487f Merge.
0ae1a4e0c2 Cambio del resumen.
Compare 2 commits »
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 11:24:30 +02:00
0dc46a2d51 Merge con Resoluciones.
12f6e6255c Añadido un poco de resoluciones.
Compare 2 commits »
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 11:21:06 +02:00
79c64d6b53 Eliminación de la demostración del Criterio de Buchberger.
Sixto created branch Resoluciones in Sixto/TFG_Sixto 2025-06-11 10:50:22 +02:00
Sixto pushed to Resoluciones at Sixto/TFG_Sixto 2025-06-11 10:50:22 +02:00
12f6e6255c Añadido un poco de resoluciones.
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 09:51:18 +02:00
5240b6b8a7 Merge branch 'main' of riemann.unizar.es:Sixto/TFG_Sixto
62bbeb92da Merge
9bac8e59f4 Cambio de la extensión de escalares.
Compare 3 commits »
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 02:43:30 +02:00
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.
37ad5118ce Resto de correcciones incluidas y resumen.
Compare 2 commits »
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-11 00:10:27 +02:00
c108dd743d Cambio en el ejemplo de reflexividad de un espacio vectorial.
Sixto pushed to main at Sixto/TFG_Sixto 2025-06-10 23:24:31 +02:00
21a2d5118e Cambio de la definición de aplicación bilineal y reflexividad.