単位元と逆元の一致を追加