线性代数,可逆矩阵