Factorization properties on the composite Hurwitz rings (Q6569329)

Let \(R\) be an integral domain. We say that \(R\) is atomic if every nonzero nonunit element of \(R\) is a product of a finite number of irreducible elements of \(R\). We say that \(R\) is a bounded factorization domain (BFD) if \(R\) is atomic and if for each nonzero nonunit element of \(R\) there is a bound on the lenght of factorization into products of irreducible elements, and a finite factorization domain (FFD) if \(R\) is atomic and each nonzero element of \(R\) has at most a finite number of nonassociate irreducible divisors. \N\NSuppose now that \(R\) is just a commutative ring with identity. Let \(H(R)\) be the set of formal expressions of the form \(\sum_{n=0}^{\infty} a_nX^n\), where \(a_n\in R\). Define addition and \(*\)-product on \(H(R)\) as follows: For \( f=\sum_{n=0}^{\infty} a_nX^n\), \( g=\sum_{n=0}^{\infty} b_nX^n\in H(R)\), \( f+g=\sum_{n=0}^{\infty} (a_n+b_n)X^n\), \( f*g=\sum_{n=0}^{\infty}c_nX^n\in H(R)\), where \( c_n=\sum_{k=0}^n\binom{n}{k}a_kb_{n-k}\) and \(\binom{n}{k}=\frac{n!}{(n-k)!k!}\) for nonnegative integers \(n\geq k\). Under these two operations, \(H(R)\) becomes a commutative ring with identity containing \(R\), called the ring of Hurwitz series over \(R\). The ring of Hurwitz polynomials \(h(R)\) over \(R\) is the subring of \(H(R)\) consisting of formal expressions of the form \(\sum_{k=0}^{n} a_kX^k\). \N\NNow, let \(A\subseteq B\) be an extension of commutative rings with identity. Consider the sets \(H(A,B)=\{f\in H(B)\), the constant term belongs to \(A\}\) and \(h(A,B)=\{f\in h(B)\), the constant term belongs to \(A\}\). Then \(H(A,B)\) and \(h(A,B)\) are subrings of \(H(B)\) and \(h(B)\) respectively. They are called ring of composite Hurwitz series and ring of composite Hurwitz polynomials respectively. In the paper under review, the author studies the investigation of various factorization properties in the composite Hurwitz rings, such that when they are (completely) integrally closed, UFD, GCD, Krull domains, BFD or FFD.