逆元の存在
#公理
各元
$ x \in G
に対して、
$ x^{-1} \in G
が存在して、
$ xx^{-1} = x^{-1}x = e
(
単位元
)
逆元の存在