Determinant of Inverse Matrix

From ProofWiki
Jump to navigation Jump to search


Let $K$ be a field whose zero is $0_K$ and whose unity is $1_K$.

Let $\mathbf A$ be an invertible matrix of order $n$ over $K$.

Then the determinant of its inverse is given by:

$\map \det {\mathbf A^{-1} } = \dfrac {1_K} {\map \det {\mathbf A} }$


By definition of inverse matrix:

$\mathbf A \mathbf A^{-1} = \mathbf I_n$

where $\mathbf I_n$ is the unit matrix.

By Determinant of Unit Matrix:

$\map \det {\mathbf I_n} = 1_K$

By Determinant of Matrix Product:

$\map \det {\mathbf A^{-1} } \map \det {\mathbf A} = \map \det {\mathbf A^{-1} \mathbf A}$

Hence the result.