Theorem

Inheritance of UFD to power series rings

If $R$ is a regular UFD, then so is $R[[X]]$. (The statement is not true if regular is dropped.)

Reference(s)

  • P. Samuel. On unique factorization domains. (1961) @ Thm 2.1 p 3