有谁晓得离散数学中逆元如何证明离散数学中逆元是证明群的条件之一,逆元a=a^(-1)是什么意思?如何证明群中有唯一逆元?