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.

Suppose $k$ is a field, $A$ is a $k$-subalgebra of the polynomial ring $k[x]$. Must $A$ be a finitely generated $k$-algebra?


share|improve this question
add comment

2 Answers

up vote 7 down vote accepted

I remembered that I answered this question in my Master's thesis, but unfortunately I do not remember any details. So I just copy from my thesis:

In [1], Robbiano and Sweedler prove that every subalgebra of the polynomial ring in one variable has a finite SAGBI basis (SAGBI = Subalgebra Analog of Gröbner Bases for Ideals). Since a SAGBI basis, as defined in [1], always is a generating set of the subalgebra, it follows that every subalgebra of $k[x]$ is finitely generated.

[1] L. Robbiano and M. Sweedler, Subalgebra bases. In: Commutative algebra (Salvador 1988), pages 61-87, Springer, 1990.

The very obvious question is whether there is a proof that does not use these fancy SAGBI bases. I'll write again if I find an answer to that. The important thing to know about them is, however, that a SAGBI basis for a subalgebra is a generating set with certain properties well-suited for computations.

share|improve this answer
add comment

If $A=k$, nothing need to prove. We assume $f\in A$ monic non-constant, then $k[x]$ is integral over $k[f],$ thus $k[x]$ is a noetherian $k[f]$-module. It follows $A$ is also a noetherian $k[f]$-module, thus $A$ is a finitely generated $k$-algebra.

Remark. If one uses Artin-Tate lemma we directly get $A$ is a finitely generated $k$-algebra.

share|improve this answer
Great answer! But there's no need to use Artin-Tate's lemma. In fact, since $A$ is finite over $k[f]$ and $k[f]$ is finitely generated over $k$, you have that $A$ is finitely generated over $k$. –  Andrea Aug 24 '11 at 21:39
add comment

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.