Formal Power Series

A formal power series is a power series in which the variable is treated as a formal symbol rather than as a numerical quantity. The series is manipulated algebraically — added, multiplied, composed, differentiated, and inverted — without regard to convergence. The ring of formal power series over a field F, denoted Fx, is the completion of the polynomial ring F[x] with respect to the degree valuation, and it provides the natural algebraic setting for the theory of generating functions.

Formal power series were developed in the late nineteenth century by mathematicians including Weierstrass and Hurwitz, though their modern systematic use in combinatorics dates to the mid-twentieth century. The key insight is that convergence is a red herring for many combinatorial purposes: the algebraic relationships between coefficients — recurrence relations, convolution identities, composition laws — exist independently of whether the series converges for any value of the variable.

The algebraic structure of Fx is rich. It is a unique factorization domain. It admits a Euclidean algorithm for division. The multiplicative invertible elements are precisely those series with nonzero constant term. Composition of formal power series is well-defined when the inner series has zero constant term. These operations mirror the combinatorial operations on labeled and unlabeled structures: disjoint union corresponds to addition, Cartesian product to multiplication, and substitution to composition.

In practice, formal power series allow combinatorialists to manipulate generating functions as if they were ordinary algebraic expressions, extracting coefficients through algebraic manipulation rather than analytic calculation. This is why the generating function of the Fibonacci sequence can be derived by solving a simple algebraic equation, and why the generating function of the Catalan numbers can be obtained by solving a quadratic equation. The formal perspective treats these derivations as exact algebraic facts, not as limiting cases of analytic identities.