![abstract algebra - Explanation of a proof from Stacks Project: Noetherian ring of formal powers series - Mathematics Stack Exchange abstract algebra - Explanation of a proof from Stacks Project: Noetherian ring of formal powers series - Mathematics Stack Exchange](https://i.stack.imgur.com/9DC25.png)
abstract algebra - Explanation of a proof from Stacks Project: Noetherian ring of formal powers series - Mathematics Stack Exchange
![SOLVED: Prove the converse to Hilbert's Basis Theorem: if the polynomial ring R[x] is Noetherian, then R is Noetherian. SOLVED: Prove the converse to Hilbert's Basis Theorem: if the polynomial ring R[x] is Noetherian, then R is Noetherian.](https://cdn.numerade.com/ask_previews/91bac205-6021-428e-9442-f5f7937ce172_large.jpg)
SOLVED: Prove the converse to Hilbert's Basis Theorem: if the polynomial ring R[x] is Noetherian, then R is Noetherian.
![abstract algebra - Clarifications on proof of Hilbert's Theorem for finitely generated graded modules over $k[x_1,...,x_r]$ - Mathematics Stack Exchange abstract algebra - Clarifications on proof of Hilbert's Theorem for finitely generated graded modules over $k[x_1,...,x_r]$ - Mathematics Stack Exchange](https://i.stack.imgur.com/jfVPQ.png)