離散數學逆元的概念

逆元是針對某一個元素而言的，換句話說，代數系統a和b裡面，a有逆元，不代表不有逆元。 並且和么元相關，換句話說，代數系統裡面必須有么元，才能去談逆元。 逆元*元素=么元。(*為任意符號)

定理:

若el和er分別是Z中對於*的左⼳元和右⼳元，則對於每⼀個x∈Z，可有el=er=e和e*x=x*e=x，則稱e為Z中關於運算*的⼳元，且e∈Z是唯⼀的。