• 矩阵可逆
• 矩阵满秩
• 矩阵行列式非零
• 对矩阵高斯消元，存在唯一解
• 矩阵的所有行不线性相关

请问以上五个命题描述的是同一个事情吗？特别是第二个，和其它的命题是一样的吗。。。