Key facts

• $AA^T$ is always square (size $m\times m$) if $A$ is $m\times n$.
• $A^TA$ is always square (size $n\times n$).
• If $A$ is not square, then one of these determinants may be $0$ because the product matrix can be singular.