Algebraic properties of rings of generalized power series Original Research Article

The fields K((G)) of generalized power series with coefficients in a field K and exponents in an additive abelian ordered group G play an important role in the study of real closed fields. The subrings K((G⩽0)) consisting of series with non-positive exponents find applications in the study of models of weak axioms for arithmetic. Berarducci showed that the ideal J⊆K((G⩽0)) generated by the monomials with negative exponents is prime when View the MathML source is the additive group of the reals, and asked whether the same holds for any G. We prove that this is the case and that in the quotient ring K((G⩽0))/J, each element (not in K) admits at least one factorization into irreducibles.