algebra Definition Kernel (Algebra) The kernel of a group morphism is the set of elements such that maps to the neutral element of :