p33自然同态

如何理解两个划线的地方

1.因为，所以所以ker(π|_H)=kerπ∩H=N∩H

2.gN=Ng,对任意的g 属于G       因为 N被H/N 包含
    也对任意的 g 属于 HN成立    正规子群定义。
因为  

所以