定义 的单位矩阵(identity matrix)为矩阵,其中
定义 若存在一个矩阵使得,则称矩阵为非奇异的(nonsingular)或可逆的(invertible). 矩阵称为的乘法逆元(multiplicative inverse).