1
$\begingroup$

If $p,q:\mathbb R^3\rightarrow\mathbb R$ are two polynomials, such that $\{p=0\}\cap\{q=0\}$ is two-dimensional, does it follow that $p$ and $q$ have a common factor? (I believe it does.) How to prove that?

$\endgroup$
3
  • 4
    $\begingroup$ We consider the rimg $A = R[x,y,z]$, $dim A = 3$. We have $V((p)) \cap V((q)) = V((p,q))$. If $gcd(p,q) = 1$, then $ht(p,q) = 2$. So $V((p)) \cap V((q))$ is not 2-dimension $\endgroup$ Oct 5, 2011 at 10:47
  • 7
    $\begingroup$ @Pham Hung Quy: Why don't you make this an answer? Otherwise this question may linger around until someone else comes in and gives your comment as an answer just to stop the Mathoverflow-bot from bumping the question $\endgroup$ Oct 5, 2011 at 12:19
  • $\begingroup$ I am sorry David White. I am not good at algebraic geometry. So I posed it as a comment, and I hope to see a better anwser. Now I pose it as an anwser. $\endgroup$ Oct 5, 2011 at 15:53

1 Answer 1

2
$\begingroup$

Here is my answer. We consider the rimg $A=R[x,y,z]$ , $dimA=3$. We have $V((p))∩V((q))=V((p,q))$. If $gcd(p,q)=1$, then $ht(p,q)=2$. So $V((p))∩V((q))))=V((p,q))$ is not 2-dimension.

$\endgroup$
3
  • $\begingroup$ unfortunately, i don't understand the proof. what is ht(p,q)? $\endgroup$
    – filipm
    Oct 6, 2011 at 8:26
  • 1
    $\begingroup$ $ht(I)$ is the height of $I$, (see, en.wikipedia.org/wiki/Krull_dimension). Notice that $\mathbb{R}[x,y,z]$ is a Gassian ring, hence a prime ideal of height 1 is a principal ideal $(f)$ with $f$ is a irreducible polynomial. If $ht(p,q) = 1$, then $(p,q) \subset (f)$ for some $f$, so $f$ is a common factor of $p$ and $q$, a contradiction. Thus $ht((p,q))>1$ (= 2), so $\dim A/(p,q) < 2$. So $V((p,q))$ is not dimension two (see, Atiyah-Macdonald: Introduction to Commutative algebra, chapter 11 as example). $\endgroup$ Oct 6, 2011 at 17:01
  • $\begingroup$ thx Pham Hung Quy, now it's much clearer, I'll try to digest it. $\endgroup$
    – filipm
    Oct 7, 2011 at 15:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.