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.

I know an example is $$K[x_1,\ldots,x_n,\dots]$$ with $K$ a field, but I don't know why. Can someone give another example or better an explanation?

Is it not Noetherian because it's not finitely generated? And why do you know it is a UFD?? My question now is how to prove this is a UFD.

share|improve this question
I think that you mean UFD. –  user40276 Jan 18 '13 at 20:26
i do't understand your answer –  johnsaa Jan 18 '13 at 20:31
possible duplicate of UFD implies noetherian? –  Federico Feb 7 at 13:26

3 Answers 3

The essential point is that the polynomial ring in infinitely many variables is the ascending union of subrings $K[x_1,\ldots,x_n]$, since any polynomial can involve only finitely-many indeterminates. Each of these rings is a UFD, and it is easy to see that a polynomial in which $x_N$ does not appear has only factorizations in which $x_N$ does not appear, again because everything takes place inside some polynomial ring in finitely-many variables. But the ring is not Noetherian, because the ideal generated by all the indeterminates is certainly not finitely-generated.

Edit: in response to @rschwieb's comment/query about why $x_N$ cannot appear in any factorization of a polynomial $P(x_1,\ldots,x_n)$ not already involving it... If it did, then not only does $P$ have have its factorization in the UFD $K[x_1,\ldots,x_n]$, but also (allegedly) in the UFD $K[x_1,\ldots,x_n,\ldots,x_N]$, with $x_N$ in the latter, not in the former. Impossible.

share|improve this answer
I sensed this was the solution, but I could not convince myself about the "factors of things without $x_N$ also do not have $x_N$" step in time. Do you have a handy trick to do that? I know I could find a moderately complicated way, but I wondered if there ws something exceedingly simple that I was overlooking. –  rschwieb Jan 18 '13 at 20:54
They key idea is that each successive polynomial ring extension $\,D\subset D[x]\,$ is factorization inert, i.e. the ring extension introduces no new factorizations, i.e. if $\, 0\ne d\ \in D\,$ factors in $\,D[x]\,$ as $\,d = ab\,$ for $\, a,b\in D[x]\,$ then $\,a,b\in D.\,$ From this one easily deduces that the requisite factorization properties extend to $\,R[x_1,x_2,\cdots\,].\,$ The same ideas work for arbitrary inert extensions. See here for more. –  Bill Dubuque Feb 2 at 17:11

A Noetherian ring will satisfy the Ascending Chain Condition, or equivalently, every proper ideal will be finitely generated. Your example is not Noetherian for both of these reasons, as we can see $$(x_1)\subseteq (x_1,x_2)\subseteq (x_1,x_2,x_3)\subseteq\cdots,$$ and the chain never stabilizes since each indeterminate is distinct from the others. Likewise, $$(x_1,x_2,\ldots)$$ can't be finitely generated since there is no way to generate $x_n$ from $(x_1,\ldots,x_{n-1},x_{n+1},\ldots)$.

Another example of a non-Noetherian ring, for example is $$\prod_{n=1}^\infty \Bbb Z/2\Bbb Z.$$ Can you see why based off of your example and my explanation?

share|improve this answer
Now I perfectly understand that is not noetherian, how do you now is UFD, I mean it means an only factorizacion, how do you know that, is the definition? –  johnsaa Jan 18 '13 at 21:01

A ring $R$ has a factorization if it's Noetherian. Of course the factorization must not be unique. For the unicity you have to assume that every irreducible is prime.

In your example, $K[x_1, ..]$ is a UFD since $K$ is UFD and each polynomial has a finite number of variables. Furthermore it's not Noetherian because $(x_1, x_2...)$ is not finitely generated, however $K[x_1, ..]$ is finitely generated since $(1) = K[x_1, ...]$

share|improve this answer
The notation does not suggest an infinite formal power series. It suggests the polynomial ring in infinitely many indeterminates. –  rschwieb Jan 18 '13 at 20:36
Sorry that was my first answer and I always used this notation for formal power series. –  user40276 Jan 18 '13 at 20:59
I think the most common notation for power series is $F[[x]]$ and $F[[x_1,x_2,\cdots]]$ –  rschwieb Jan 18 '13 at 23:38

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.