Integral Noetherian ring over Artinian ring is Artinian

159 Views Asked by At

I'm struggling with one of the exercises in my course.


It goes something like this: let $A$ be an Artinian ring (that is any descending chain of ideals stabilizes) and let $B$ be a Noetherian ring which is integral over $A,$ then I have to show that $B$ is Artinian as well.


Once again I would appreciate hints much more than a direct answer.

Intuitively (geometrically) it is quite evident since we have something with finite fibers lying over something finite (with Artinian ring of functions). Yet I was unable to formalize it.

1

There are 1 best solutions below

1
On BEST ANSWER

Let $P$ be a prime ideal of $B$. Then, $P \cap A$ is a prime ideal of $A$, hence a maximal ideal since $A$ is Artinian. Also, the quotient ring $B/P$ is an integral extension of the quotient ring $A/(P \cap A)$, and since the former is an integral domain and the latter is a field, the former must also be a field. This means that $P$ must in fact be a maximal ideal.

The above shows more generally that any integral extension of a zero-dimensional ring is again zero-dimensional. Since $B$ is Noetherian and zero-dimensional, it must therefore be Artinian.