Inverse of a formal power series
ID: inverse-of-a-formal-power-series
Here an inverse of a formal power series means its multiplicative inverse: . The formal power series reciprocal exists exactly when the constant coefficient of is a unit in the coefficient ring. Thus is invertible in , while is not, though it is invertible in .
A compositional inverse solves , which is a different problem. For instance, the multiplicative inverse of is , whereas the compositional inverse of starts . Stating which operation is inverted prevents a common ambiguity.
New to topics? Read the docs here!