Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $R$ be a Noetherian ring. How can one prove that the ring of the formal power series $R[[x]]$ is again a Noetherian ring?

It is well-known that the ring of polynomials $R[x]$ is Noetherian. I try imitating the standard proof of the fact by replacing "leading coefficients" by "lowest coefficients", but it does not work.

share|improve this question
Also, see Matsumura, Commutative Ring Theory, p 16. You can see his argument at the preview: books.google.com/books/about/… –  John Myers Jan 26 '13 at 4:48

2 Answers 2

Hilbert's basis theorem can be adapted for formal power series. I found a .pdf on the internet that describes the process well, if you look at section 8.2.3: here.

Basically, you simply replace the degree of the polynomial with the lowest degree in the power series.

share|improve this answer

Step 1: Let $f\in R[[x]]$ such that the leading coefficient of $f$ is a unit. Then $f$ is a unit. It's an easy exercise to construct $f^{-1}$ term-by-term.

Step 2: Show that if $I$ is an ideal, the set of lowest nonzero terms of elements of $I$ is an ideal of $R$.

Step 3: Consider an ascending chain of ideal. $I_1\subset I_2\subset\ldots$, and let $J_1\subset J_2\subset\ldots$ be the corresponding chain of ideals in $R$, where $J_i$ is the ideal of lowest nonzero terms of elements of $I_i$.

Step 4: $J_1\subset J_2\subset\ldots$ can only be strict inclusion at finitely many places. The only other way to have strict inclusion in $I_1\subset I_2\subset\ldots$ is via the lowest degree in $x$ of nonzero terms, which can only decrease finitely many times.

share|improve this answer
I think here you meant $A$ to be your base ring $R$ –  massy255 Mar 5 at 18:24
@massy255 Thanks. Just fixed it! –  Brett Frankel Apr 14 at 1:44
@BrettFrankel How does it follow that $I_i \subset I_{i+1}?$ –  The Substitute May 21 at 2:12
@TheSubstitute The ascending chain $I_i$ is given. –  Brett Frankel May 21 at 3:02

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.