Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this community
If $R$ is a graded ring then $R$ is Noetherian if and only if $R_0$ is Noetherian and $R$ is finitely generated as an $R_0$-algebra.
If $R$ is Noetherian then $R_0 = R/R_+$ is Noetherian and $R_+ $ is finitely generated, but for the converse I don't know what to do.
Maybe I need to use the following: A subset of homogeneous elements generates $R$ as an algebra if and only if they generate $R_+$ as an ideal of $R$, but I don't know how.
If $R$ is finitely generated as an $R_0$-algebra, then there exists an $n\geq 0$ and a surjection $$ R_0[x_1,\dots, x_n]\to R. $$ $R_0[x_1,\dots, x_n]$ is a polynomial algebra over a noetherian ring, and hence noetherian, which implies that $R$ is noetherian, as it is a quotient of a noetherian ring.
