Let $R=\{a_0+a_1 X+a_2 X^2 +\cdots + a_n X^n\}$, where $a_0$ is an integer and the rest of the coefficients are rational numbers.
Let $I=\{a_1 X+a_2 X^2+\cdots +a_n X^n\}$ where all of the coefficients are rational numbers.
Prove that I is an ideal of R.
Show further that I is not finitely generated as an R-module.
I have managed to prove that I is an ideal of R, by showing that I is the kernel of the evaluation map that maps a polynomial in Q[x] to its constant term. Hence I is an ideal of R.
However, I am stuck at showing I is not finitely generated as an R-module.
Sincere thanks for any help.