This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: 1. Let G be a linear subspace of Q n . Does G contain the square of a nonzero integral element of G? 2. Let G be a linear subspace of Qn. Does G contain x 2 + 1 for some integral x in G? 3. Let A be an affine subspace of Q n . Does A contain the square of an integral element of A? 4. Let A 1 ,...,A k be affine subspaces of Q n . Do there exist mutually orthogonal integral elements x 1 in A 1 , x 2 in A 2 , . .. , x k in A k ? THEOREM. There exists n such that problems 2 and 3 have no decision procedure. There exists k and n such that problem 4 has no decision procedure. THEOREM. The following are equivalent: i) problem 1 has a decision procedure that works in all dimensions at once; ii) there is a decision procedure for determining whether or not any polynomial with rational coefficients has a rational solution (Hilbert's 10th problem on the rationals)....
View Full
Document
 Fall '08
 JOSHUA
 Math, Vector Space

Click to edit the document details