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

I have read that a module is module is noetherian if and only if every submodule is finitely generated. And I have proved it using the axiom of choice.

However, I came across this problem recently and found that this somehow looks like a counterexample.

let $\mathbb{Z_{p^{\infty}}}$denote the submodule of the $\mathbb{Z}$-module $\mathbb{Q/Z}$ consisting of elements which are annihilated by some power of p. Show that $\mathbb{Z_{p^{\infty}}}$is an artinian $\mathbb{Z}$-module which is not noetherian.

I proved this problem by proving every submodule of $\mathbb{Z_{p^{\infty}}}$ must have a smallest ${\frac{1}{p^{k}}}$,but this somehow hints that every submodule is finitely generated(by ${\frac{1}{p^{k}}}$), which looks quite contradicting with the proposition above.

Can anybody help explain what is wrong here?

share|cite|improve this question
up vote 3 down vote accepted

Notice that $\mathbb{Z} _{p^{\infty}}$ itself is not finitely generated.

share|cite|improve this answer
but every submodule is.the propostitionsaid that if and only if every submodule is finitly generate. – Alex Jan 7 '13 at 16:13
Every proper submodule of your module is finitely generated, but in the definition of being Neotherian we require every submodule to be finitely generated, including the whole module itself. – Piotr Pstrągowski Jan 7 '13 at 16:14

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.