くるるさんがつぶやいていた「有限半群がxa=ya→x=yとax=ay→x=yを満たすなら群になる」を証明してみようと思いました。 以下、間違ってたら教えてくださいね。 1. 条件を満たす有限半群をGとする。 2. Gの或る要素aに対し、集合aG={ag|g∈G}とする。 3. このと…