Algorithmic Number Theory

Volume 2369 of the series Lecture Notes in Computer Science pp 33-42


Using Elliptic Curves of Rank One towards the Undecidability of Hilbert’s Tenth Problem over Rings of Algebraic Integers

  • Bjorn PoonenAffiliated withDepartment of Mathematics, University of California

* Final gross prices may vary according to local VAT.

Get Access


Let FK be number fields, and let \( \mathcal{O}_F \) and \( \mathcal{O}_K \) be their rings of integers. If there exists an elliptic curve E over F such that rk, E(F) = rk, E(K) = 1, then there exists a diophantine definition of \( \mathcal{O}_F \) over \( \mathcal{O}_K \) .