p33自然同态

 

  如何理解两个划线的地方

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


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

 

 所以

 

转载于:https://www.cnblogs.com/china520/p/10388947.html