$AB = I$ implies $BA = I$

Suppose \(AB=I\). Then \(\det B\ne0\), so \(\exists C,BC=I\) (think elementary column operations). Now \(ABC=A\), so \(C=A\).