群核

群同態 的核是指 中所有被對映到 的單位元的元素的集合。 核是 的一個正規子群，並且總是包含 的單位元。 當且僅當 是單射時，它簡化為單位元 。