Definition:Kernel (Abstract Algebra)