A Hahn series over a field with exponents in an ordered abelian group is a formal sum whose nonzero exponents form a well-ordered set. Such series form the Hahn series field.
A Hahn series is a formal power series that arises in the context of ordered groups and valuation theory. Specifically, it is used to describe a way to represent elements of certain fields, particularly in relation to ordered abelian groups.
New to topics? Read the docs here!