Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

How to prove :

$A/m^n$ is Artinian for all $n\geq 0$ if $A$ is a Noetherian ring and $m$ maximal ideal.

Any suggestions ?

share|cite|improve this question

Hint: Show that a Noetherian ring with only $1$ prime ideal is Artinian. What are the prime ideals of $A/m^n$?

share|cite|improve this answer

You need to prove that $A/\mathfrak{m}^n$ is of finite length as a module over itself, or equivalently, as an $A$-module (since ideals of $A/\mathfrak{m}^n$ are the same as $A$-submodules). Consider the chain $A/\mathfrak{m}^n\supseteq \mathfrak{m}/\mathfrak{m}^n\supseteq\cdots\supseteq\mathfrak{m}^{n-1}/\mathfrak{m}^n\supseteq 0$ of $A$-submodules of $A/\mathfrak{m}^n$. As $A$ is Noetherian, these are all finitely generated $A$-modules. In particular, the quotients by consecutive terms are finitely generated $A$-modules killed by $\mathfrak{m}$, i.e., finite-dimensional $A/\mathfrak{m}$-modules. A vector space over a field is of finite length over that field if and only if it is of finite dimension, and the $A$-length of an $A$-moduled killed by $\mathfrak{m}$ is the same as the $A/\mathfrak{m}$-dimension. Thus the quotients in this filtration are all finite length over $A$. By induction, using that length is additive in short exact sequences, $A/\mathfrak{m}^n$ itself is of finite length over $A$.

share|cite|improve this answer

Suggestion/hint: Hopkins-Levitzki

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.