???「群に逆元はありません」