Extensions of Hilbert's Tenth Problem
Although Hilbert posed the problem for the rational integers, it can be just as well asked for many rings (in particular, for any ring whose elements are listable). Obvious examples are the rings of integers of algebraic number fields as well as the rational numbers. An algorithm such as he was requesting could have been extended to cover these other domains. For example, the equation
where is a polynomial of degree is solvable in non-negative rational numbers if and only if
is solvable in natural numbers. (If one possessed an algorithm to determine solvability in non-negative rational numbers, it could easily be used to determine solvability in the rationals.) However, knowing that there is no such algorithm as Hilbert had desired says nothing about these other domains.
There has been much work on Hilbert's tenth problem for the rings of integers of algebraic number fields. Basing themselves on earlier work by Jan Denef and Leonard Lipschitz and using class field theory, Harold N. Shapiro and Alexandra Shlapentokh were able to prove:
Hilbert's tenth problem is unsolvable for the ring of integers of any algebraic number field whose Galois group over the rationals is abelian.
Shlapentokh and Thanases Pheidas (independently of one another) obtained the same result for algebraic number fields admitting exactly one pair of complex conjugate embeddings.
The problem for the ring of integers of algebraic number fields other than those covered by the results above remains open. Likewise, despite much interest, the problem for equations over the rationals remains open. Barry Mazur has conjectured that for any variety over the rationals, the topological closure over the reals of the set of solutions has only finitely many components. This conjecture implies that the integers are not Diophantine over the rationals and so if this conjecture is true a negative answer to Hilbert's Tenth Problem would require a different approach than that used for other rings.
Read more about this topic: Hilbert's Tenth Problem
Famous quotes containing the words extensions of, extensions, tenth and/or problem:
“The psychological umbilical cord is more difficult to cut than the real one. We experience our children as extensions of ourselves, and we feel as though their behavior is an expression of something within us...instead of an expression of something in them. We see in our children our own reflection, and when we don’t like what we see, we feel angry at the reflection.”
—Elaine Heffner (20th century)
“The psychological umbilical cord is more difficult to cut than the real one. We experience our children as extensions of ourselves, and we feel as though their behavior is an expression of something within us...instead of an expression of something in them. We see in our children our own reflection, and when we don’t like what we see, we feel angry at the reflection.”
—Elaine Heffner (20th century)
“Of Ickworth’s boys, their father’s joys,
There is but one a bad one;
The tenth is he, the parson’s fee,
And indeed he is a sad one.
No love of fame, no sense of shame,
And a bad heart, let me tell ye:
Without, all brass; within, all ass,
And the puppy’s name is Felly.”
—Horace Walpole (1717–1797)
“Hypocrisy is the essence of snobbery, but all snobbery is about the problem of belonging.”
—Alexander Theroux (b. 1940)