Let and be commuting matrices. Prove that , where is a formal power series over a field with characteristic zero.

We will work in the ring of formal power series over with coefficients which are formal power series over . (Note that and commute.) Note that if is a formal power series and a polynomial, then is the formal power series obtained by ‘collecting like terms’. Remember the binomial theorem.

= | ||

= | ||

= | ||

= | ||

= | ||

= | ||

= | . |

In particular, if and commute, then .