Theorem
Let : Any elementary matrix
Then
- is invertible
- is an also an elementary matrix
Proof
If is an elementary matrix, then results by performing some elementary row operation operation on .
Let be the matrix that results when the inverse of this operation is performed on .
Applying theorem Row Operations by Matrix Multiplications, and using the fact that inverse row operations cancel the effect of each other, it follows that
Thus, by definition of inverse matrix, is the inverse of