有限群同態的核有限群同態f:G→Q映到目標identity的完整原像是G的正規子群，且同態fibers恰為kernel的陪集。atlas-finite-group-homomorphism-kernel · canonical_mko有限群同態的核前置節點子群與群同態有限正規子群函數映射