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'm reading Neukirch's book about Algebraic number theory and I totally fail to understand something. At one point he proves that the ring of integers $\mathcal{O}_K$ of a number field $K$ is noetherian in the following manner:

"every ideal is a finitely generated $\mathbb{Z}$-module by (2.10) and therefore a fortiori a finitely generated $\mathcal{O}_K$-module."

Now 2.10 is the claim that for an integrally closed, principle ideal domain A, F its field of fractions, L a finite separable extension of F and B the integral closure of A in L, we have that "every finitely generated B-submodule $M\ne 0$ of L is a free A-module of rank $[L:F]$".

I fail to see how 2.10 is used here. I guess in our case $F=\mathbb{Q}, L=K, A=\mathbb{Z}, B=\mathcal{O}_K$. So I know that every finitely generated $\mathcal{O}_K$ submodule (in other words, ideal) is a free $\mathbb{Z}$-module, which is additional information; but how can I assume that the ideal is finitely generated in the first place? That's what I need to prove!

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

Prop 2.10 is that

"every finitely generated $B$-submodule $M≠0$ of $L$ is a free $A$-module of rank $[L:F]$".

The $B$-submodule of $L$ generated by $1\in L$, namely $B$, is a finitely generated $B$-submodule of $L$. Thus $B$ is a free $\mathbb{Z}$-module of rank $[L:F]$ by the proposition, so $B$ is a finitely generated $\mathbb{Z}$-module.

Because $\mathbb{Z}$ is noetherian and $B$ is a finitely generated $\mathbb{Z}$-module, any $\mathbb{Z}$-submodule of $B$ (in particular, any ideal of $B$) will also be a finitely generated $\mathbb{Z}$-module.

This is then where the quote

"every ideal is a finitely generated $\mathbb{Z}$-module by (2.10) and therefore a fortiori a finitely generated $\mathcal{O}_K$-module."

picks up.

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.