CINTA加分作业2

第一题：
当G是阿贝尔群时，任取h1n1，h2n2∈HN，(h2n2)^(-1) = n2^(-1)h2^(-1) ,所以(h1n1) * (h2n2)^(-1) = e∈H，所以HN是G的子群，当G不是阿贝尔群时，HN不具有封闭性，不是群。

第二题：
①.任取h1k1，h2k2∈HK，则(h1k1)(h2k2)^(-1) = h1k1k2^(-1)h2^(-1) ， 设k1k2^(-1) = k’，则有(h1k1)(h2k2)^(-1) = h1(h2^(-1)h2)k’h2^(-1) = (h1h2^(-1))(h2k’h2^(-1))，因为K是正规子群，所以h2k’h2^(-1) ∈K，又h1h2^(-1) ∈H，所以(h1k1)(h2k2)^(-1) ∈HK,所以HK是G的子群。
②.对于任意h∈H，k∈K，且k∈H∩K，所以当h，k∈H时，h^(-1)kh∈H，又因为K是正规子群，所以h^(-1)kh∈K，所以h^(-1)kh∈H∩K，所以H∩K是H的正规子群。
③.定义同态映射 ϕ : H->HK/K，对于任意的h∈H，h->hK。因为对任意陪集hkK = hK，则h∈H是它的原像，则ϕ是满射，又ϕ(hh’) = hh’K = hKh’K = ϕ(h)ϕ(h’)，所以ϕ是同态映射。又根据第一同构定理得HK/K = ϕ(H) ≌ H/Ker ϕ，又Ker ϕ = {h∈H:h∈K} = H∩K,所以HK/K ≌ H/H∩K