Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm looking for proofs of the following fact.

Suppose that $R$ is a domain which is not a field with fraction field $K$. Then $K$ is not finitely generated as an $R$-module.

I know this fact is true, at least, when $R$ is Noetherian and I guess it is true in general. I know two proofs, one when $R$ is Noetherian and one (very indirect) when $R$ is Noetherian local. Do you know any direct proof for any arbitrary domain $R$? Thanks!

share|improve this question
    
thanks for the comment. in some sense, the claim in that article is a special case because one restricts to PIDs only. –  mr.bigproblem Feb 23 '13 at 15:59
add comment

2 Answers

up vote 11 down vote accepted

The fraction field $K$ has the structure of an $R$-module, and for any maximal ideal $\mathfrak{m}$ of $R$, it also naturally has the structure of an $R_\mathfrak{m}$-module. If $K$ is finitely generated as an $R$-module, then $K$ must also be finitely generated as an $R_\mathfrak{m}$-module because $R_\mathfrak{m}\supseteq R$. Thus we are reduced to the case when $R$ is local.

Let $R$ be a local domain with maximal ideal $\frak{m} \neq 0$. Clearly, $\mathfrak{m}K=K$. But the Jacobson radical of $R$ is just $\mathfrak{m}$, so if $K$ is finitely generated as an $R$-module, then Nakayama's lemma implies that $K=0$, which is a contradiction.

share|improve this answer
    
Thanks Zev. Didn't expect the proof would be that simple. I feel the presence of Nakayama's lemma but I can't never get it right. –  mr.bigproblem Feb 23 '13 at 6:19
    
@ZevChonoles Are we assuming here that are rings are unital so that our max ideals are prime? –  hmmmm Dec 8 '13 at 12:30
add comment

Zev's proof uses the existence of maximal ideals, and is therefore not constructive. But it is not hard to make the proof constructive, and actually more generally:

Let $R$ be a ring and $R'$ a localization of $R$. If $R'$ is finitely generated and torsionfree over $R$, then $R=R'$.

Proof. Let $s \in R$ such that $s^{-1} \in R'$. Then $R' = sR'$. Generalized Nakayama's Lemma implies that there is some $a \in R$ such that $(1-as)R'=0$. Since $R'$ is torsionfree, this means $1=as$. So $R'$ has no more units than $R$, i.e. $R=R'$.

share|improve this answer
add comment

Your Answer

 
discard

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.