Given a square matrix $A$ that has full row rank we know that the matrix is invertible. So there is a matrix $B$ such that
$$ AB=1 $$
writing this in component notation,
$$ A_{ij}B_{jk}=\delta_{ik} $$
Now, we tend to write $A^{-1}$ instead of $B$ but let's leave it like that for now.
My question is how can we show that $BA=1$? We mechanically jump to the conclusion that if the inverse exists, $AA^{-1}=A^{-1}A=1$ but how to show that? Equivalently why is the left inverse equal to the right inverse? It seems intuitively obvious!
Thanks a bunch, I appreciate.
Let the endomorphism
$$\Phi:\mathcal M_n(\Bbb R)\to\mathcal M_n(\Bbb R),\; X\mapsto XA$$ then $\Phi(X)=0\iff XA=0\iff XAB=X=0$ hence $\Phi$ is injective and by the rank-nullity theorem it's bijective hence surjective so there's $B'$ such that $\Phi(B')=I_n\iff B'A=I_n$ which means that $A$ has a left inverse. It's routine to prove that $B=B'$.