关于模m矩阵的逆矩阵

证明了模ｍ的ｎ阶整数矩阵的逆矩阵存在的充分必要条件，并给出一个求模ｍ逆矩阵的算法。