e" 的所有 "G" 的元素构成的子集。核通常指示为“ker "f"”。或者：因为群同态保持单位元素，"G" 的单位元素 "e" 必须属于这个核。同态 "f" 是单射，当且仅当它的核只是单元素集合{"e"}。ker "f" 明显不只是 "G" 的子群，实际上还是正规子群。因此它使谈论商群 "G"/(ker "f") 有意义。群的第一同构定理声称这个商群自然同构于 "f" 的像（它是 "H" 的子群）。在阿贝尔群的特殊情况下，这以同前面章节的完全同样的方式工作。