下面是充分必要条件:
1.行列式不等于零
2.等价标准形是单位矩阵
3.可以表示成初等矩阵的乘积
4.AX=0只有零解
5.行(列)向量组线性无关
6.行(列)向量组构成R^n的基
7.特征值都不为0