Ideal $I=(x^3,x^5)$ in $\mathbb Q[x]$ . It is true that $I=(x^3)$ ?What about $I=(x^5)$?

Question

Ideal $~I=(x^3,x^5)~$ in $~\mathbb Q[x]~$ . It is true that $~I=(x^3)~$ ?What about $~I=(x^5)~$ ?

My work : I was thinking to solve this with something like:

$~(x^3)(1+x^2)=x^3+x^5~$ and $~(1+x^2)\in \mathbb Q[x]~$

and for $~I=(x^5)\implies (x^5)*(1+1/x^2)=x^3+x^5~$ but $~1/x^2~$ is not always in $~\mathbb Q[x]~$, I think.

How close to the answer am I ?

Thanks for help.

Welcome to MSE. Please edit and use MathJax to properly format math expressions. — Lee David Chung Lin, Sep 05 '19 at 01:42

score 0 · Accepted Answer · answered Sep 04 '19 at 15:53

0

The polynomial ring $K[x]$, where $K$ is a field, is a principal ideal domain. Each nonzero ideal is generated by the small monic polynomial containing it (smallest in the sense of degree). The reason is that in $K[x]$ we have division with remainder.

In your case, $I=\langle x^3,x^5\rangle = \langle x^3\rangle$ with $x^5 = x^2\cdot x^3$.

Moreover, the ideal $\langle x^5 \rangle$ is contained in $\langle x^3\rangle$.

answered Sep 04 '19 at 15:53

Wuestenfux

20,964

So if I=⟨3,x^3⟩ ? @Wuestenfux – ROSole Sep 04 '19 at 16:09
@ROSole: Since 3 is invertible, the ideal equals the whole ring. – Wuestenfux Sep 06 '19 at 08:49

Ideal $I=(x^3,x^5)$ in $\mathbb Q[x]$ . It is true that $I=(x^3)$ ?What about $I=(x^5)$?

1 Answers1