Polynomgleichungen über $ \mathbb {Z}$

Def: eine Menge M$ \mathbb {Z}$k heißt diophantisch,

wenn ein Polynom P mit Koeffizienten in $ \mathbb {Z}$ existiert,

so daß M =

{(x1,…, xi) | ∃xi+1$ \mathbb {Z}$,…, xk$ \mathbb {Z}$ : P(x1,…, xk) = 0}

Beispiele:

Abschluß-Eigenschaften? (Durchschnitt, Vereinigung, ...)



2014-07-06