推论 5.2 (推论 5.1 的右逆版本)

推论 5.2

若矩阵 $\mathbf{A}$ 为 $n$ 阶可逆矩阵, 那么存在 $n$ 阶初等矩阵 ${\mathbf{Q}}_1,{\mathbf{Q}}_2,\cdots$, $Q_m$, 使得

$$A{Q}_1{Q}_2\cdots Q_m=E$$

从而有 $A^{-1}=Q_1{Q}_2\cdots Q_m$.