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

The determinant of an exponential: det e^A = e^(tr A)

#matrix exponential#determinant#trace#triangularisation

Statement

Prove that for every A∈Mn(R)A\in M_n(\mathbb{R}), det⁡eA=etr⁡A\det e^A=e^{\operatorname{tr}A}. Deduce that eA∈GLn+(R)e^A\in GL_n^+(\mathbb{R}) for every real matrix AA.

Hint

Over C\mathbb{C}, every matrix is similar to an upper triangular matrix. Check how exp⁡\exp behaves under conjugation and on triangular matrices.

Show solutionHide solution

Solution

Idea. Reduce to triangular matrices, where both sides can be computed on the diagonal.

Step 1: conjugation. For invertible PP and any XX, (PXP−1)k=PXkP−1(PXP^{-1})^k=PX^kP^{-1}, so
ePXP−1=PeXP−1.e^{PXP^{-1}}=Pe^XP^{-1}.
(Termwise, and X↦PXP−1X\mapsto PXP^{-1} is linear and continuous.)

Step 2: triangularisation. Over C\mathbb{C} (Schur or Jordan form) there are an invertible P∈GLn(C)P\in GL_n(\mathbb{C}) and an upper triangular TT with A=PTP−1A=PTP^{-1}. The same series definition works in Mn(C)M_n(\mathbb{C}), and the identity of step 1 still holds. Hence eA=PeTP−1e^A=Pe^TP^{-1}.

Step 3: triangular matrices. Let TT be upper triangular with diagonal entries t11,…,tnnt_{11},\dots,t_{nn}. Powers of TT are upper triangular and the diagonal of TkT^k is (t11k,…,tnnk)(t_{11}^k,\dots,t_{nn}^k). So eTe^T is upper triangular with diagonal entries ∑ktiik/k!=etii\sum_kt_{ii}^k/k!=e^{t_{ii}}.

Step 4: conclusion. The determinant of a triangular matrix is the product of its diagonal entries, so
det⁡eA=det⁡(PeTP−1)=det⁡eT=∏ietii=e∑tii=etr⁡T=etr⁡A,\det e^A=\det(Pe^TP^{-1})=\det e^T=\prod_ie^{t_{ii}}=e^{\sum t_{ii}}=e^{\operatorname{tr}T}=e^{\operatorname{tr}A},
because the trace is invariant under conjugation.

Consequence. For real AA, eAe^A is real and det⁡eA=etr⁡A>0\det e^A=e^{\operatorname{tr}A}>0. Hence exp⁡(Mn(R))⊂GLn+(R)\exp(M_n(\mathbb{R}))\subset GL_n^+(\mathbb{R}) and in particular exp⁡(sln)⊂SLn\exp(\mathfrak{sl}_n)\subset SL_n.

Check. For A=θJA=\theta J we have tr⁡A=0\operatorname{tr}A=0 and det⁡Rθ=1\det R_\theta=1. For A=diag⁡(a,b)A=\operatorname{diag}(a,b), det⁡eA=ea+b\det e^A=e^{a+b}.

Remark. An alternative proof: f(t)=det⁡etAf(t)=\det e^{tA} satisfies f′(t)=tr⁡(A)f(t)f'(t)=\operatorname{tr}(A)f(t) (Jacobi's formula), so f(t)=ettr⁡Af(t)=e^{t\operatorname{tr}A}.