可逆元。在数学里，于一(有单位的)环 formula_1内的可逆元是指一 formula_1的可逆元素，即一元素 formula_3使得存在一于 formula_1内的 formula_5有下列性质：formula_6，其中 formula_7是乘法单位元。亦即， formula_3是 formula_1内乘法zh-hant: 么半群; zh-hans: 幺半群的一"可逆"元素。
可逆元群.formula_1的可逆元组成了一于乘法下的群formula_11 ，称做 f