![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)
abstract algebra - Clarifications on proof of Hilbert's Theorem for finitely generated graded modules over $k[x_1,...,x_r]$ - Mathematics Stack Exchange
Noetherian rings and the Hilbert basis theorem From now on we will assume that all rings, unless otherwise stated, are commutati
![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)