Ascending chain conditions on homogeneous ideals Here is one exercise from some notes on graded rings. I tried but I got no idea to solve it.
Please help me. Thanks.

Let $R$ be a graded ring. Prove that $R$ is Noetherian (Artinian) if and only if $R$ satisfies the ascending (descending) condition on homogeneous ideals.

 A: Proof that $R$ is Noetherian: Suppose $R$ satisfying ACC on homogeneous ideals. Then $R_0$ is Noetherian. Since $R_+$ is generated by homogeneous elements, by acc, we may find finitely many homogeneous elements, $x_1,\ldots,x_n$, such that $R_+=(x_1,\ldots,x_n)$. We claim that $R=R_0[x_1,\ldots,x_n]$. For any homogeneous $f\in R_+$, $f=x_1g_1+\cdots+x_ng_n$, where $g_i$ are homogeneous and with degree less than $f$. By induction $g_i\in R_0[x_1,\ldots,x_n]$, so $f\in R_0[x_1,\ldots,x_n]$. Thus $R=R_0[x_1,\ldots,x_n]$. Finally, by Hilbert's basis theorem, $R$ is Noetherian.
Proof that $R$ is Artinian: First of all, $R_0$ is Artinian. By dcc condition the ideal $R_+$ has indeed only finitely many terms, i.e., $R_+=R_1\oplus R_2\cdots \oplus R_n$. So $R_+$ is a nipotent ideal, $(R_+)^{n+1}=0$. The subring $R_0$ is Artinian, so it has finitely many maximal ideals, say $\mathfrak{m}_1,\ldots,\mathfrak{m}_k$. Then there exists an $l$ such that $\mathfrak{m}_1^l\cdots\mathfrak{m}_k^l=0$. It is clear that maximal ideals of $R$ are exactly $(\mathfrak{m}_i,R_+),i=1,\ldots,k$ and the ideals $\mathfrak{m}_i^lR$ pairwise are comaximal! So by Chinese Remainder Theorem, we only need to show $R/\mathfrak{m}_i^lR$ is Artinian for each $i$. Our dcc condition on homogeneous ideals still holds. Hence we may assume $R_0$ is a Artinian local ring with unique maximal $\mathfrak{m}_0$ and $R$ satisfies the dcc condition on homogeneous ideals. Let us consider the ring $R/\mathfrak{m}_0R$. It must be finite over $R_0/\mathfrak{m}_0$, otherwise, the image of $R_+$ is generated by the image of homogeneous of $R_+$ which is of infinite dimension over $R_0/\mathfrak{m}_0$ and hence we can find an infinite strictly descending chain of homogeneous ideals of $R$. This is a contradiction. Thus $R/\mathfrak{m}_0R$ is finite over $R_0/\mathfrak{m}_0$. Let us pick $f_1,\ldots,f_k$ be homogeneous elements of $R$ such that the image of $R_0+\sum R_0f_i$ is $R/\mathfrak{m}_0R$. Then we claim that $R=R_0+\sum R_0f_i$. Denote $S=R_0+\sum R_0f_i$. Then $R=S+\mathfrak{m}_0R$, thus $R/S=\mathfrak{m}_0R/S$. Now notice that $\mathfrak{m}_0$ is nilpotent! It follows immediately that $R/S=0$. Eventually, we have proved that $R$ is finite over $R_0$ and thus $R$ is Artinian.
