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.

The problem is from Artin.

Prove that the ring $\mathbb{R}[[t]]$ of formal power series given by $p(t)=a_0 + a_1 t+ a_2 t^2 + \cdots$ is an UFD.

I have no idea how to do this. From the couple of things that I know about UFDs is that I could show that every irreducible element is prime, or I could show that every chain of ideals terminates. Any help will be appreciated.

share|improve this question

1 Answer 1

up vote 3 down vote accepted

Show that each ideal $\neq 0$ has the form $\mathfrak a = t^k\mathbb R[[t]] $.

share|improve this answer
Excellent answer. In acronyms : every PID is a UFD. –  Georges Elencwajg Apr 27 '13 at 8:06
@Hagen: Thanks! Cud you help me with a similar question, where I have to show that the ring of Laurent polynomials is a principal ideal domain? –  user23238 Apr 27 '13 at 9:11
@Georges: We don't need to use this fact. From the ideal structure one can immediately check UFD, with the only prime element $t$. –  Martin Brandenburg Apr 27 '13 at 9:11
@MartinBrandenburg: How can you say t is the only prime element? –  user23238 Apr 27 '13 at 9:21
@ramanujan_dirac Every power series $a_0+a_1t+\dots$ with $a_0\ne0$ is invertible in $\mathbb{R}[[t]]$; this should answer both your two new questions. –  egreg Apr 27 '13 at 9:23

Your Answer


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