逆矩阵是线性代数中一个非常重要的概念，它具有以下几个基本性质：
1. 可逆矩阵一定是方阵：一个矩阵若要可逆，必须是方阵，即它的行数和列数相等。
2. 逆矩阵的唯一性：如果矩阵\( A \)是可逆的，那么它的逆矩阵\( A^{-1} \)是唯一的。这意味着在同一个数域内，不存在两个不同的逆矩阵与\( A \)相乘会得到单位矩阵\( I \)。
3. 逆矩阵的逆还是原矩阵：对于任何可逆矩阵\( A \)，它的逆矩阵\( A^{-1} \)的逆矩阵仍然是\( A \)，即\( (A^{-1})^{-1} = A \)。
4. 可逆矩阵转置后仍可逆：如果矩阵\( A \)可逆，那么它的转置矩阵\( A^T \)也是可逆的，并且\( (A^T)^{-1} = (A^{-1})^T \)。
5. 消去律：如果矩阵\( A \)可逆，那么对于任意的矩阵\( B \)和\( C \)，如果\( AB = C \)，那么\( B = C \cdot A^{-1} \)。同样，如果\( BA = C \)，那么\( A = C \cdot B^{-1} \)。
6. 两个可逆矩阵的乘积仍可逆：如果矩阵\( A \)和\( B \)都是可逆的，那么它们的乘积\( AB \)也是可逆的。
7. 可逆矩阵的行列式不为零：一个矩阵可逆的充要条件是它的行列式不为零。如果矩阵\( A \)的行列式\( \det(A) \neq 0 \)，则\( A \)是可逆的。
8. 可逆矩阵的秩等于它的阶：一个可逆矩阵的秩等于它的行数（或列数），这意味着它的所有行（或列）都是线性独立的。
这些性质在解决线性方程组、计算矩阵的逆以及进行矩阵分解等问题时有着非常重要的应用。它们是线性代数中不可或缺的工具，对于理解矩阵理论及其应用至关重要。

---