# Prove that $3\not \in \langle4x^3,15\rangle$ in $\mathbb{Z}[x]$

We are in $R=\mathbb{Z}[x]$ and $I=\langle 4x^3,15 \rangle$ is the ideal of this ring, genereted by $4x^3$ and $15$. We want to prove that $3\not \in \langle 4x^3,15\rangle$.

If $3$ was in $I$, then $\exists α(x),β(x)\in R:3=α(x)4x^3+β(x)15$ .
But if $x=0$ then $3=15β(0)\Longrightarrow β(0)\not \in R$ contradiction.
My question: Can we consider $$α(x)=a_0+...+a_nx^n, β(x)=b_0+...+b_mx^m \in R$$ then $$3=4x^3a_0+...+4x^{3+n}a_n+15b_0+...+15b_mx^m=15b_0+...+(15b_3+a_0)x^3+...$$ and then (because factors of two sides must be equal) $3=15b_0\Longrightarrow b_0\not\in \mathbb{Z}$. Contradiction.
• Your answer looks good to me. You can do it that other way as well. The result connecting the two solutions is that a polynomial with coefficients in $\Bbb{Z}$ is uniquely determined by its values at integer points. If two (formal) polynomials are equal so are their values (this holds for all commutative rings). The reverse implication holds for $\Bbb{Z}$ as well (and for all infinite integral domains), but not for for example $\Bbb{Z}_p$. Aug 6, 2016 at 21:37