关于矩阵A（m×n，m>n）的下列命题，哪一个是真的？

本题考察矩阵的秩以及矩阵运算的性质。
选项A：矩阵A的行向量组是否线性无关，与矩阵的秩有关。当矩阵的秩等于行数m时，行向量组线性无关。但题目仅给出m > n，并没有给出秩的信息，所以不能确定行向量组是否线性无关，故A错误。
选项B：非齐次线性方程组AX=b的解的情况，与矩阵A的秩以及增广矩阵的秩有关。当矩阵A的秩与增广矩阵的秩相等且都大于或等于未知数的数量时，方程组有唯一解。但题目条件不足以判断这一点，故B错误。
选项C：矩阵ATA是否可逆，与矩阵A的秩有关。但没有给出足够的条件来判断ATA是否可逆，故C错误。
选项D：考虑矩阵ATA的秩。若ATA可逆，则其秩为n（因为m > n，所以其秩不可能大于n）。由于r(ATA) = r(A)，所以r(A) = n。反之，若r(A) = n，同样可以得到r(ATA) = n，因此ATA可逆。所以D正确。