algebra Definition Kernel (Algebra) The kernel of a group morphism φ:G→H is the set of elements g∈G such that φ(g) maps to the neutral element eH of H: kernφ={g∈G∣φ(g)=eH}