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

Let $R$ be a subring of the field $K$ which is a finite extension of $\mathbb{Q}$. Is $R$ a finitely generated $\mathbb{Z}$-module? I want to say this is true, because we can think of $K$ as a finitely generated abelian group and hence is a finitely generated $\mathbb{Z}$-module, then since $R$ is a subring of $K$, $R$ is also a finitely generated $\mathbb{Z}$-module, but I'm not sure if this works.

share|cite|improve this question
$R=K=\mathbb{Q}$ is a counterexample. Perhaps you want to ask something different? – Martin Brandenburg Nov 1 '11 at 12:41
What if $R \subsetneq K$? – IOG Nov 1 '11 at 12:49
Why can you think of $K$ as a finitely generated abelian group? Fields of characteristic 0 are never finitely generated $\mathbb{Z}$-modules. $K$ is finite dimensional over $\mathbb{Q}$. – Bill Cook Nov 1 '11 at 13:08
Take $K=\mathbb{Q}$ and let $R$ be the ring of rational numbers with odd denominator, for an example where $R \neq K$ and $R$ is not finitely generated. There are plenty of other examples. – David Speyer Nov 1 '11 at 13:11
You might be interested in orders, see – Sebastian Nov 1 '11 at 15:04

If you have an inclusion of rings $\mathbb Z \subset K$ such that $K$ is a finitely generated algebra over $\mathbb Z$, then $K$ is guaranteed not to be a field.
So none of your $K$'s is finitely generated over $\mathbb Z$ as an algebra, much less as a module.

That said, if you take a subring $R\subset K$ of one of these fields $K$ of finite $\mathbb Q$-dimension, it may or may not be a finitely generated $\mathbb Z$-module .
For example, if you take $K= \mathbb Q[\sqrt [4]{7}]$ then the rings $\mathbb Z[\sqrt {7}],\mathbb Z[\sqrt [4]{7}]$ are finitely generated $\mathbb Z$- modules , but the fields $\mathbb Q[\sqrt {7}],\;\mathbb Q [\sqrt [4]{7}]$ or the ring $\mathbb Z_{(2)}[\sqrt [2]{7}]$ are not even finitely generated algebras .

Bourbaki, Algèbre Commutative, Ch.5, §3, Corollaire 3 contains the result stated in my first sentence. (I think an English translation exists)

share|cite|improve this answer
Update: In the English translation Commutative Algebra of Bourbaki, the result I quote is on page 354. – Georges Elencwajg Nov 1 '11 at 14:18

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.