本题考查矩阵方程有解的必要条件。正确答案是D，因为矩阵方程AX=B有解的必要条件是矩阵A的秩等于矩阵A与矩阵B组成的增广矩阵的秩。选项A不是必要条件，因为即使A不可逆，AX=B也可能有解。选项B错误，因为A和B的行列数关系不决定方程是否有解。选项C错误，因为即使A和B的秩相等，AX=B也可能无解。