矩阵可逆是指一个矩阵拥有对应逆矩阵的情况。可逆矩阵是线性代数中的一个矩阵，其定义为在线性代数中，给定一个 n 阶方阵A，若存在一n 阶方阵B，使得AB=BA=In，其中In 为n 阶单位矩阵，则称A 是可逆的，且B 是A 的逆阵，记作 A^。
线性代数线性代数是数学的一个分支，它的研究对象是向量，向量空间，线性变换和有限维的线性方程组。
向量空间是现代数学的一个重要课题；因而，线性代数被广泛地应用于抽象代数和泛函分析中；通过解析几何，线性代数得以被具体表示。线性代数的理论已被泛化为算子理论。矩阵可逆性质可迪矩阵—定是万阵。
A的逆矩阵的逆矩阵还是A。
记作 -1=A。可逆矩阵A的转置矩阵AT也可逆、并且 -1= T若矩阵A可逆、则矩阵A满足消去律。即AB=O、则B=O、AB=AC 、则B=C。
两个可逆矩阵的乘积依然可逆。矩阵可逆当且仅当它是满秩矩阵。
