Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Fix an embedding of $\overline{\mathbb{Q}}$ into $\mathbb{C}$. Suppose you have a polynomial in several variables, with algebraic coefficients: $P\in \overline{\mathbb{Q}}[z_1, \ldots, z_n]$. Also suppose we find some factorization $P=QR$ for some $Q, R\in \mathbb{C}[z_1, \ldots, z_n]$ (with, a priori, just complex coefficients).

It seems intuitively clear to me that $Q$ and $R$ would need to have algebraic coefficients as well. (Well, almost -- we might need to do some scaling first. Let's say we pick some $\alpha\in\mathbb{C}^\times$ such that $\alpha Q$ has at least one nonzero, algebraic coefficient. Then replace $Q$ and $R$ with $\alpha Q$ and $\frac{1}{\alpha} R$.) Can anyone remind me how you would go about proving this?

(I'm sure this has nothing to do with the particulars of $\overline{\mathbb{Q}}$ and $\mathbb{C}$, really -- we could probably replace them with any pair of nested, algebraically closed fields.)

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.