一个商群的概念

hello_mh

a+H=b+H 如何推出 b-a属于H

吴碧超

证明. As a+H=b+H, then H=b-a+H, hence b-a+h1=h2, therefore b-a=h2-h1, so b-a\in H. 这里 \in 表示属于.