Group 可以視為 Category TypeTopology 的定義會跳到 TypeTopology 網站 Normal subgroup 的相關命題 Normal subgroup equivalent condition Kernel 的相關命題 If iii is injective, then Kernel is singleton Kernel 的定義 Kernel