素）formula_2。此外，零没有倒数。一元素在一体"K"内的方阵"M"为可逆的（在所有相同大小方阵的集合内，于矩阵乘法下）若且唯若其行列式不等于零。若"M"的行列式为零，它便不可能会有一单面逆元素，因此一单面逆元素必为两面逆元素。更多详情请参见逆矩阵。更一般地，一元素在一可交换环"R"内的方阵是可逆的若且唯若其行列式在"R"是可逆的。一函数"g"是一函数"f"的左（右）逆元素（在复合函数之下），若且唯若当formula_3（formula_4）为"f"定义域（陪域）上的恆等函数。在这一例子里