Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Last question: If the Krull dimension of $R$ in the $K=\mathbb{Z}$ case is zero, does this imply that the Krull dimension of $R$ in the $K=\mathbb{Q}$ case is zero (via Groebner bases)? Sorry for these trivial questions...I am not familiar with this area of mathematics.
Ok, thank you very much. Do you know a sufficient criterion in the $K=\mathbb{Z}$ case which guarantees that there are only finitely many solutions, if the criterion is fulfilled?