Group 可以視為 Category TypeTopology 的定義會跳到 TypeTopology 網站 Normal subgroup 的相關命題 Normal subgroup Kernel 的相關命題 Basic facts of Kernel Kernel 的定義 Kernel