I'd expect that it'd be trivially true because $\mathbb{Z} \subset \mathbb{Q}$, so any factorisation in $\mathbb{Z}$ would also be a valid factorisation in $\mathbb{Q}$. However, I realise that I could be missing something.
Thanks in advance.
I'd expect that it'd be trivially true because $\mathbb{Z} \subset \mathbb{Q}$, so any factorisation in $\mathbb{Z}$ would also be a valid factorisation in $\mathbb{Q}$. However, I realise that I could be missing something.
Thanks in advance.
Ultimately this depends on your definition of irreducibility. Taking the definition used on both wikipedia and MathWorld, where a polynomial is irreducible if it cannot be factored into two non-constant polynomials you're pretty much correct, assuming that $p(x) \in \mathbb{Z}[x]$.
Suppose for contradiction that $p(x) = f(x)g(x)$ with $f(x),g(x) \in \mathbb{Z}[x]$. Then $f(x),g(x) \in \mathbb{Q}[x]$ also, and so we have a factorisation in $\mathbb{Q}[x]$, a contradiction.