1. Formal series over a commutative field

1.1 Definitions and general information

A formal series on a commutative field K can intuitively be seen as a kind of infinite polynomial, and operations on polynomials can be generalized within this framework. Of course, not all possible operations are necessarily generalizable: we can't always calculate the composite of two formal series; we must also be careful not to "specialize" without precaution, i.e. to give the traditional "indeterminate X" of polynomials any value taken from the field K.