A Hahn series is a generalization of a formal power series which allows transfinite sums, as long as the exponents are reverse well-ordered.
Let be an ordered abelian group, and a field.
The ring of Hahn series with value group? , denoted , is the ring of functions such that is well-ordered when considered as a subset of the opposite poset . Addition is defined pointwise, and multiplication is defined by the convolution product:
The multiplicative valuation is the least for which .
Notationally, we may write a Hahn series as .
As a corollary, if is divisible, is real closed if is real closed. This is because the adjunction of a square root of would make algebraically closed, since this gives the same result as constructing the Hahn series over the algebraically closed field .
If , then we have Hahn series such as
Via Conway normal forms, the ring of Hahn series with and with value group the surreal numbers is isomorphic to the surreal numbers themselves. In other words, the surreals are a fixed point of the “Hahn series with real coefficients” functor on the category of abelian groups. However, the surreals are not the initial fixed point of this functor, since there are surreals that appear as exponents in their own Conway normal form — for instance, the ε-numbers.
Well-based transseries? can be constructed by iterating the Hahn series construction.