Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Internalidad: Un camino de la Teoría de Modelos hacia la Teoría de Galois

García Vargas, Johan Felipe (2017) Internalidad: Un camino de la Teoría de Modelos hacia la Teoría de Galois. Maestría thesis, Universidad Nacional de Colombia - Sede Bogotá.

Texto completo

[img]
Vista previa
PDF - Versión Aceptada
Available under License Creative Commons Attribution Non-commercial No Derivatives.

878kB

Resumen

En teoría de modelos, el concepto de internalidad es usado para demostrar que los grupos de enlace son definibles. Un grupo de enlace es un grupo de automorfismos de un modelo que fijan a un reducto del mismo. El propósito de este documento es esclarecer los principios de teoría de Galois subyacentes a dicho concepto. El trabajo se desarrolla desde una perspectiva categórica, por lo cual el primer paso es traducir los conceptos modelo teóricos al lenguaje de las categorías. Después, se describen dos procedimientos para construir el grupo de enlace y se establece una correspondencia galoisiana. Por ´ultimo, mostramos la forma de deducir a partir de esta correspondencia, tanto la presentación que hace Grothendieck de la teoría de Galois, como la parte principal del formalismo tannakiano, es decir, la reconstrucción de un grupo a partir de su categoría de representaciones., Abstract: In model theory, the notion of internality has been used in order to prove that binding groups are definable. A binding group is a group of automorphisms of a model over a reduct. This document describes the Galois theoretical principles inherent to this notion. We work from a categorical perspective, so the first step is to translate concepts from model theory into categorical language. Afterwards, we develop two procedures for the construction of the binding group and establish a Galois correspondence. Finally, we show that the Grothendieck’s presentation of Galois theory and the main part of tannakian formalism (i.e. the recovery of a group from its category of representations) can be derived from this correspondence.

Tipo de documento:Tesis/trabajos de grado - Thesis (Maestría)
Colaborador / Asesor:Villaveces Niño, Andrés
Información adicional:Magister en Ciencias - Matemáticas Línea de Investigación: Métodos de estabilidad en clases no estables
Palabras clave:Teoría de Modelos, Teoría de Galois, Teoría de Categorías, Internalidad, Formalismo Tannakiano, Model Theory, Galois Theory, Category Theory, Internality, Tannakian Formalism
Temática:1 Filosofía y psicología / Philosophy & psychology > 16 Lógica / Logic
5 Ciencias naturales y matemáticas / Science > 51 Matemáticas / Mathematics
Unidad administrativa:Sede Bogotá > Facultad de Ciencias > Departamento de Matemáticas > Matemáticas
Código ID:61167
Enviado por : Johan Felipe García Vargas
Enviado el día :17 Enero 2018 15:32
Ultima modificación:17 Enero 2018 15:32
Ultima modificación:17 Enero 2018 15:32
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Metabiblioteca OAIster BASE BDCOL Registry of Open Access Repositories SNAAC Red de repositorios latinoamericanos eprints Open archives La referencia Tesis latinoamericanas OpenDOAR CLACSO
Este sitio web se ve mejor en Firefox