Unique factorization in power series rings – mathoverflow.net
Timothy Chow
Let $R$ be a commutative ring (with unit) and let $A := R[[x_1,x_2,x_3,\ldots]]$ be the formal power series ring over $R$ with a countably infinite set of commuting indeterminates. Let $B$ be the ...