単純群、準同型写像 画像の下線部分が何故成り立つのかがわかりません。 教えて下さい

単純群、準同型写像
画像の下線部分が何故成り立つのかがわかりません。
教えて下さい

No.1 回答者： rinkun 回答日時： 2019/08/27 07:12

Gからの準同型写像のカーネルはGの正規部分群になるから。

カーネルが単位群なら準同型は単射だし、カーネルが自身なら準同型はtrivialになる。