Axiomatizing rational power series

Iteration semirings are Conway semirings satisfying Conway’s group identities. We show that the semirings $\N^{\rat}\llangle \Sigma^* \rrangle$ of rational power series with coefficients in the semiring $\N$ of natural numbers are the free partial iteration semirings. Moreover, we characterize the semirings $\N_\infty^{\rat}\llangle \Sigma^* \rrangle$ as the free semirings in the variety of iteration semirings defined by three additional simple identities, where $\N_\infty$ is the completion of $\N$ obtained by adding a point of infinity. We also show that this latter variety coincides with the variety generated by the complete, or continuous semirings. As a consequence of these results, we obtain that the semirings $\N_\infty^{\rat}\llangle \Sigma^* \rrangle$, equipped with the sum order, are free in the class of symmetric inductive $^*$-semirings. This characterization corresponds to Kozen’s axiomatization of regular languages.

💡 Research Summary

The paper investigates the algebraic foundations of rational power series over the semirings of natural numbers ℕ and its completion ℕ∞ (ℕ with an added infinity element). The authors focus on iteration semirings, a class of Conway semirings that satisfy Conway’s group identities, and they distinguish between partial iteration semirings (where the star operation is defined only on a distinguished ideal) and total iteration semirings (where star is everywhere defined).

The first major result shows that the semiring of rational power series with ℕ‑coefficients, denoted ℕ^rat⟨⟨Σ*⟩⟩, is the free object in the category of partial iteration semirings generated by the alphabet Σ. To obtain this, the authors adapt the Kleene‑Schützenberger theorem to partial Conway semirings and introduce three simple commutative identities: 1. 1* 1* = 1*, 2. 1* a = a 1*, 3. 1* (1* a)* = 1* a*. These identities, together with the Conway sum‑star and product‑star axioms, guarantee that any mapping from Σ into a partial iteration semiring extends uniquely to a homomorphism from ℕ^rat⟨⟨Σ*⟩⟩.

The second major contribution concerns the semiring ℕ∞^rat⟨⟨Σ*⟩⟩ of rational power series whose coefficients lie in ℕ∞. Because ℕ∞ possesses a total star operation (the empty‑word coefficient may be non‑zero), ℕ∞^rat⟨⟨Σ*⟩⟩ becomes a total iteration semiring. The authors prove that this structure is the free algebra in the variety V defined by the three commutative identities above together with all Conway group identities. Consequently, ℕ∞^rat⟨⟨Σ*⟩⟩ is the canonical free object generated by Σ in V.

A striking auxiliary result is that the variety V coincides with the variety generated by all complete (or continuous) semirings. Complete semirings allow arbitrary infinite sums, and continuous semirings preserve limits of directed sets; both notions are known to satisfy the same equational theory as iteration semirings. Hence ℕ∞^rat⟨⟨Σ*⟩⟩ serves as a concrete representative of the free complete/continuous iteration semiring.

Finally, by equipping ℕ∞^rat⟨⟨Σ*⟩⟩ with the natural sum order (a ≤ b iff a + b = b), the authors show that it is free in the class of symmetric inductive *‑semirings. In this ordered setting the following axioms hold:

• Fixed‑point axiom: a* + 1 = a*,
• Least pre‑fixed‑point rule: ∀a,b,x (ax + b ≤ x ⇒ a* b ≤ x). These axioms are exactly those used by Kozen to axiomatize regular languages. Thus the paper establishes a tight correspondence between algebraic properties of rational power series, iteration semirings, and the classical equational theory of regular languages.

Overall, the work provides a comprehensive algebraic characterization of rational power series over ℕ and ℕ∞, clarifies the role of partial versus total star, connects iteration semirings with complete/continuous semirings, and bridges these structures to Kozen’s axiomatization of regular languages. The results deepen our understanding of the interplay between formal power series, semiring theory, and automata‑theoretic language models.