如何理解两个划线的地方
1.因为，所以所以ker(π|_H)=kerπ∩H=N∩H 2.gN=Ng,对任意的g 属于G 因为 N被H/N 包含 也对任意的 g 属于 HN成立 正规子群定义。 因为
所以
，所以
所以ker(π|_H)=kerπ∩H=N∩H
