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.

Principle

Capture the elements that vanish under the map: the kernel is a subobject (subgroup, subspace, ideal, normal subgroup) closed under the operations of the domain and characterizes congruence classes leading to quotients.

Demonstration

If f : G → H is a group homomorphism, ker(f) = {g ∈ G | f(g) = e_H} is a normal subgroup of G; the first isomorphism theorem then identifies G/ker(f) with the image f(G), showing how kernel controls injectivity.

Misapplication

Confusing kernel with image or assuming trivial kernel implies surjectivity; a trivial kernel means injectivity (no nontrivial element maps to identity) but says nothing about whether the map hits all codomain elements.

Consequence

Determines exactness properties in sequences, enables formation of quotient structures where the kernel becomes the zero class, and provides an algebraic invariant classifying homomorphisms up to isomorphism.

Reversal

The dual idea is the cokernel (categorical or module-theoretic), which measures failure to be surjective by quotienting the codomain; kernel focuses on injectivity and preimages of identity.

Boundary

Defined for maps that preserve identity/zero in algebraic categories; for arbitrary functions one can consider the preimage of a chosen element but without algebraic closure properties the term 'kernel' loses its structural content.

Semantic Tension

Tension exists between kernel and nullspace/vanishing ideal in different contexts: they are analogous but carry context-specific structure (e.g., normal subgroup vs ideal vs linear subspace) that must be respected.

Synthesis

The kernel is the structured subset of domain elements sent to the codomain identity (or zero), intrinsic to questions of injectivity, quotient formation and exactness, and adapted to the algebraic category in which the homomorphism resides.