>>512
＞g(eh) =e であり、かつ、
＞g h 　=e ならば
＞eh = h

ここでの演算子を *　とします
任意の元 g に対して
g * X = e
g * Y = e
だったら X = Y ‥‥うーん、確かに逆元は今の段階では単位元も逆元も一つとは限りませんね‥‥


考え直します‥‥