对于任意g属于G,考虑群N=gHg^(-1)现在证N是群,首先可以得到的是N中元素个数与N中的元素个数相等任取a,b属于N,则存在x,y属于H,使得a=gxg^(-1),b=gyg^(-1)所以ab^(-1) = gxg^(-1)gy^(1)g^(-1) = gxy^(-1)g^(-1)而xy^(-...