逆元的定义是：若存在b 使得ab=e 且ba=e，则称b是a的逆元。

可见必须先确定单位元，才能确定逆元是否存在。因此可以认为，有逆元就有单位元。