talk:>>837-838
これでは何をやっているのか伝わらない。
Gが群でHがその部分群で、x,yをGの元とするとき、
(xH)(yH)をxyHと定義するのがwell-definedになっているにはどういう条件を満たせばよいかを考えると、
x,x',y,y'をGの元として、xH=yHかつx'H=y'Hとしたときにxx'H=yy'Hとなる条件を求めることになり、
(xx')^(-1)(yy')∈Hとなる条件を求めようということだな。