# If $R \subseteq k[X]$, then $R$ is a finitely generated $k$-algebra. [duplicate]

Let $k$ be a field, and let $R$ be a subring of $k[X]$ which contains $k$. Does $R$ have to be a finitely generated $k$-algebra? I tried to prove this, but I didn't get anywhere. Would someone kindly give me a hint?

## marked as duplicate by user26857 abstract-algebra StackExchange.ready(function() { if (StackExchange.options.isMobile) return; $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() { var$hover = $(this).addClass('hover-bound'),$msg = $hover.siblings('.dupe-hammer-message');$hover.hover( function() { $hover.showInfoMessage('', { messageElement:$msg.clone().show(), transient: false, position: { my: 'bottom left', at: 'top center', offsetTop: -7 }, dismissable: false, relativeToBody: true }); }, function() { StackExchange.helpers.removeMessages(); } ); }); }); Nov 26 '15 at 20:27

If $R=k$, there is nothing to prove. If not, pick $f\in R$ non-constant and let $S=k[f]$. If $\deg f=n>0$, $k[X]$ is generated as an $S$-module by $1,X,\ldots, X^{n-1}$ and thus $R$ is a finitely generated $S$-module, being a submodule of a finitely generated module. If $R$ is generated by $g_1,\ldots, g_p$ as an $S$-module, $R=k[f,g_1,\ldots,g_p]$.
Hint: Consider the set $D\subseteq\mathbb{N}$ of degrees $d$ such that $R$ contains a polynomial of degree exactly $d$. This is a submonoid of $\mathbb{N}$. Show that $D$ is finitely generated as a monoid (in fact, every submonoid of $\mathbb{N}$ is finitely generated). Now use this to show $R$ is finitely generated (you may find it helpful to think about the vector spaces $R_n$ of elements of $R$ of degree $\leq n$ and how they change as $n$ grows).