If $I$ is a finitely generated ideal of $A[X]$, is $I\cap A$ necessarily finitely generated for a commutative unital ring $A$? Let $A$ be a commutative ring with $1$ and $A[X]$ the ring of polynomials in one variable over $A$. Assume $I$ is a finitely generated ideal of $A[X]$. My question is

Is $I\cap A$ necessarily finitely generated?

(If $A$ has zero divisors, I couldn't even prove that if $I=(f)$ is principal, then $I\cap A$ is finitely generated.) 
 A: A counterexample:
Let $f = tX-1$, where $t \in A$.
Given $g = \sum_{i=0}^n a_i X^i \in A[X]$,
then $fg = -a_0 +(ta_0-a_1)X + \ldots +(ta_{n-1}-a_n)X^n +(ta_n) X^{n+1}$.
Thus $a \in A$ is $fg$ for some $g$ if and only if there are $a_0,\ldots, a_n \in A$
such that
$a = -a_0$, $a_1 = ta_0$, ..., $a_n = ta_{n-1}$, $0 = ta_n$.
This is equivalent to 
$t^{n+1}a = 0$.
Thus $A \cap (f) = \bigcup_{n=1}^\infty\mathrm{Ann}_A(t^n)$.
It now suffices to find an example of $A$ and $t \in A$ such that
$\bigcup_{n=1}^\infty\mathrm{Ann}_A(t^n)$ is not finitely generated.
Let $K$ be a field; for every $i \in \mathbb{N}$ let 
$A_i = K[T]/(T^i)$ and let $t_i \in A_i$ be the image of $T$.
Then $\mathrm{Ann}_{A_i}(t_i^n)$ is $A_i$, if $n \ge i$, and a proper ideal of $A_i$,
if $n < i$. Let
$$A = \prod_{i=1}^\infty A_i = \{(a_1,a_2, \ldots) \| a_i \in A_i, \ i = 1, 2, \ldots \}$$
(with addition and multiplication coordinate-wise) and let $t = (t_1, t_2, \ldots) \in A$.
Then $\mathrm{Ann}_A(t^n) = \prod_{i=1}^\infty \mathrm{Ann}_{A_i}(t_i^n)$. 
Clearly
$\mathrm{Ann}_A(t^{n-1}) \subset \mathrm{Ann}_A(t^{n})$ for every $n$,
and the inclusion is strict, because both sides have distinct projections on the $n$-th coordinate.
If $\bigcup_{n=1}^\infty\mathrm{Ann}_A(t^n)$ were finitely generated,
we would have
$\bigcup_{n=1}^\infty\mathrm{Ann}_A(t^n) = \mathrm{Ann}_A(t^k)$ for some $k$
(such that the right hand side contains the generators).
A contradiction. 
