![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/0b283a2d-fac3-4812-a510-6d3209c677ee.gif)
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)