计算题 设HK是二群．在H×K={（h，k）∣h∈H，k∈K}中定义乘法为（h1，k1），（h2，k2）=（h1h2，k1k2）．试证：H×K是一个群（称为H与K的外直积）·

设H是群G的正规子群．证明G H是Abel群的充要条件是gkg-1k-1∈H，g，k∈G. 点击查看答案

设H，K是群G的两个正规子群，且H∩K={1}．试证hk=kh，h∈H，k∈K. 点击查看答案