On the algebraic and arithmetical structure of generalized polynomial algebras (Q1315172)

Let \(R\) be a commutative ring, and \((X_ i:i \in I)\) an arbitrary family of indeterminates over \(R\). A large \(d\)-form over \(R\) in \((X_ i)\) is an element of the direct product \(\prod R \mu\) where \(\mu\) is extended over the canonical basis of the \(d\)-th symmetric power of the free \(R\)-module with basis \((X_ i)\). A large polynomial over \(R\) in \((X_ i)\) is an element of the direct sum \(\bigoplus L_ d\) where \(L_ d\) denotes the \(R\)-module of all large \(d\)-forms. The large polynomials form an \(R\)- algebra \(P\) in a natural way; it contains the ordinary polynomial ring and is contained in the large power series ring. The main results of the paper are that \(P\) is a Krull domain or factorial if \(R\) is a Krull domain or factorial, respectively. (I would expect that the divisor class groups of \(R\) and \(P\) are isomorphic.) The author also discusses a variant in which the number of monomials in a large \(d\)-form is strictly limited by an infinite cardinal \(\aleph\). Furthermore the author relates large polynomials and polynomial functions on modules and abelian groups.