是的，行列式不等于0是矩阵可逆的充分必要条件。根据搜索结果中的信息，矩阵的行列式等于所有特征值的乘积。如果一个n阶方阵A的行列式不等于0，那么A是一个可逆矩阵，意味着存在一个n阶矩阵B，使得AB=BA=I，其中I是单位矩阵。反之，如果A是可逆的，则A的行列式不等于0。
具体来说，矩阵可逆的充要条件是它的行列式不为零。这可以通过以下步骤证明：
1. 如果A的行列式不等于0，那么A可以通过初等行变换化为单位矩阵E，即存在一系列初等矩阵P1, P2, ..., Pn，使得A = P1P2...PnE。因为行列式是逐行（或列）变换的函数，每进行一次初等行变换，行列式的值或者不变，或者变成它的相反数。由于A变为E，所以在变换过程中行列式的值不变，因此|A| = |E| ≠ 0。
2. 另一方面，如果A是可逆的，那么存在B使得AB = BA = I。两边取行列式，得到|A||B| = |I| = 1，因为|I| = 1。从而|A| ≠ 0。
综上所述，一个矩阵A的行列式不等于0当且仅当A是可逆的。这意味着，如果一个矩阵的行列式被计算出来不等于0，那么这个矩阵是可逆的。