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...
- 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
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/62204
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/62204
http://bdigital.unal.edu.co/61167/
- Palabra clave:
- 16 Lógica / Logic
51 Matemáticas / Mathematics
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
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| id |
UNACIONAL2_81785f2bdd53583969701844b05111c9 |
|---|---|
| oai_identifier_str |
oai:repositorio.unal.edu.co:unal/62204 |
| network_acronym_str |
UNACIONAL2 |
| network_name_str |
Universidad Nacional de Colombia |
| repository_id_str |
|
| spelling |
Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Villaveces Niño, AndrésGarcía Vargas, Johan Felipe9a265d79-71d2-4d7b-9945-efdc5078543a3002019-07-02T20:53:44Z2019-07-02T20:53:44Z2017-11-30https://repositorio.unal.edu.co/handle/unal/62204http://bdigital.unal.edu.co/61167/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.Maestríaapplication/pdfspaUniversidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas MatemáticasMatemáticasGarcí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á.16 Lógica / Logic51 Matemáticas / MathematicsTeoría de ModelosTeoría de GaloisTeoría de CategoríasInternalidadFormalismo TannakianoModel TheoryGalois TheoryCategory TheoryInternalityTannakian FormalismInternalidad: Un camino de la Teoría de Modelos hacia la Teoría de GaloisTrabajo de grado - Maestríainfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/acceptedVersionTexthttp://purl.org/redcol/resource_type/TMORIGINAL1026267264.2017.pdfapplication/pdf878890https://repositorio.unal.edu.co/bitstream/unal/62204/1/1026267264.2017.pdff167b850674a2a283ecac555048dd8ceMD51THUMBNAIL1026267264.2017.pdf.jpg1026267264.2017.pdf.jpgGenerated Thumbnailimage/jpeg3560https://repositorio.unal.edu.co/bitstream/unal/62204/2/1026267264.2017.pdf.jpg13badef88b45279ba86528d74edb17c6MD52unal/62204oai:repositorio.unal.edu.co:unal/622042023-04-15 23:06:37.486Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co |
| dc.title.spa.fl_str_mv |
Internalidad: Un camino de la Teoría de Modelos hacia la Teoría de Galois |
| title |
Internalidad: Un camino de la Teoría de Modelos hacia la Teoría de Galois |
| spellingShingle |
Internalidad: Un camino de la Teoría de Modelos hacia la Teoría de Galois 16 Lógica / Logic 51 Matemáticas / Mathematics 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 |
| title_short |
Internalidad: Un camino de la Teoría de Modelos hacia la Teoría de Galois |
| title_full |
Internalidad: Un camino de la Teoría de Modelos hacia la Teoría de Galois |
| title_fullStr |
Internalidad: Un camino de la Teoría de Modelos hacia la Teoría de Galois |
| title_full_unstemmed |
Internalidad: Un camino de la Teoría de Modelos hacia la Teoría de Galois |
| title_sort |
Internalidad: Un camino de la Teoría de Modelos hacia la Teoría de Galois |
| dc.creator.fl_str_mv |
García Vargas, Johan Felipe |
| dc.contributor.author.spa.fl_str_mv |
García Vargas, Johan Felipe |
| dc.contributor.spa.fl_str_mv |
Villaveces Niño, Andrés |
| dc.subject.ddc.spa.fl_str_mv |
16 Lógica / Logic 51 Matemáticas / Mathematics |
| topic |
16 Lógica / Logic 51 Matemáticas / Mathematics 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 |
| dc.subject.proposal.spa.fl_str_mv |
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 |
| description |
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. |
| publishDate |
2017 |
| dc.date.issued.spa.fl_str_mv |
2017-11-30 |
| dc.date.accessioned.spa.fl_str_mv |
2019-07-02T20:53:44Z |
| dc.date.available.spa.fl_str_mv |
2019-07-02T20:53:44Z |
| dc.type.spa.fl_str_mv |
Trabajo de grado - Maestría |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/masterThesis |
| dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/acceptedVersion |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/TM |
| status_str |
acceptedVersion |
| dc.identifier.uri.none.fl_str_mv |
https://repositorio.unal.edu.co/handle/unal/62204 |
| dc.identifier.eprints.spa.fl_str_mv |
http://bdigital.unal.edu.co/61167/ |
| url |
https://repositorio.unal.edu.co/handle/unal/62204 http://bdigital.unal.edu.co/61167/ |
| dc.language.iso.spa.fl_str_mv |
spa |
| language |
spa |
| dc.relation.ispartof.spa.fl_str_mv |
Universidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas Matemáticas Matemáticas |
| dc.relation.references.spa.fl_str_mv |
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á. |
| dc.rights.spa.fl_str_mv |
Derechos reservados - Universidad Nacional de Colombia |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.license.spa.fl_str_mv |
Atribución-NoComercial 4.0 Internacional |
| dc.rights.uri.spa.fl_str_mv |
http://creativecommons.org/licenses/by-nc/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
Atribución-NoComercial 4.0 Internacional Derechos reservados - Universidad Nacional de Colombia http://creativecommons.org/licenses/by-nc/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| institution |
Universidad Nacional de Colombia |
| bitstream.url.fl_str_mv |
https://repositorio.unal.edu.co/bitstream/unal/62204/1/1026267264.2017.pdf https://repositorio.unal.edu.co/bitstream/unal/62204/2/1026267264.2017.pdf.jpg |
| bitstream.checksum.fl_str_mv |
f167b850674a2a283ecac555048dd8ce 13badef88b45279ba86528d74edb17c6 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional Universidad Nacional de Colombia |
| repository.mail.fl_str_mv |
repositorio_nal@unal.edu.co |
| _version_ |
1814089810504056832 |