Maths WorkshopMaths problems with full solutions
Exercise 291Topology › Topology of Mn(ℝ) › Exponential, logarithm and group topologyL2Added 6 Nov 2026

The exponential of a sum: commuting and non-commuting matrices

#matrix exponential#commutation#counterexample

Statement

  1. Show that if AB=BAAB=BA then eA+B=eAeBe^{A+B}=e^Ae^B.
  2. Show that this fails in general, using A=E12A=E_{12} and B=E21B=E_{21} (the matrix units of M2(R)M_2(\mathbb{R})).
Hint

For part 1, the binomial theorem holds for commuting matrices; then use the Cauchy product of two absolutely convergent series. For part 2, compute eE12e^{E_{12}} and eE21e^{E_{21}} by hand: both squares are 00.

Show solutionHide solution

Solution

1. Commuting case. Since AB=BAAB=BA, the binomial theorem gives
(A+B)mm!=∑i+j=mAii!⋅Bjj!.\frac{(A+B)^m}{m!}=\sum_{i+j=m}\frac{A^i}{i!}\cdot\frac{B^j}{j!}.
Summing over mm gives the Cauchy product of the series for eAe^A and eBe^B. Both converge absolutely (problem on convergence of exp⁡\exp), so the Cauchy product converges to the product of the sums:
eA+B=∑m∑i+j=mAii!Bjj!=eAeB.e^{A+B}=\sum_m\sum_{i+j=m}\frac{A^i}{i!}\frac{B^j}{j!}=e^Ae^B.

2. A counterexample. Let A=E12=(0100)A=E_{12}=\begin{pmatrix}0&1\\0&0\end{pmatrix} and B=E21=(0010)B=E_{21}=\begin{pmatrix}0&0\\1&0\end{pmatrix}. Then A2=B2=0A^2=B^2=0, so
eA=I+A=(1101),eB=I+B=(1011).e^A=I+A=\begin{pmatrix}1&1\\0&1\end{pmatrix},\qquad e^B=I+B=\begin{pmatrix}1&0\\1&1\end{pmatrix}.
Multiplying,
eAeB=(2111),eBeA=(1112).e^Ae^B=\begin{pmatrix}2&1\\1&1\end{pmatrix},\qquad e^Be^A=\begin{pmatrix}1&1\\1&2\end{pmatrix}.
These are different. Now A+BA+B is the symmetric matrix (0110)\begin{pmatrix}0&1\\1&0\end{pmatrix}, and (A+B)2=I(A+B)^2=I, so
eA+B=cosh⁡1 I+sinh⁡1 (A+B)=(cosh⁡1sinh⁡1sinh⁡1cosh⁡1)≈(1.5431.1751.1751.543),e^{A+B}=\cosh1\,I+\sinh1\,(A+B)=\begin{pmatrix}\cosh1&\sinh1\\\sinh1&\cosh1\end{pmatrix}\approx\begin{pmatrix}1.543&1.175\\1.175&1.543\end{pmatrix},
which equals neither eAeBe^Ae^B nor eBeAe^Be^A.

Remark. Since eAeB≠eBeAe^Ae^B\ne e^Be^A, the identity eA+B=eAeBe^{A+B}=e^Ae^B cannot hold when AA and BB do not commute: the left side is symmetric in A,BA,B but the right sides are not. The correct replacement is the Lie product formula (see below).