群の性質
単位元
は一つしか存在しない
逆元
は一つしか存在しない
与えられた
$ a,b \in \bm{G}
に対して
$ a \circ x = b, x \circ a = b
を満たすxがただ一つ存在し、それぞれ
$ x = a^- \circ b, x = b \circ a^-
である。