Hello, I just wanted to make sure my proof is correct before turning it in. It's a very basic proof, but it's been a while since I have proved anything.

Q: Prove that if the product AB is a square matrix, then the product BA is defined.

A: Suppose the product $\displaystyle AB$ is not a square matrix. Then, by the definition of matrix multiplication, $\displaystyle A$ must be an $\displaystyle m\times$n matrix and $\displaystyle B$ an $\displaystyle n\times$p matrix where $\displaystyle m\neq{p}$(by out supposition). It follows that $\displaystyle BA$is not defined, because the column $\displaystyle p$ of matrix $\displaystyle B$ is not equal to row $\displaystyle m$ of matrix $\displaystyle A$. But, our original statement reads $\displaystyle BA $is defined. Therefore, by contradiction we have proven that if the product $\displaystyle AB$is a square matrix, then the product $\displaystyle BA$ is defined.

Thanks