有限群第一同構定理有限群同態f:G→Q由kernel cosets誘導出G/ker f到im f的群同構，而非自動同構到整個codomain。atlas-first-isomorphism-theorem-finite-groups · canonical_mko有限群第一同構定理前置節點有限群同態的核有限商群子群與群同態雙射與唯一原像