>>118
何故部分群という但し書きがあるのか分からないが、
待遇を考えれば自明かと

x≠z　として、xy≠zy　なぜならば、仮にxy=zyとするとy^-1を右からかけてx=zとなり矛盾。従って（以下略