For $k$ a field, $k[x]$ is Noetherian but not Artinian?

2k Views Asked by At

I have a question regarding some Commutative Algebra facts. I am using the book A Course in Commutative Algebra by Gregor Kemper. On page 24 he states that if $k$ is a field, the polynomial ring $k[x]$ is Noetherian, and not Artinian. And in theorem 2.8 he states:

Let $R$ be a ring. Then the following statements are equivalent:

$R$ is Artinian $\Leftrightarrow$ $R$ is Noetherian and every prime ideal of $R$ is maximal.

Now I learned in my basic algebra courses that if $k$ is a field, then $k[x]$ is a principal ideal domain. And in a PID, every prime ideal is maximal. But this would be in contradiction with theorem 2.8, since $k[x]$ is Noetherian and PID and therefore $k[x]$ must be Artinian. What goes wrong here?

2

There are 2 best solutions below

2
On BEST ANSWER

$\cdots (x^3)\subseteq (x^2)\subseteq (x)$ is an infinite decreasing sequence of ideals.

0
On

In a PID, every nonzero prime ideal is maximal. But the condition for an artinian ring is that every prime ideal must be maximal, even the zero ideal (if it is prime). Therefore, the only PIDs that are artinian are fields.