1

Say $A$ and $B$ are square matrices with $K$-valued entries, $K$ a field. There is an 'abstract' argument showing this implies $BA=I$, namely that $AB=I$ implies $A$ is surjective, so it is injective by rank-nullity, so its right inverse must be its left inverse. My question is whether there is some other, more 'numerical' argument showing this, since obviously one can interpret $AB=I$ as some system of equations. The argument should use (I think) the fact that $K$ is a field, since rank-nullity does not work over general modules. So somewhere in the argument division should be involved. Thanks in advance.

M. Van
  • 4,128

1 Answers1

3

An algebraic argument in terms of equations ("numerical") is possible, using the determinant. Since $1=\det I=\det(AB)=\det(A)\det(B)$, we know that $\det(A)\neq 0$ so that the inverse $A^{-1}$ exists. Hence $AB=I$ gives $B=A^{-1}AB=A^{-1}$, so that $BA=A^{-1}A=I$.

Dietrich Burde
  • 130,978