1
$\begingroup$

Define the tensor product of two monic polynomials over a field in the following way: Take $f(x) = \prod_{i = 1}^{n}(x- \alpha_i)$ and $g(x) = \prod_{j = 1}^{m} (x - \beta_j)$, then $(f \otimes g)(x) = \prod_{i,j = 1}^{n,m} (x - \alpha_i \beta_j)$.

Suppose now that we are given two monic polynomials $f(x)$ and $g(x)$ over $\mathbb{C}$ which are integral at a common value $x_{0}$, i.e., $f(x_0), g(x_0) \in \mathbb{Z}$.

Are there necessary and sufficient conditions to ensure that the tensor product $(f \otimes g)(x_0)$ is integral? With what further restrictions on $f$ and $g$ can we assume that such closure holds?

Thanks!

  • 0
    @Qiaochu That's certainly true. Although the right way to phrase that one is "If $f$ and $g$ have integer coefficients, then so does $f \otimes g$."2011-07-14

0 Answers 0