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.

It's well known that if $K$ is a finitely generated extension of some field $E$, then any intermediate field $F$, $E\subseteq F\subseteq K$, is also finitely generated over $E$.

I'm curious, does the same hold for rings?

Say $S$ is a ring, and $R\supset S$ is a finitely generated extension of $S$. If $T$ is any intermediate ring, is it necessarily true that $T$ is finitely generated over $S$ as a ring?

Is it as simple as saying that for any $t\in T$, $T$ can be generated by the generators of $R$ over $S$? I feel unsure about this statement, since it's not clear to me that the generators of $R$ over $S$ need be in $T$.

If not, what is an example what shows otherwise? Thanks.

share|improve this question
2  
@ehsanmo What if the $u_i$ that generate $t$ are not in $T$? –  Vika Feb 3 '12 at 4:36

1 Answer 1

up vote 10 down vote accepted

Let $k$ be a field. Then $k[x, y]$ is a finitely generated extension of $k$, yet the subring $R\subseteq k[x,y]$ generated by $\{xy^i:i\geq0\}$ is not finitely generated.

Life would be very much simpler in some respects if the answer were yes :)

share|improve this answer
    
Thank you for the example Mariano, I suspected we wouldn't be so lucky. :) –  Vika Feb 3 '12 at 4:54
4  
Note, since it came up in another question, that $k[x, y]$ is even Noetherian. –  Dylan Moreland Feb 5 '12 at 22:45

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.