10º problema de Hilbert para subanéis de Q
type: CreativeWork
description: Nesta 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.
abstract: Nesta 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.
author: Raimundo, António Pedro da Silva
language: por
keywords: Matemática, Estatística, Computação, Algorítmos, Álgebra, Curvas elípticas, Hilbert‘s tenth problem, Diophantine model, Elliptic curve
date published: 2014
date modified: 2026-07-24T00:49:43Z
provider: Universidade Aberta
publisher: Networked Digital Library of Theses and Dissertations
type: WebPage
source organization: Universidade Aberta

PropertyValue
property ID: Handle
value: http://hdl.handle.net/10400.2/4420