有限正規子群有限群G的子群H若對每個g皆滿足gHg^{-1}=H，則H為正規子群；等價地每個左陪集等於相應右陪集。atlas-finite-normal-subgroup · canonical_mko有限正規子群前置節點有限群子群與群同態量詞與明示論域