Power series
形式幂级数不仅能够定义乘法，也能定义乘法逆的运算。一个形式幂级数formula_7的逆是指另一个形式幂级数formula_25，使得formula_26. 如果这样的形式幂级数formula_25存在，就是唯一的，将其记为formula_28。同时我们也可以定义形式幂级数的除法：当formula_7的逆存在时，formula_30 比如说，可以很容易验证：