人家結(jié)論要證明不是說要證明HK 我還是不懂：證明可以分個方向：一、條件：H,k是群G的兩個子群且HK <= G , 要推出Hk=KH //這條是怎么證的？二、條件：H,k是群G的兩個子群且Hk=KH , 要推出HK <= G推論可以告訴我們：一、當(dāng)群G的非空子集H作成子群時，HH=H且H^(-1)=H二、當(dāng)群G的非空子集H滿足HH=H且H^(-1)=H時，H是G的子群。HK <= G這個符號的意思你不懂嗎？不就是HK為G的子群嘛。你把HK當(dāng)做一個整體啦，拜托別總是拆開看，然后利用你的推論1，不就是要求(HK)^(-1)=HK 嘛，而(HK)^(-1)=K^(-1)H^(-1),又因為H,K都為子群，所以H^(-1)=H, K^(-1)=k代入不就得到了HK=KH嘛。