Existence of prime elements in rings of generalized power series (Q2758054)

Let \(G\) be an ordered additive abelian group. Set \(K((G^{\leq 0}))\) the ring of formal power series \(\sum_{g \in G} a_g X^g\), where \(a_g \in K\), the support of the series is well-ordered and it is included in \(\{g \in G \mid g \leq 0\}\), \(K\) being a characteristic zero field. The existence of irreducible elements in \(K((G^{\leq 0}))\) has been proved in a paper by \textit{A. Berarducci} [Trans. Am. Math. Soc. 352, No. 2, 553-577 (2000; Zbl 0957.13020)]. However, it is not known if this ring has prime elements (i.e., elements generating prime ideals) and also open is the question whether all its irreducible elements are prime. NEWLINENEWLINENEWLINEIn the paper under review, the author partially answers the first one of the above questions. He proves that if \(G\) is archimedean, all \(\omega\)-series whose support is cofinal to 0 are prime in \(K((G^{\leq 0}))\). Moreover, if \(G\) contains a maximal proper convex subgroup, then \(K((G^{\leq 0}))\) contains primes of type \(\omega +1\).