A function f: G → H between groups that preserves the group operation: for all a,b in G, f(ab) = f(a)f(b); homomorphisms map identity to identity and inverses to inverses, and their kernels and images are central invariants.

Principle

Structure-preserving maps translate group-theoretic information across contexts; the homomorphism condition ensures compatibility with multiplication so algebraic relations are respected by the image.

Demonstration

The determinant map det: GL_n(R) → R^× is a homomorphism because det(AB) = det(A)det(B); its kernel consists of matrices of determinant 1 and its image is the multiplicative subgroup of units.

Misapplication

Treating any function between underlying sets as a homomorphism without verifying the multiplication-preserving property; composing non-homomorphisms can destroy algebraic structure and misidentify kernels or images.

Consequence

Homomorphisms permit quotienting by kernels, factorization through images, classification of groups up to isomorphism on images, and the transfer of properties (like solvability) along suitable maps.

Reversal

A non-homomorphic map does not respect group relations and so cannot be used to produce valid quotients or kernels; it cannot be inverted or factorized in the category-theoretic group sense without additional structure.

Boundary

Defined for maps between groups with specified operations; linear maps between additive groups are homomorphisms but maps must be checked coordinatewise, and bijective homomorphisms are isomorphisms while nonbijective ones factor through images.

Semantic Tension

Confused with homomorphisms in other algebraic categories (rings, modules) where additional compatibility conditions are required; group homomorphism is the minimal multiplicative compatibility condition distinct from ring or module homomorphisms.

Synthesis

A group homomorphism is a map that carries the multiplication law of one group into another, identifying kernels and images that organize groups into quotients and homomorphic images and serving as the morphisms in the category of groups.