Kernel

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
For a homomorphism between algebraic structures (or a linear map between vector spaces), the kernel is the subset of the domain mapped to the identity element (or zero) of the codomain; it measures the morphism's failure to be injective.