Maths WorkshopMaths problems with full solutions
Exercise 2004Topology › Topology of Mn(ℝ) › Applications and the case n = 2M1Added 6 Nov 2026

adj(adj A) = (det A)^(n-2) A

#adjugate#density#polynomial identity

Statement

For n≥2n\ge2 and A∈Mn(R)A\in M_n(\mathbb{R}), prove that adj⁡(adj⁡A)=(det⁡A)n−2A\operatorname{adj}(\operatorname{adj}A)=(\det A)^{n-2}A.

Hint

For invertible AA use adj⁡A=det⁡A⋅A−1\operatorname{adj}A=\det A\cdot A^{-1} and the homogeneity of adj⁡\operatorname{adj}. Then extend by density.

Show solutionHide solution

Solution

Idea. Both sides are polynomial in the entries of AA (this is where n≥2n\ge2 matters: the exponent n−2n-2 is non-negative). So it suffices to check the identity on the dense set GLn(R)GL_n(\mathbb{R}).

Step 1: facts about adj. Recall Aadj⁡A=adj⁡A A=(det⁡A)IA\operatorname{adj}A=\operatorname{adj}A\,A=(\det A)I. So for invertible AA, adj⁡A=(det⁡A)A−1\operatorname{adj}A=(\det A)A^{-1}. Also, since each entry of adj⁡X\operatorname{adj}X is a minor of size n−1n-1,
adj⁡(cX)=c n−1adj⁡X(c∈R).\operatorname{adj}(cX)=c^{\,n-1}\operatorname{adj}X\qquad(c\in\mathbb{R}).

Step 2: invertible AA. Then adj⁡A=(det⁡A)A−1\operatorname{adj}A=(\det A)A^{-1} is invertible with
det⁡(adj⁡A)=(det⁡A)ndet⁡(A−1)=(det⁡A)n−1≠0.\det(\operatorname{adj}A)=(\det A)^n\det(A^{-1})=(\det A)^{n-1}\ne0.
Apply the formula adj⁡X=(det⁡X)X−1\operatorname{adj}X=(\det X)X^{-1} to X=adj⁡AX=\operatorname{adj}A:
adj⁡(adj⁡A)=(det⁡A)n−1((det⁡A)A−1)−1=(det⁡A)n−1⋅Adet⁡A=(det⁡A)n−2A.\operatorname{adj}(\operatorname{adj}A)=(\det A)^{n-1}\bigl((\det A)A^{-1}\bigr)^{-1}=(\det A)^{n-1}\cdot\frac{A}{\det A}=(\det A)^{n-2}A.
(Alternatively use homogeneity: adj⁡((det⁡A)A−1)=(det⁡A)n−1adj⁡(A−1)\operatorname{adj}\bigl((\det A)A^{-1}\bigr)=(\det A)^{n-1}\operatorname{adj}(A^{-1}) and adj⁡(A−1)=det⁡(A−1)A\operatorname{adj}(A^{-1})=\det(A^{-1})A.)

Step 3: density. The map A↦adj⁡(adj⁡A)−(det⁡A)n−2AA\mapsto\operatorname{adj}(\operatorname{adj}A)-(\det A)^{n-2}A is polynomial in the entries (entries of adj⁡\operatorname{adj} are polynomials; the power n−2≥0n-2\ge0 is fine), hence continuous, and vanishes on GLn(R)GL_n(\mathbb{R}). As GLn(R)GL_n(\mathbb{R}) is dense in Mn(R)M_n(\mathbb{R}), it vanishes everywhere.

Check. For n=2n=2, adj⁡(abcd)=(d−b−ca)\operatorname{adj}\begin{pmatrix}a&b\\c&d\end{pmatrix}=\begin{pmatrix}d&-b\\-c&a\end{pmatrix} and applying adj again returns the original matrix: this is (det⁡A)0A(\det A)^0A.

Remark. For a singular matrix of rank ≤n−2\le n-2 both sides vanish when n≥3n\ge3: adj⁡A=0\operatorname{adj}A=0, so adj⁡adj⁡A=0\operatorname{adj}\operatorname{adj}A=0 and det⁡A=0\det A=0, so (det⁡A)n−2A=0(\det A)^{n-2}A=0 (for n≥3n\ge3).

Lesson. Polynomial identities with a non-negative exponent extend from GLnGL_n to all of MnM_n for free.