逆元

范畴和群的区分