各元 x \in Gに対して、x^{-1} \in Gが存在して、

xx^{-1} = x^{-1}x = e(単位元)

逆元の存在