1.行列式不等于0
2.方程组AX = 0 只有0解
3.秩 = 阶数
4.特征值全不为0
5.行向量组线性无关
6.列向量组线性无关
7.存在另一个B,使 AB = BA = E (定义)