Definable groups in models of presburger arithmetic

En este trabajo estudiamos los grupos definibles en la teoría de Presburger. En el primer cap'ítulo establecemos los enunciados importantes de teorías dependientes y su relación con los grupos amenables. En el segundo capitulo, probamos que todo grupo definible en Presburger es abeliano por fin...

Full description

Autores:
Vicaría Angel, Mariana
Tipo de recurso:
Fecha de publicación:
2016
Institución:
Universidad de los Andes
Repositorio:
Séneca: repositorio Uniandes
Idioma:
eng
OAI Identifier:
oai:repositorio.uniandes.edu.co:1992/13885
Acceso en línea:
http://hdl.handle.net/1992/13885
Palabra clave:
Grupos algebráicos - Investigaciones
Grupos abelianos - Investigaciones
Matemáticas - Investigaciones
Matemáticas
Rights
openAccess
License
http://creativecommons.org/licenses/by-nc-sa/4.0/
id UNIANDES2_b6987f087d8ba89c2a9d61771fc15a0c
oai_identifier_str oai:repositorio.uniandes.edu.co:1992/13885
network_acronym_str UNIANDES2
network_name_str Séneca: repositorio Uniandes
repository_id_str
spelling Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.http://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Onshuus Niño, Alf06cd0bf2-63f0-489d-9a06-d5357c049007400Vicaría Angel, Mariana9aec22d7-bb26-4934-8eaf-bf7844a5ca7e500Berenstein Opscholtens, Alexander JonathanCarmona González, Juan FelipeBogotá2018-09-28T11:00:05Z2018-09-28T11:00:05Z2016http://hdl.handle.net/1992/13885u729679.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/En este trabajo estudiamos los grupos definibles en la teoría de Presburger. En el primer cap'ítulo establecemos los enunciados importantes de teorías dependientes y su relación con los grupos amenables. En el segundo capitulo, probamos que todo grupo definible en Presburger es abeliano por finitos y por lo tanto amenable. A partir de esto probamos que todo grupo definible y acotado en Presburger, tiene la propiedad de genéricos finitamente satisfactibles, lo que nos permite mostrar que para dichos grupos la conjetura del semigrupo de Ellis es válidaWe studied in detail the definable groups in Presburger Arithmetic. In the first chapters we recall several relevant results about definably amenable groups in NIP theories. In the following chapter, we show that any definable group in Presburger is abelian by finite, and thus it is definably amenable. Then, we show that any definable bounded group in this theory has the fsg property. And this is enough to show that for this kind of groups the Ellis semigroup conjecture holdsMagíster en MatemáticasMaestría136 hojasapplication/pdfengUniandesMaestría en MatemáticasFacultad de CienciasDepartamento de Matemáticasinstname:Universidad de los Andesreponame:Repositorio Institucional SénecaDefinable groups in models of presburger arithmeticTrabajo de grado - Maestríainfo:eu-repo/semantics/masterThesishttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TMGrupos algebráicos - InvestigacionesGrupos abelianos - InvestigacionesMatemáticas - InvestigacionesMatemáticasPublicationTHUMBNAILu729679.pdf.jpgu729679.pdf.jpgIM Thumbnailimage/jpeg3610https://repositorio.uniandes.edu.co/bitstreams/b3c84d4a-6d3e-4235-8077-042ef6273c3f/download8456c617bd22476a5a8cac03a6a76e33MD55TEXTu729679.pdf.txtu729679.pdf.txtExtracted texttext/plain198658https://repositorio.uniandes.edu.co/bitstreams/ae92b0f6-63cd-47e1-9a1a-57d979d057a4/download1896caa6e1010a3f30be5bd3cfa034d9MD54ORIGINALu729679.pdfapplication/pdf754405https://repositorio.uniandes.edu.co/bitstreams/913d7695-9bf0-4cbd-8093-8d5f05e6d68e/download34fd107aed25c5f75460e8a4826f407fMD511992/13885oai:repositorio.uniandes.edu.co:1992/138852023-10-10 17:38:24.978http://creativecommons.org/licenses/by-nc-sa/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co
dc.title.es_CO.fl_str_mv Definable groups in models of presburger arithmetic
title Definable groups in models of presburger arithmetic
spellingShingle Definable groups in models of presburger arithmetic
Grupos algebráicos - Investigaciones
Grupos abelianos - Investigaciones
Matemáticas - Investigaciones
Matemáticas
title_short Definable groups in models of presburger arithmetic
title_full Definable groups in models of presburger arithmetic
title_fullStr Definable groups in models of presburger arithmetic
title_full_unstemmed Definable groups in models of presburger arithmetic
title_sort Definable groups in models of presburger arithmetic
dc.creator.fl_str_mv Vicaría Angel, Mariana
dc.contributor.advisor.none.fl_str_mv Onshuus Niño, Alf
dc.contributor.author.none.fl_str_mv Vicaría Angel, Mariana
dc.contributor.jury.none.fl_str_mv Berenstein Opscholtens, Alexander Jonathan
Carmona González, Juan Felipe
dc.subject.keyword.es_CO.fl_str_mv Grupos algebráicos - Investigaciones
Grupos abelianos - Investigaciones
Matemáticas - Investigaciones
topic Grupos algebráicos - Investigaciones
Grupos abelianos - Investigaciones
Matemáticas - Investigaciones
Matemáticas
dc.subject.themes.none.fl_str_mv Matemáticas
description En este trabajo estudiamos los grupos definibles en la teoría de Presburger. En el primer cap'ítulo establecemos los enunciados importantes de teorías dependientes y su relación con los grupos amenables. En el segundo capitulo, probamos que todo grupo definible en Presburger es abeliano por finitos y por lo tanto amenable. A partir de esto probamos que todo grupo definible y acotado en Presburger, tiene la propiedad de genéricos finitamente satisfactibles, lo que nos permite mostrar que para dichos grupos la conjetura del semigrupo de Ellis es válida
publishDate 2016
dc.date.issued.es_CO.fl_str_mv 2016
dc.date.accessioned.none.fl_str_mv 2018-09-28T11:00:05Z
dc.date.available.none.fl_str_mv 2018-09-28T11:00:05Z
dc.type.spa.fl_str_mv Trabajo de grado - Maestría
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/masterThesis
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/TM
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/1992/13885
dc.identifier.pdf.none.fl_str_mv u729679.pdf
dc.identifier.instname.spa.fl_str_mv instname:Universidad de los Andes
dc.identifier.reponame.spa.fl_str_mv reponame:Repositorio Institucional Séneca
dc.identifier.repourl.spa.fl_str_mv repourl:https://repositorio.uniandes.edu.co/
url http://hdl.handle.net/1992/13885
identifier_str_mv u729679.pdf
instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
repourl:https://repositorio.uniandes.edu.co/
dc.language.iso.es_CO.fl_str_mv eng
language eng
dc.rights.uri.*.fl_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.coar.spa.fl_str_mv http://purl.org/coar/access_right/c_abf2
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.extent.es_CO.fl_str_mv 136 hojas
dc.format.mimetype.es_CO.fl_str_mv application/pdf
dc.coverage.spatial.es_CO.fl_str_mv Bogotá
dc.publisher.none.fl_str_mv Uniandes
dc.publisher.program.es_CO.fl_str_mv Maestría en Matemáticas
dc.publisher.faculty.es_CO.fl_str_mv Facultad de Ciencias
dc.publisher.department.es_CO.fl_str_mv Departamento de Matemáticas
publisher.none.fl_str_mv Uniandes
dc.source.es_CO.fl_str_mv instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
instname_str Universidad de los Andes
institution Universidad de los Andes
reponame_str Repositorio Institucional Séneca
collection Repositorio Institucional Séneca
bitstream.url.fl_str_mv https://repositorio.uniandes.edu.co/bitstreams/b3c84d4a-6d3e-4235-8077-042ef6273c3f/download
https://repositorio.uniandes.edu.co/bitstreams/ae92b0f6-63cd-47e1-9a1a-57d979d057a4/download
https://repositorio.uniandes.edu.co/bitstreams/913d7695-9bf0-4cbd-8093-8d5f05e6d68e/download
bitstream.checksum.fl_str_mv 8456c617bd22476a5a8cac03a6a76e33
1896caa6e1010a3f30be5bd3cfa034d9
34fd107aed25c5f75460e8a4826f407f
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio institucional Séneca
repository.mail.fl_str_mv adminrepositorio@uniandes.edu.co
_version_ 1812133948190359552