Formal power series

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Formal power series" – news · newspapers · books · scholar · JSTOR (December 2009) (Learn how and when to remove this message)

In mathematics, a formal series is an infinite sum that is considered independently from any notion of convergence, and can be manipulated with the usual algebraic operations on series (addition, subtraction, multiplication, division, partial sums, etc.).

A formal power series is a special kind of formal series, whose terms are of the form ${\displaystyle ax^{n}}$ where ${\displaystyle x^{n}}$ is the ${\displaystyle n}$th power of a variable ${\displaystyle x}$ (${\displaystyle n}$ is a non-negative integer), and ${\displaystyle a}$ is called the coefficient. Hence, power series can be viewed as a generalization of polynomials, where the number of terms is allowed to be infinite, with no requirements of convergence. Thus, the series may no longer represent a function of its variable, merely a formal sequence of coefficients, in contrast to a power series, which defines a function by taking numerical values for the variable within a radius of convergence. In a formal power series, the ${\displaystyle x^{n}}$ are used only as position-holders for the coefficients, so that the coefficient of ${\displaystyle x^{5}}$ is the sixth term in the sequence. In combinatorics, the method of generating functions uses formal power series to represent numerical sequences and multisets, for instance allowing concise expressions for recursively defined sequences regardless of whether the recursion can be explicitly solved. More generally, formal power series can include series with any finite (or countable) number of variables, and with coefficients in an arbitrary ring.

Rings of formal power series are complete local rings, and this allows using calculus-like methods in the purely algebraic framework of algebraic geometry and commutative algebra. They are analogous in many ways to p-adic integers, which can be defined as formal series of the powers of p.