How do you show that if the adjoint of a matrix $A$, adj$A$, is invertible then $A$ is invertible?

I know how to prove the opposite, but I can't figure out how to prove it.

Eden Segal

• What do you know about the product of a matrix and its adjoint? Commented Feb 16, 2013 at 11:47
• Eden --- say something --- anything --- let us know you're still with us. You've had an answer up for a couple of days now, and a lengthy string of comments; what do you reckon? Commented Feb 19, 2013 at 2:23

If you mean adjoint: $\det A^* = \det {\overline{A^T}} = \overline{\det A^T} = \overline {\det A}$.

If you mean adjugate: $A \operatorname{adj}(A) = \operatorname{adj}(A) A= (\det A) I$.

• This does not agree with the way I use the word adjoint. Commented Feb 16, 2013 at 11:52
• This does agree with my use of both the words "adjoint" and "adjugate", but of course: the adjoint has such a simple expression only if we're using an orthonormal basis... Commented Feb 16, 2013 at 13:42
• @Don, the definition of adjoint with which I am familiar makes no reference to a basis. Commented Feb 17, 2013 at 6:05
• @Gerry If $V, W$ are linear spaces equipped with bilinear forms $γ_V \colon V × V → K$ and $γ_W \colon W × W → K$ to some base field, you can define a map $g \colon W → V$ to be adjoint to a linear map $f \colon V → W$ if for all $v ∈ V, w ∈ W$: $γ_W(f(v),w) = γ_V(v,g(w))$. Commented Feb 17, 2013 at 9:41
• @GerryMyerson, neither does the one I'm familiar with. I just remarked that the adjoint is the transpose of the conjugate when we're using an orthonormal basis. Commented Feb 17, 2013 at 11:23

[Too many characters for a comment]

There seems to be some dispute as to the definition of the adjoint of a matrix. Given a square matrix with entries $a_{ij}$, the minor of entry $a_{ij}$ is denoted $M_{ij}$ and is defined to be the determinant of the submatrix remaining after the $i$th row and $j$th column are deleted from $A$; the cofactor of entry $a_{ij}$ is defined by $C_{ij}=(-1)^{i+j}M_{ij}$; the adjoint of $A$ is the matrix whose $ij$-entry is $C_{ji}$.

These definitions are taken from Anton, Elementary Linear Algebra, 8th edition. The same definition is given in Noble and Daniel, Applied Linear Algebra, 3rd edition, and in Wedderburn, Lectures on Matrices.

eden --- is this the definition you are using for the adjoint?

• What you've described there, @Gerry, is what I used to call "classical adjoint" and it is nowadays also known as "adjugate", most probably to distinguish between these two very different things with identical names. Google it. Commented Feb 18, 2013 at 2:28
• @Don, I see what you mean. But Maple still uses Adjoint(A) in its LinearAlgebra package to calculate the matrix I define above. In any event, only eden knows which adjoint the question is about --- and eden is maintaining radio silence. Commented Feb 18, 2013 at 3:06