Let $R=\mathbb{Z}[x]$ be a ring of integers with usual addition and multiplication. Consider $$I:=(2,x):=\Big\{2\alpha(x)+x\beta(x)\ :\ \alpha(x),\beta(x)\in \mathbb{Z}[x]\Big\}.$$ I have to prove that the above one is ideal but not a principal ideal.
I have proved that
- $(I,+)$ is a group and
- $\forall f(x)\in \mathbb{Z}[x],\ \forall\ (2\alpha(x)+x\beta(x))=g(x)\in I, f(x)g(x) \in I,g(x),f(x)\in I.$
But I am unable to prove that it is not a principal ideal.