离散数学逆元的概念

逆元是针对某一个元素而言的，换句话说，代数系统a和b里面，a有逆元，不代表不有逆元。 并且和幺元相关，换句话说，代数系统里面必须有幺元，才能去谈逆元。 逆元*元素=幺元。(*为任意符号)

定理:

若el和er分别是Z中对于*的左⼳元和右⼳元，则对于每⼀个x∈Z，可有el=er=e和e*x=x*e=x，则称e为Z中关于运算*的⼳元，且e∈Z是唯⼀的。