$A$ and $B$ are nonsquare and $AB$ is square. How do you go about checking the requirements of whether $(AB)^{-1}$ exists when the only thing you know is that $B$ has linearly independent columns and $A$ linearly independent rows? Are there any other things relevant in this case for invertibility?
From numerical analysis I have a feeling that $AB$ is non-singular in such case, but can not prove it.
Note: the only relevant proving techniques I found relate to $A^TA$ and $AA^T$, but I can not use these techniques since $A \ne B$.