1.设G是群,H是G的子群。任取g1,g2属于G,则g1H = g2H当且仅当g11g2属于 H。
充分性
由于g1H = g2H,即存在h1,h2属于H,使g1h1= g2h2,由消去律可得g1-1g2 = h1h2-1,则g1-1g2属于H。
必要性
由于g1-1g2属于H,以及群的封闭性所以g1-1,g2属于H,由群公理又易得g-1的乘法逆元g属于H,故g1H = g2H。
2.如果群H是群G的子群,且[G:H] = 2,请证明gH = Hg。
如果g属于H,由gH = Hg。
如果g不属于H,则gH不属于H,Hg不属于H,又[G:H] = 2,所以gH,Hg都不属于H,故gH,Hg都属于G-H,即gH = Hg。
3.如果群H是群G的真子群,即存在g属于G但是g不属于H。请证明|H|<=|G|/2。
H是G的真子群,故[G:H]&g