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

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 subyacente...

Full description

Autores:: García Vargas, Johan Felipe

Tipo de recurso:

Fecha de publicación:: 2017

Institución:: Universidad Nacional de Colombia

Repositorio:: Universidad Nacional de Colombia

Idioma:: spa

Description
Summary:	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.

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

Publicaciones similares