Arithmetic functions over rings with zero divisors (Q1608644)

Let \(A_R\) be the ring of functions defined on positive integers with values in a commutative unique factorization ring \(R\) with zero divisors. This ring is isomorphic with the ring \(S=R[[x_1,x_x,\dots]]\) of formal power series in \(\aleph_0\) variables over \(R\). The authors prove a sufficient condition for \(S\) (hence also for \(A_R\)) to be a unique factorization ring.