Take the 2-minute tour ×

If you assume the matrix $A$ is invertible, then $A^{-1} \cdot A = I$. Is there an assumption for invertibility in Mathematica 9? How can one make the following evaluate to the identity matrix $I_3$?

$Assumptions = {Element[A, Matrices[{3, 3}]]}
share|improve this question
Look at the Tensor* functions. Specifically, pass your result to TensorReduce or TensorExpand. –  Mark McClure Feb 20 '13 at 14:54

1 Answer 1

up vote 5 down vote accepted

This gives what you want! Adding the axiom of matrix power $A^0=I$ to Simplify gives us

Assuming[Element[A, Matrices[{n, n}]] && Det[A] != 0,TensorExpand[Inverse[A].A]], 
ForAll[{A}, MatrixPower[A, 0] == IdentityMatrix[n]]]


Use n=3 to validate your case.

share|improve this answer

Your Answer


