Formal power series with cyclically ordered exponents
- Cite this article as:
- Giraudet, M., Kuhlmann, F.V. & Leloup, G. Arch. Math. (2005) 84: 118. doi:10.1007/s00013-004-1145-5
- 43 Downloads
We define and study a notion of ring of formal power series with exponents in a cyclically ordered group. Such a ring is a quotient of various subrings of classical formal power series rings. It carries a two variable valuation function. In the particular case where the cyclically ordered group is actually totally ordered, our notion of formal power series is equivalent to the classical one in a language enriched with a predicate interpreted by the set of all monomials.