Database of Ring Theory
Toggle navigation
Rings
Browse all rings
Search all rings
Browse commutative rings
Search commutative rings
Browse ring properties
Browse commutative ring properties
Search rings by keyword
Browse rings by dimension
Modules
Browse all modules
Search all modules
Browse module properties
Theorems
Citations
Contribute
Learn
FAQ
Login
Profile
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