10º problema de Hilbert para subanéis de Q

Detalhes bibliográficos
Autor(a) principal: Raimundo, António Pedro da Silva
Data de Publicação: 2014
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10400.2/4420
Resumo: Dissertação de Mestrado em Estatística, Matemática e Computação apresentada à Universidade Aberta
id RCAP_993202ff3100004102e636758060188b
oai_identifier_str oai:repositorioaberto.uab.pt:10400.2/4420
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling 10º problema de Hilbert para subanéis de QMatemáticaEstatísticaComputaçãoAlgorítmosÁlgebraCurvas elípticasHilbert‘s tenth problemDiophantine modelElliptic curveDissertação de Mestrado em Estatística, Matemática e Computação apresentada à Universidade AbertaNesta dissertação estudamos o artigo de Bjorn Poonen [Poo03b], Hilbert‘s tenth problem and Mazur‘s conjecture for large subrings of Q e investigamos computacionalmente os diversos conjuntos caracterizados no artigo. Começamos por introduzir a teoria referente às variedades algébricas e às curvas elípticas , conceitos necessários ao entendimento do artigo em estudo. No artigo de Poonen é demonstrada a inexistência dum algoritmo para decidir se equações polinomiais com coeficientes em certos subanéis de Q têm ou não solução nesses subanéis ou seja o 10o problema de Hilbert para esses anéis tem uma solução negativa. A ideia da prova é a partir duma curva elíptica construir um modelo diofantino do anel Z. Com esse fim, partindo duma curva elíptica estuda-se alguns conjuntos infinitos de números primos que são recursivos. Na parte prática da dissertação definimos alguns algoritmos e calculamos alguns elementos destes conjuntos.This thesis studies the article Bjorn Poonen, Hilbert‘s tenth problem and Mazur‘s conjecture for large subrings of Q and investigates computationally the various sets featured in the article. We begin by introducing the basic theory of algebraic varieties and elliptic curves, concepts necessary for understanding the article under consideration. In Poonen article the absence of an algorithm to decide if polynomial equations with coefficients in certain subrings of Q have solutions in those subrings is proved, that is, Hilbert‘s tenth problemfor these rings has a negative solution. The idea of proof is to use an elliptic curve to build a diophantine model of the ring Z. To this end, we study some infinite recursive sets of primes that are built from an elliptic curve. The idea of proof is of an elliptic curve from building a diophantine model of the Z ring To this end, and from a elliptic curve is studied some infinite sets of primes that are recursive. In the practical part of the thesis we define algorithms and calculate some elements of these sets.Edmundo, Mário JorgeMamino, MarceloRepositório AbertoRaimundo, António Pedro da Silva2015-07-28T16:20:11Z20142014-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10400.2/4420TID:201138956porRaimundo, António Pedro da Silva - 10º problema de Hilbert para subanéis de Q [Em linha]. Lisboa : [s.n.], 2014. 90 p.info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-16T15:20:14Zoai:repositorioaberto.uab.pt:10400.2/4420Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T22:45:23.337678Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv 10º problema de Hilbert para subanéis de Q
title 10º problema de Hilbert para subanéis de Q
spellingShingle 10º problema de Hilbert para subanéis de Q
Raimundo, António Pedro da Silva
Matemática
Estatística
Computação
Algorítmos
Álgebra
Curvas elípticas
Hilbert‘s tenth problem
Diophantine model
Elliptic curve
title_short 10º problema de Hilbert para subanéis de Q
title_full 10º problema de Hilbert para subanéis de Q
title_fullStr 10º problema de Hilbert para subanéis de Q
title_full_unstemmed 10º problema de Hilbert para subanéis de Q
title_sort 10º problema de Hilbert para subanéis de Q
author Raimundo, António Pedro da Silva
author_facet Raimundo, António Pedro da Silva
author_role author
dc.contributor.none.fl_str_mv Edmundo, Mário Jorge
Mamino, Marcelo
Repositório Aberto
dc.contributor.author.fl_str_mv Raimundo, António Pedro da Silva
dc.subject.por.fl_str_mv Matemática
Estatística
Computação
Algorítmos
Álgebra
Curvas elípticas
Hilbert‘s tenth problem
Diophantine model
Elliptic curve
topic Matemática
Estatística
Computação
Algorítmos
Álgebra
Curvas elípticas
Hilbert‘s tenth problem
Diophantine model
Elliptic curve
description Dissertação de Mestrado em Estatística, Matemática e Computação apresentada à Universidade Aberta
publishDate 2014
dc.date.none.fl_str_mv 2014
2014-01-01T00:00:00Z
2015-07-28T16:20:11Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10400.2/4420
TID:201138956
url http://hdl.handle.net/10400.2/4420
identifier_str_mv TID:201138956
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv Raimundo, António Pedro da Silva - 10º problema de Hilbert para subanéis de Q [Em linha]. Lisboa : [s.n.], 2014. 90 p.
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799135024659824640

Registros relacionados