1
$\begingroup$

Hello all!

I recently had a question concerning algebraic dependence that has thus far gone unanswered from my professors and texts, that I hope I can phrase properly here. When answering, please reference any papers or texts that you may happen to be citing so that I can look them up later! The statement I would like to be true is the following:

Let {$\alpha$,$\beta$} be a set of real numbers that are algebraically dependent over $\mathbb{Q}$. Then $\exists! f \in \mathbb{Z}[x,y]$ of lowest degree such that $f$ is primitive (in the sense of ring theory) and $f(\alpha,\beta) = 0$.

Does anyone know if this statement, or a close cousin perhaps, is true? If it is false, can we add/remove some hypotheses to make it true?

Thank you all in advance for your time and help!

-Richard

$\endgroup$
8
  • $\begingroup$ Do you mean that $f$ is of lowest degreee in each variable? If not, we can take $\alpha = 1$, $\beta$ an irrational algebraic integer of minimal polynomial $p$, and then both $f(X,Y) = p(Y)$ and $f(X,Y) = p(Y)-p(0)X$ are solutions. $\endgroup$
    – AFK
    Jan 25, 2011 at 2:12
  • $\begingroup$ Sorry, what does "primitive (in the sense of ring theory)" mean? $\endgroup$ Jan 25, 2011 at 2:30
  • 1
    $\begingroup$ I'm confused. Are you asking whether "Q[X,Y]/I has transcendence degree 1 over Q" implies "I is principal"? $\endgroup$ Jan 25, 2011 at 3:40
  • $\begingroup$ @Gerry: I presume primitive means that there is no nonunit simultaneously dividing all the coefficients. $\endgroup$ Jan 25, 2011 at 4:48
  • $\begingroup$ Perhaps to meet YBL's objection one wants those two reals to be transcendental? $\endgroup$ Jan 25, 2011 at 6:36

1 Answer 1

3
$\begingroup$

It is true if both your numbers are transcendental. It follows from the fact that height one prime ideals of $\mathbb{Q}[x,y]$ are principal. This can be found in standard algebra textbooks. Otherwise, I believe it's false. There are already counterexamples in the comments.

$\endgroup$

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.